Project.toml
docs/Project.toml
docs/make.jl
docs/src/examples/DC-DC converter.jl
docs/src/examples/Gol, Lazar & Belta (2013).jl
docs/src/examples/Path planning.jl
examples/dcdcboost.jl
examples/example_dcdcboostgrowth.jl
examples/example_dcdcboostlinearized.jl
examples/example_pathplanninggrowth-hard.jl
examples/example_pathplanninggrowth-simple.jl
examples/example_pathplanninglinearized-hard.jl
examples/example_pathplanninglinearized-simple.jl
examples/gol_lazar_belta.jl
examples/pathplanning.jl
src/Abstraction/abstraction.jl
src/Abstraction/automaton.jl
src/Abstraction/controller.jl
src/Abstraction/controlsystem.jl
src/Abstraction/domain.jl
src/Abstraction/grid.jl
src/Abstraction/plotting.jl
src/Abstraction/polyhedron.jl
src/Abstraction/rectangle.jl
src/Abstraction/sorted_vector_set.jl
src/Abstraction/symbolicmodel.jl
src/BDD/BDD.jl
src/BDD/BitSet.jl
src/BDD/inttupleset.jl
src/Dionysos.jl
src/bemporad_morari.jl
src/branch_and_bound.jl
src/optimal_control.jl
src/plotting.jl
src/q_learning.jl
test/Abstraction/test_automaton.jl
test/Abstraction/test_controller.jl
test/Abstraction/test_controllerreach.jl
test/Abstraction/test_controllersafe.jl
test/Abstraction/test_controlsystemgrowth.jl
test/Abstraction/test_controlsystemlinearized.jl
test/Abstraction/test_fromcontrolsystemgrowth.jl
test/Abstraction/test_fromcontrolsystemlinearized.jl
test/Abstraction/test_griddomain.jl
test/Abstraction/test_symbolicmodel.jl
test/BDD/BDD.jl
test/BDD/test_inttupleset.jl
test/gol_lazar_belta.jl
test/runtests.jl
test/solvers.jl
test/test_performances.jl
<<<<<< network
# path=lcov.info
SF:src/Abstraction/abstraction.jl
DA:1,90
LH:1
LF:1
end_of_record
SF:src/Abstraction/automaton.jl
DA:2,6
DA:7,1
DA:8,6
DA:9,6
DA:12,5
DA:13,5
DA:19,6
DA:20,6
DA:24,1
DA:25,23690
DA:27,0
DA:29,15052
DA:30,15052
DA:33,3
DA:34,5595
LH:14
LF:15
end_of_record
SF:src/Abstraction/controller.jl
DA:3,5
DA:5,3
DA:6,6
DA:7,5778
DA:8,93180
DA:14,3
DA:15,3
DA:16,15
DA:17,12
DA:18,12
DA:19,3012
DA:20,51870
DA:21,1236
DA:22,1236
DA:23,1236
DA:24,2427
DA:25,15
DA:30,12
DA:32,3
DA:34,3
DA:35,15120
DA:36,3
DA:37,3
DA:38,3
DA:39,3
DA:40,3
DA:41,3
DA:43,1
DA:44,1
DA:47,1
DA:48,0
DA:50,0
DA:53,1
DA:56,1
DA:57,2
DA:58,2066
DA:59,62077
DA:64,1
DA:65,1
DA:66,1
DA:67,1
DA:68,1
DA:69,1
DA:70,1
DA:71,1
DA:72,2
DA:73,1008
DA:74,1008
DA:77,1
DA:78,1
DA:79,2
DA:80,54
DA:81,486
DA:84,1
DA:87,1
DA:89,2
DA:90,54
DA:91,2092
DA:92,923
DA:93,923
DA:94,923
DA:95,27
DA:100,1
DA:101,1
DA:103,0
DA:104,0
DA:105,0
DA:109,2
DA:110,2016
DA:111,17136
DA:112,16051
DA:117,2
DA:118,1
DA:120,0
LH:68
LF:74
end_of_record
SF:src/Abstraction/controlsystem.jl
DA:4,8
DA:11,28092
DA:12,28092
DA:13,56184
DA:14,84276
DA:15,84276
DA:16,84276
DA:17,84276
DA:18,84276
DA:19,84276
DA:20,84276
DA:21,140460
DA:23,28092
DA:26,4
DA:28,4
DA:29,28064
DA:32,4
DA:33,388
DA:35,4
DA:36,36
DA:39,4
DA:43,4
DA:50,385
DA:51,385
DA:52,770
DA:53,1155
DA:54,1155
DA:55,1155
DA:56,1155
DA:57,1155
DA:58,1155
DA:59,1155
DA:60,1155
DA:61,1155
DA:62,1155
DA:63,1155
DA:64,1155
DA:65,1155
DA:66,1155
DA:67,1155
DA:68,1925
DA:70,385
DA:74,5
DA:75,5
DA:76,0
DA:78,5
DA:79,5
DA:83,2
DA:85,2
DA:86,2
DA:89,2
DA:90,387
DA:94,7
DA:96,2
LH:53
LF:54
end_of_record
SF:src/Abstraction/domain.jl
DA:5,102
DA:9,51
DA:10,51
DA:13,1088
DA:14,3765
DA:17,2
DA:18,2
DA:21,16
DA:22,32
DA:23,32
DA:24,2668
DA:28,1
DA:29,1
DA:30,1
DA:31,1
DA:32,2
DA:33,18
DA:34,7
DA:38,0
DA:39,0
DA:40,0
DA:47,77
DA:50,1
DA:51,1
DA:54,4
DA:55,7
DA:56,4
DA:57,4
DA:58,6
DA:59,58
DA:62,2
DA:63,66
DA:64,18
DA:70,2
DA:71,2
DA:74,0
DA:75,0
DA:78,0
DA:79,0
DA:83,220131
DA:86,6
DA:87,6
DA:90,0
DA:91,0
DA:94,18
DA:95,33
DA:98,6
DA:99,6
DA:102,5
DA:103,68
LH:41
LF:50
end_of_record
SF:src/Abstraction/grid.jl
DA:5,30
DA:9,3
DA:10,9
DA:13,10
DA:14,31214
DA:17,2
DA:18,6
DA:19,6
DA:20,2
DA:23,28464
DA:24,85386
DA:25,85386
DA:26,28464
DA:30,21
DA:31,2
DA:33,19
DA:38,85392
LH:17
LF:17
end_of_record
SF:src/Abstraction/plotting.jl
DA:14,0
DA:17,0
DA:18,0
DA:21,0
DA:22,0
DA:26,0
DA:28,0
DA:29,0
DA:30,0
DA:31,0
DA:32,0
DA:34,0
DA:36,0
DA:37,0
DA:38,0
DA:41,0
DA:42,0
DA:43,0
DA:44,0
DA:45,0
DA:49,0
DA:51,0
DA:52,0
DA:53,0
DA:54,0
DA:55,0
DA:56,0
DA:57,0
DA:58,0
DA:59,0
DA:60,0
DA:64,0
DA:66,0
DA:67,0
DA:68,0
DA:69,0
DA:70,0
DA:71,0
DA:72,0
DA:73,0
DA:75,0
DA:76,0
DA:77,0
DA:78,0
DA:81,0
DA:82,0
DA:83,0
DA:88,0
DA:91,0
DA:92,0
DA:93,0
DA:94,0
DA:95,0
DA:97,0
DA:98,0
DA:99,0
DA:100,0
DA:101,0
DA:102,0
DA:103,0
DA:104,0
DA:107,0
DA:108,0
DA:109,0
DA:110,0
DA:111,0
DA:115,0
DA:117,0
DA:118,0
DA:119,0
DA:120,0
DA:121,0
DA:123,0
DA:124,0
DA:125,0
DA:126,0
DA:127,0
DA:128,0
DA:129,0
DA:132,0
DA:133,0
DA:134,0
DA:135,0
DA:136,0
DA:139,0
DA:141,0
DA:142,0
DA:143,0
DA:144,0
DA:145,0
DA:146,0
DA:148,0
DA:149,0
DA:150,0
DA:151,0
DA:152,0
DA:153,0
DA:154,0
DA:155,0
DA:156,0
DA:157,0
DA:158,0
DA:161,0
DA:162,0
DA:163,0
DA:164,0
DA:165,0
DA:169,0
DA:171,0
DA:172,0
DA:173,0
DA:174,0
DA:175,0
DA:177,0
DA:178,0
DA:179,0
DA:180,0
DA:181,0
DA:183,0
DA:184,0
DA:186,0
DA:188,0
DA:189,0
DA:190,0
DA:192,0
LH:0
LF:125
end_of_record
SF:src/Abstraction/polyhedron.jl
DA:3,770
DA:14,2722
LH:2
LF:2
end_of_record
SF:src/Abstraction/rectangle.jl
DA:2,113864
DA:9,66
DA:12,0
DA:13,0
DA:16,0
DA:17,0
DA:20,0
DA:21,0
LH:2
LF:8
end_of_record
SF:src/Abstraction/sorted_vector_set.jl
DA:5,11
DA:9,6
DA:10,16291
DA:11,16291
DA:12,16291
DA:15,23690
DA:16,23690
DA:17,23690
DA:20,0
DA:21,0
DA:22,0
DA:25,7
DA:28,22697
DA:29,8
DA:30,22697
DA:34,16059
DA:35,209223
DA:37,7645
DA:38,15285
DA:39,398503
DA:40,7645
DA:43,15052
DA:44,30101
DA:45,15052
DA:46,934876643
DA:47,933824374
LH:23
LF:26
end_of_record
SF:src/Abstraction/symbolicmodel.jl
DA:4,10
DA:14,5
DA:15,5
DA:16,5
DA:17,5
DA:18,5
DA:19,5
DA:20,5
DA:21,5
DA:22,5
DA:26,1069
DA:27,1069
DA:30,1200
DA:31,129135
DA:34,5
DA:35,5
DA:38,2
DA:39,39
DA:47,4
DA:49,4
DA:50,4
DA:51,4
DA:52,4
DA:53,4
DA:54,4
DA:56,4
DA:61,8
DA:62,32
DA:63,32
DA:64,32
DA:65,64
DA:66,28060
DA:67,28060
DA:68,28060
DA:69,28060
DA:70,28060
DA:71,28060
DA:72,28060
DA:73,56120
DA:74,214391
DA:75,4586
DA:76,4586
DA:78,96969
DA:79,96969
DA:81,28060
DA:82,23474
DA:83,23506
DA:88,4
DA:93,0
DA:95,0
DA:96,0
DA:97,0
DA:98,0
DA:99,0
DA:100,0
DA:103,0
DA:107,0
DA:108,0
DA:109,0
DA:110,0
DA:111,0
DA:112,0
DA:113,0
DA:114,0
DA:115,0
DA:116,0
DA:117,0
DA:118,0
DA:119,0
DA:120,0
DA:122,0
DA:126,0
DA:132,1
DA:134,1
DA:135,1
DA:136,1
DA:137,1
DA:138,1
DA:139,1
DA:140,1
DA:141,1
DA:142,1
DA:143,1
DA:148,2
DA:149,5
DA:150,5
DA:151,5
DA:152,5
DA:153,10
DA:154,385
DA:155,385
DA:156,385
DA:157,385
DA:158,385
DA:159,385
DA:160,385
DA:162,385
DA:163,385
DA:164,385
DA:165,385
DA:166,770
DA:167,2722
DA:168,2722
DA:169,5722
DA:170,170
DA:171,170
DA:173,2521
DA:174,7410
DA:176,385
DA:177,215
DA:178,220
DA:183,1
LH:88
LF:112
end_of_record
SF:src/BDD/BDD.jl
DA:8,0
DA:9,0
DA:10,0
DA:13,0
DA:15,0
DA:16,0
DA:17,0
DA:18,0
DA:19,0
DA:21,0
DA:23,0
LH:0
LF:11
end_of_record
SF:src/BDD/BitSet.jl
DA:10,0
DA:11,0
DA:12,0
DA:16,0
DA:17,0
DA:18,0
DA:19,0
DA:20,0
DA:21,0
DA:22,0
DA:26,0
DA:27,0
DA:28,0
DA:29,0
DA:30,0
DA:31,0
DA:32,0
DA:34,0
DA:36,0
DA:38,0
DA:39,0
DA:40,0
DA:41,0
DA:42,0
DA:44,0
DA:49,0
DA:53,0
DA:54,0
DA:55,0
DA:56,0
DA:59,0
DA:60,0
DA:61,0
DA:62,0
DA:64,0
DA:66,0
DA:67,0
DA:69,0
DA:70,0
DA:71,0
DA:73,0
DA:74,0
DA:76,0
DA:77,0
DA:78,0
LH:0
LF:45
end_of_record
SF:src/BDD/inttupleset.jl
DA:16,0
DA:17,0
DA:18,0
DA:19,0
DA:20,0
DA:21,0
DA:22,0
DA:23,0
DA:24,0
DA:26,0
DA:28,0
DA:29,0
DA:30,0
DA:31,0
DA:32,0
DA:33,0
DA:36,0
DA:37,0
DA:38,0
DA:39,0
DA:40,0
DA:41,0
DA:42,0
DA:44,0
DA:48,0
DA:49,0
DA:50,0
DA:51,0
DA:53,0
DA:54,0
DA:57,0
DA:58,0
DA:59,0
DA:60,0
DA:61,0
DA:62,0
DA:63,0
DA:67,0
DA:68,0
DA:69,0
DA:70,0
DA:71,0
DA:75,0
DA:76,0
DA:77,0
DA:78,0
DA:79,0
DA:82,0
DA:84,0
DA:86,0
DA:89,0
DA:91,0
DA:93,0
DA:94,0
DA:95,0
DA:96,0
DA:98,0
DA:101,0
DA:102,0
DA:103,0
DA:105,0
DA:108,0
DA:109,0
DA:112,0
DA:113,0
DA:117,0
DA:118,0
DA:119,0
DA:122,0
DA:123,0
DA:124,0
DA:125,0
DA:126,0
DA:127,0
LH:0
LF:74
end_of_record
SF:src/Dionysos.jl
LH:0
LF:0
end_of_record
SF:src/bemporad_morari.jl
DA:28,17052
DA:35,17052
DA:37,96582
DA:38,96582
DA:40,0
DA:41,0
DA:44,322
DA:45,322
DA:51,1087
DA:54,447964
DA:57,0
DA:58,0
DA:59,0
DA:63,69
DA:64,1568
DA:65,19
DA:66,19
DA:67,19
DA:68,19
DA:70,19
DA:73,102954
DA:74,102954
DA:75,102954
DA:76,103145
DA:77,105601
DA:78,208555
DA:81,102954
DA:84,624859
DA:85,205916
DA:86,207410
DA:87,207128
DA:89,107
DA:92,415872
DA:94,211089
DA:95,0
DA:96,320848
DA:97,0
DA:98,219017
DA:99,0
DA:100,2578
DA:101,309068
DA:103,0
DA:104,0
DA:106,207241
DA:107,207241
DA:108,207241
DA:109,207241
DA:113,19
DA:114,19
DA:115,38
DA:117,210
DA:118,840
DA:119,0
DA:121,840
DA:122,840
DA:125,210
DA:126,191
DA:129,19
DA:132,104306
DA:134,104306
DA:135,104306
DA:136,208612
DA:137,104306
DA:140,102954
DA:141,206099
DA:144,104306
DA:145,208612
DA:146,208612
DA:147,208612
DA:153,4
DA:154,212
DA:156,69
DA:157,69
DA:158,138
DA:159,69
DA:161,92424
DA:162,92424
DA:164,104481
DA:165,104481
DA:166,104481
DA:168,11776
DA:169,11776
DA:170,11776
DA:171,11776
DA:172,16288
DA:173,93156
DA:175,11776
DA:176,11776
DA:179,102932
DA:181,102932
DA:182,3
DA:184,3
DA:185,3
DA:187,3
DA:188,16
DA:189,32
DA:190,390
DA:191,2641
DA:193,1719
DA:199,205908
DA:200,205908
DA:201,19
DA:202,3
DA:204,16
DA:207,205908
DA:210,328
DA:211,656
DA:212,327
DA:214,1
DA:216,328
DA:219,15700
DA:220,15700
DA:221,15700
DA:222,644
DA:224,31400
DA:225,30744
DA:226,30744
DA:227,118329
DA:228,190542
DA:229,105173
DA:230,105051
DA:234,30696
DA:235,159846
DA:236,88808
DA:237,88738
DA:242,118326
DA:243,2
DA:244,2
DA:245,2
DA:248,15370
DA:251,15370
DA:252,15370
DA:253,15370
DA:254,15370
DA:255,15370
DA:257,30740
DA:259,15370
DA:260,0
DA:261,0
DA:262,0
DA:265,15370
DA:267,15370
DA:269,30740
DA:270,15370
DA:271,15370
DA:273,30740
DA:274,118324
DA:275,102954
DA:276,102954
DA:277,102954
DA:278,205908
DA:279,205908
DA:280,102954
DA:281,205908
DA:282,205908
DA:283,102954
DA:284,205908
DA:285,102954
DA:286,118324
DA:287,205908
DA:288,102954
DA:289,102954
DA:290,190538
DA:292,15373
DA:293,15370
DA:295,15370
DA:296,15370
DA:298,15370
DA:299,15367
DA:301,15373
DA:303,15370
DA:304,15370
DA:305,15370
DA:306,15370
DA:308,15370
DA:309,0
DA:311,15370
DA:313,19931
DA:314,3
DA:315,3
DA:320,21624
DA:321,11139
DA:330,11139
DA:331,327
DA:333,10812
DA:337,11139
DA:338,11139
DA:339,327
DA:341,10812
DA:345,15700
DA:346,15700
DA:347,0
DA:348,15700
DA:349,15370
DA:350,330
DA:351,327
DA:353,3
LH:181
LF:197
end_of_record
SF:src/branch_and_bound.jl
DA:34,16
DA:42,16
DA:44,64
DA:45,64
DA:47,0
DA:48,0
DA:52,21640
DA:58,34441
DA:59,7370
DA:61,27071
DA:65,14
DA:66,14
DA:67,14
DA:68,28
DA:69,212
DA:70,4240
DA:71,22048
DA:73,4240
DA:75,1770
DA:79,14
DA:82,15378
DA:83,15378
DA:90,15378
DA:91,15378
DA:92,15378
DA:93,30748
DA:94,15378
DA:95,15378
DA:98,30725
DA:100,30744
DA:105,15378
DA:106,15378
DA:107,15378
DA:108,15378
DA:109,15378
DA:110,4558
DA:112,10820
DA:113,10820
DA:114,10820
DA:115,19151
DA:116,12
DA:118,10808
DA:119,10808
DA:121,10820
DA:122,314
DA:127,314
DA:128,314
DA:129,314
DA:130,314
DA:132,10506
DA:134,10820
DA:135,10506
DA:136,10506
DA:138,314
DA:139,314
DA:140,314
DA:145,10820
DA:155,4639
DA:156,23195
DA:158,9278
DA:159,4639
DA:160,4639
DA:161,4639
DA:162,9266
DA:163,12
DA:164,12
DA:165,84
DA:167,12
DA:169,9266
DA:170,62
DA:171,62
DA:172,434
DA:174,62
DA:176,4639
DA:177,4639
DA:179,4639
DA:182,16
DA:183,16
DA:184,16
DA:185,32
DA:186,4
DA:187,1
DA:188,1
DA:189,1
DA:191,1
DA:193,2
DA:195,28
DA:196,28
DA:197,14
DA:198,2
DA:199,2
DA:201,12
DA:202,10
DA:204,12
DA:205,12
DA:206,6
DA:208,12
DA:209,12
DA:210,12
DA:211,12
DA:212,12
DA:213,12
DA:214,12
DA:215,12
DA:216,4639
DA:217,4639
DA:218,24
DA:219,4627
DA:220,0
DA:221,4627
DA:222,0
DA:224,4639
DA:225,4639
DA:226,4639
DA:227,4627
DA:228,4627
DA:229,4627
DA:230,4554
DA:231,28221
DA:233,56442
DA:234,28221
DA:235,15366
DA:236,15366
DA:237,4558
DA:238,4558
DA:240,10808
DA:241,10808
DA:246,314
DA:248,10808
DA:249,77
DA:250,0
DA:252,154
DA:253,77
DA:255,21616
DA:256,10494
DA:257,4615
DA:259,5879
DA:260,16373
DA:263,28535
DA:268,146
DA:269,146
DA:270,73
DA:272,4639
DA:276,13
DA:277,13
DA:279,13
DA:280,13
DA:282,16
DA:283,16
LH:144
LF:149
end_of_record
SF:src/optimal_control.jl
DA:18,56468
DA:21,12
DA:22,12
DA:25,32848
DA:26,63918
DA:27,36
DA:29,63882
DA:32,250834
DA:33,28221
DA:34,28221
DA:44,22910
DA:49,11152
DA:56,12
DA:59,151028
DA:61,2486
DA:63,71660
DA:67,50
DA:71,126
DA:75,130758
DA:77,1
DA:78,3
DA:82,496288
DA:86,0
DA:87,0
DA:88,8487
DA:89,25461
DA:90,0
DA:92,53353
DA:97,235520
DA:100,7
DA:103,31434
LH:28
LF:31
end_of_record
SF:src/plotting.jl
DA:14,0
DA:17,0
DA:18,0
DA:21,0
DA:22,0
DA:26,0
DA:28,0
DA:29,0
DA:30,0
DA:31,0
DA:32,0
DA:34,0
DA:36,0
DA:37,0
DA:38,0
DA:41,0
DA:42,0
DA:43,0
DA:44,0
DA:45,0
DA:49,0
DA:51,0
DA:52,0
DA:53,0
DA:54,0
DA:55,0
DA:56,0
DA:57,0
DA:58,0
DA:59,0
DA:60,0
DA:64,0
DA:66,0
DA:67,0
DA:68,0
DA:69,0
DA:70,0
DA:71,0
DA:72,0
DA:73,0
DA:75,0
DA:76,0
DA:77,0
DA:78,0
DA:81,0
DA:82,0
DA:83,0
DA:88,0
DA:91,0
DA:92,0
DA:93,0
DA:94,0
DA:95,0
DA:97,0
DA:98,0
DA:99,0
DA:100,0
DA:101,0
DA:102,0
DA:103,0
DA:104,0
DA:107,0
DA:108,0
DA:109,0
DA:110,0
DA:111,0
DA:115,0
DA:117,0
DA:118,0
DA:119,0
DA:120,0
DA:121,0
DA:123,0
DA:124,0
DA:125,0
DA:126,0
DA:127,0
DA:128,0
DA:129,0
DA:132,0
DA:133,0
DA:134,0
DA:135,0
DA:136,0
DA:139,0
DA:141,0
DA:142,0
DA:143,0
DA:144,0
DA:145,0
DA:146,0
DA:148,0
DA:149,0
DA:150,0
DA:151,0
DA:152,0
DA:153,0
DA:154,0
DA:155,0
DA:156,0
DA:157,0
DA:158,0
DA:161,0
DA:162,0
DA:163,0
DA:164,0
DA:165,0
DA:169,0
DA:171,0
DA:172,0
DA:173,0
DA:174,0
DA:175,0
DA:177,0
DA:178,0
DA:179,0
DA:180,0
DA:181,0
DA:183,0
DA:184,0
DA:186,0
DA:188,0
DA:189,0
DA:190,0
DA:192,0
LH:0
LF:125
end_of_record
SF:src/q_learning.jl
DA:12,1352
DA:13,2704
DA:14,1352
DA:15,1352
DA:16,1352
DA:17,1352
DA:18,1352
DA:19,1352
DA:20,1352
DA:21,1352
DA:22,1352
DA:23,1352
DA:29,1352
DA:30,1352
DA:31,1352
DA:32,1352
DA:33,1352
DA:34,1352
DA:35,1352
DA:36,1352
DA:37,1352
DA:38,1352
DA:39,1352
DA:40,1352
DA:41,1352
DA:42,1352
DA:43,0
DA:44,0
DA:46,0
DA:53,21
DA:54,21
DA:55,21
DA:56,21
DA:59,720
DA:60,0
DA:61,240
DA:63,8880
DA:69,13
DA:71,13
DA:73,40
DA:75,13
DA:76,13
DA:77,13
DA:78,13
DA:79,13
DA:80,26
DA:81,1352
DA:83,26
DA:84,208
DA:85,4160
DA:86,10907
DA:90,13
DA:93,7
DA:96,7188
DA:98,94
DA:101,6
DA:108,32
DA:113,9
DA:119,9
DA:124,3
DA:125,3
DA:126,3
DA:127,3
DA:128,3
DA:130,6
DA:131,6
DA:132,6
DA:133,6
DA:134,6
DA:136,7
DA:137,7
DA:143,12624
DA:144,25248
DA:145,12624
DA:146,12624
DA:155,687
DA:156,687
DA:157,687
DA:158,687
DA:159,687
DA:160,687
DA:161,687
DA:164,687
DA:166,165
DA:168,165
DA:169,56
DA:171,112
DA:172,345
DA:173,175
DA:174,175
DA:175,350
DA:176,2566
DA:178,175
DA:182,175
DA:183,175
DA:185,175
DA:186,175
DA:187,175
DA:188,175
DA:189,175
DA:190,175
DA:191,175
DA:192,175
DA:196,175
DA:197,175
DA:198,700
DA:199,175
DA:200,175
DA:201,175
DA:202,175
DA:203,175
DA:204,350
DA:205,175
DA:208,233
DA:209,350
DA:210,175
DA:213,175
DA:214,175
DA:215,175
DA:216,175
DA:217,175
DA:218,328
DA:220,22
DA:222,22
DA:224,153
DA:225,153
DA:228,153
DA:229,153
DA:230,29
DA:231,0
DA:233,29
DA:236,124
DA:237,124
DA:238,124
DA:239,124
DA:243,124
DA:244,124
DA:245,124
DA:246,124
DA:247,124
DA:248,124
DA:251,124
DA:253,0
DA:254,0
DA:255,0
DA:256,0
DA:257,0
DA:259,124
DA:263,124
DA:264,1709
DA:265,1585
DA:266,1585
DA:267,0
DA:269,1585
DA:270,1585
DA:271,128255
DA:272,1585
DA:273,1585
DA:274,3170
DA:277,3294
DA:281,124
DA:282,3217
DA:283,2942
DA:285,3341
DA:288,124
DA:293,248
DA:294,248
DA:295,248
DA:297,124
DA:300,124
DA:301,124
DA:302,124
DA:303,124
DA:305,124
DA:306,124
DA:307,124
DA:308,124
DA:309,744
DA:310,124
DA:311,496
DA:312,248
DA:315,124
DA:317,124
DA:318,124
DA:319,124
DA:321,124
DA:322,0
DA:324,248
DA:326,124
DA:327,34
DA:328,34
DA:329,34
DA:330,0
DA:332,34
LH:181
LF:194
end_of_record
<<<<<< EOF