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,8 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,104254 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,101555 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,2691 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,17022 DA:35,17022 DA:37,96402 DA:38,96402 DA:40,0 DA:41,0 DA:44,322 DA:45,322 DA:51,1236 DA:54,447184 DA:57,0 DA:58,0 DA:59,0 DA:63,68 DA:64,1602 DA:65,19 DA:66,19 DA:67,19 DA:68,19 DA:70,19 DA:73,102774 DA:74,102774 DA:75,102774 DA:76,102965 DA:77,105421 DA:78,208195 DA:81,102774 DA:84,623783 DA:85,205556 DA:86,207131 DA:87,206773 DA:89,106 DA:92,415152 DA:94,210603 DA:95,0 DA:96,320278 DA:97,0 DA:98,218627 DA:99,0 DA:100,2578 DA:101,311802 DA:103,0 DA:104,0 DA:106,206881 DA:107,206881 DA:108,206881 DA:109,206881 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,104126 DA:134,104126 DA:135,104126 DA:136,208252 DA:137,104126 DA:140,102774 DA:141,205739 DA:144,104126 DA:145,208252 DA:146,208252 DA:147,208252 DA:153,4 DA:154,212 DA:156,68 DA:157,68 DA:158,68 DA:159,68 DA:161,92279 DA:162,92279 DA:164,104305 DA:165,104305 DA:166,104305 DA:168,11746 DA:169,11746 DA:170,11746 DA:171,11746 DA:172,16258 DA:173,96250 DA:175,11746 DA:176,11746 DA:179,102752 DA:181,102752 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,205548 DA:200,205548 DA:201,19 DA:202,3 DA:204,16 DA:207,205548 DA:210,328 DA:211,656 DA:212,327 DA:214,1 DA:216,328 DA:219,15670 DA:220,15670 DA:221,15670 DA:222,644 DA:224,31340 DA:225,30684 DA:226,30684 DA:227,118119 DA:228,190212 DA:229,104993 DA:230,104871 DA:234,30636 DA:235,159576 DA:236,88658 DA:237,88588 DA:242,118116 DA:243,2 DA:244,2 DA:245,2 DA:248,15340 DA:251,15340 DA:252,15340 DA:253,15340 DA:254,15340 DA:255,15340 DA:257,30680 DA:259,15340 DA:260,0 DA:261,0 DA:262,0 DA:265,15340 DA:267,15340 DA:269,30680 DA:270,15340 DA:271,15340 DA:273,30680 DA:274,118114 DA:275,102774 DA:276,102774 DA:277,102774 DA:278,205548 DA:279,205548 DA:280,102774 DA:281,205548 DA:282,205548 DA:283,102774 DA:284,205548 DA:285,102774 DA:286,118114 DA:287,205548 DA:288,102774 DA:289,102774 DA:290,190208 DA:292,15343 DA:293,15340 DA:295,15340 DA:296,15340 DA:298,15340 DA:299,15337 DA:301,15343 DA:303,15340 DA:304,15340 DA:305,15340 DA:306,15340 DA:308,15340 DA:309,0 DA:311,15340 DA:313,19898 DA:314,3 DA:315,3 DA:320,21570 DA:321,11112 DA:330,11112 DA:331,327 DA:333,10785 DA:337,11112 DA:338,11112 DA:339,327 DA:341,10785 DA:345,15670 DA:346,15670 DA:347,0 DA:348,15670 DA:349,15340 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,21586 DA:58,34382 DA:59,14714 DA:61,27025 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,15348 DA:83,15348 DA:90,15348 DA:91,15348 DA:92,15348 DA:93,30688 DA:94,15348 DA:95,15348 DA:98,30665 DA:100,30684 DA:105,15348 DA:106,15348 DA:107,15348 DA:108,15348 DA:109,15348 DA:110,4555 DA:112,10793 DA:113,10793 DA:114,10793 DA:115,19097 DA:116,12 DA:118,10781 DA:119,10781 DA:121,21272 DA:122,314 DA:127,314 DA:128,314 DA:129,314 DA:130,314 DA:132,10479 DA:134,10793 DA:135,10479 DA:136,10479 DA:138,314 DA:139,314 DA:140,314 DA:145,10793 DA:155,4633 DA:156,23165 DA:158,9266 DA:159,4633 DA:160,4633 DA:161,4633 DA:162,9254 DA:163,12 DA:164,12 DA:165,84 DA:167,12 DA:169,9254 DA:170,62 DA:171,62 DA:172,434 DA:174,62 DA:176,4633 DA:177,4633 DA:179,4633 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,4633 DA:217,4633 DA:218,24 DA:219,4621 DA:220,0 DA:221,4621 DA:222,0 DA:224,4633 DA:225,4633 DA:226,4633 DA:227,4621 DA:228,4621 DA:229,4621 DA:230,4548 DA:231,28191 DA:233,56382 DA:234,28191 DA:235,15336 DA:236,15336 DA:237,4555 DA:238,4555 DA:240,10781 DA:241,10781 DA:246,314 DA:248,10781 DA:249,77 DA:250,0 DA:252,154 DA:253,77 DA:255,21562 DA:256,10467 DA:257,4609 DA:259,5858 DA:260,16325 DA:263,28505 DA:268,146 DA:269,146 DA:270,73 DA:272,4633 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,56408 DA:21,12 DA:22,12 DA:25,32812 DA:26,63822 DA:27,36 DA:29,63786 DA:32,250390 DA:33,28191 DA:34,28191 DA:44,22856 DA:49,11125 DA:56,12 DA:59,151028 DA:61,2486 DA:63,71660 DA:67,50 DA:71,130 DA:75,136564 DA:77,1 DA:78,3 DA:82,495066 DA:86,0 DA:87,0 DA:88,8464 DA:89,25392 DA:90,0 DA:92,56012 DA:97,234920 DA:100,7 DA:103,31374 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,12613 DA:144,25226 DA:145,12613 DA:146,12613 DA:155,702 DA:156,702 DA:157,702 DA:158,702 DA:159,702 DA:160,702 DA:161,702 DA:164,702 DA:166,165 DA:168,165 DA:169,56 DA:171,112 DA:172,353 DA:173,179 DA:174,179 DA:175,358 DA:176,2594 DA:178,179 DA:182,179 DA:183,179 DA:185,179 DA:186,179 DA:187,179 DA:188,179 DA:189,179 DA:190,179 DA:191,179 DA:192,179 DA:196,179 DA:197,179 DA:198,716 DA:199,179 DA:200,179 DA:201,179 DA:202,179 DA:203,179 DA:204,179 DA:205,179 DA:208,302 DA:209,358 DA:210,179 DA:213,179 DA:214,179 DA:215,179 DA:216,179 DA:217,179 DA:218,336 DA:220,22 DA:222,22 DA:224,157 DA:225,157 DA:228,157 DA:229,157 DA:230,29 DA:231,0 DA:233,29 DA:236,128 DA:237,128 DA:238,128 DA:239,128 DA:243,128 DA:244,128 DA:245,128 DA:246,128 DA:247,128 DA:248,128 DA:251,128 DA:253,0 DA:254,0 DA:255,0 DA:256,0 DA:257,0 DA:259,128 DA:263,128 DA:264,1651 DA:265,1523 DA:266,1523 DA:267,0 DA:269,1523 DA:270,1523 DA:271,117747 DA:272,1523 DA:273,1523 DA:274,3046 DA:277,3174 DA:281,128 DA:282,3299 DA:283,3012 DA:285,3427 DA:288,128 DA:293,256 DA:294,256 DA:295,256 DA:297,128 DA:300,128 DA:301,128 DA:302,128 DA:303,128 DA:305,128 DA:306,128 DA:307,128 DA:308,128 DA:309,768 DA:310,128 DA:311,512 DA:312,256 DA:315,128 DA:317,128 DA:318,128 DA:319,128 DA:321,128 DA:322,0 DA:324,256 DA:326,128 DA:327,34 DA:328,34 DA:329,34 DA:330,0 DA:332,34 LH:181 LF:194 end_of_record <<<<<< EOF