-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path2000.pddl
8101 lines (8095 loc) · 288 KB
/
2000.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
; The aim of this problem is to get to the end point, j500
; This is a visual representation of the map of the maze:
;
; j1 --- j2 --- j3 -- j4 ......... j499 -- j500
;
;
(define (problem huge)
(:domain maze)
(:objects
j1 j2 j3 j4 j5 j6 j7 j8 j9 j10 j11 j12 j13 j14 j15 j16 j17 j18 j19 j20 j21 j22 j23 j24 j25 j26 j27 j28 j29 j30
j31 j32 j33 j34 j35 j36 j37 j38 j39 j40 j41 j42 j43 j44 j45 j46 j47 j48 j49 j50 j51 j52 j53 j54 j55 j56 j57 j58 j59 j60
j61 j62 j63 j64 j65 j66 j67 j68 j69 j70 j71 j72 j73 j74 j75 j76 j77 j78 j79 j80 j81 j82 j83 j84 j85 j86 j87 j88 j89 j90
j91 j92 j93 j94 j95 j96 j97 j98 j99 j100 j101 j102 j103 j104 j105 j106 j107 j108 j109 j110 j111 j112 j113 j114 j115 j116 j117 j118 j119 j120
j121 j122 j123 j124 j125 j126 j127 j128 j129 j130 j131 j132 j133 j134 j135 j136 j137 j138 j139 j140 j141 j142 j143 j144 j145 j146 j147 j148 j149 j150
j151 j152 j153 j154 j155 j156 j157 j158 j159 j160 j161 j162 j163 j164 j165 j166 j167 j168 j169 j170 j171 j172 j173 j174 j175 j176 j177 j178 j179 j180
j181 j182 j183 j184 j185 j186 j187 j188 j189 j190 j191 j192 j193 j194 j195 j196 j197 j198 j199 j200 j201 j202 j203 j204 j205 j206 j207 j208 j209 j210
j211 j212 j213 j214 j215 j216 j217 j218 j219 j220 j221 j222 j223 j224 j225 j226 j227 j228 j229 j230 j231 j232 j233 j234 j235 j236 j237 j238 j239 j240
j241 j242 j243 j244 j245 j246 j247 j248 j249 j250 j251 j252 j253 j254 j255 j256 j257 j258 j259 j260 j261 j262 j263 j264 j265 j266 j267 j268 j269 j270
j271 j272 j273 j274 j275 j276 j277 j278 j279 j280 j281 j282 j283 j284 j285 j286 j287 j288 j289 j290 j291 j292 j293 j294 j295 j296 j297 j298 j299 j300
j301 j302 j303 j304 j305 j306 j307 j308 j309 j310 j311 j312 j313 j314 j315 j316 j317 j318 j319 j320 j321 j322 j323 j324 j325 j326 j327 j328 j329 j330
j331 j332 j333 j334 j335 j336 j337 j338 j339 j340 j341 j342 j343 j344 j345 j346 j347 j348 j349 j350 j351 j352 j353 j354 j355 j356 j357 j358 j359 j360
j361 j362 j363 j364 j365 j366 j367 j368 j369 j370 j371 j372 j373 j374 j375 j376 j377 j378 j379 j380 j381 j382 j383 j384 j385 j386 j387 j388 j389 j390
j391 j392 j393 j394 j395 j396 j397 j398 j399 j400 j401 j402 j403 j404 j405 j406 j407 j408 j409 j410 j411 j412 j413 j414 j415 j416 j417 j418 j419 j420
j421 j422 j423 j424 j425 j426 j427 j428 j429 j430 j431 j432 j433 j434 j435 j436 j437 j438 j439 j440 j441 j442 j443 j444 j445 j446 j447 j448 j449 j450
j451 j452 j453 j454 j455 j456 j457 j458 j459 j460 j461 j462 j463 j464 j465 j466 j467 j468 j469 j470 j471 j472 j473 j474 j475 j476 j477 j478 j479 j480
j481 j482 j483 j484 j485 j486 j487 j488 j489 j490 j491 j492 j493 j494 j495 j496 j497 j498 j499 j500 j501 j502 j503 j504 j505 j506 j507 j508 j509 j510
j511 j512 j513 j514 j515 j516 j517 j518 j519 j520 j521 j522 j523 j524 j525 j526 j527 j528 j529 j530 j531 j532 j533 j534 j535 j536 j537 j538 j539 j540
j541 j542 j543 j544 j545 j546 j547 j548 j549 j550 j551 j552 j553 j554 j555 j556 j557 j558 j559 j560 j561 j562 j563 j564 j565 j566 j567 j568 j569 j570
j571 j572 j573 j574 j575 j576 j577 j578 j579 j580 j581 j582 j583 j584 j585 j586 j587 j588 j589 j590 j591 j592 j593 j594 j595 j596 j597 j598 j599 j600
j601 j602 j603 j604 j605 j606 j607 j608 j609 j610 j611 j612 j613 j614 j615 j616 j617 j618 j619 j620 j621 j622 j623 j624 j625 j626 j627 j628 j629 j630
j631 j632 j633 j634 j635 j636 j637 j638 j639 j640 j641 j642 j643 j644 j645 j646 j647 j648 j649 j650 j651 j652 j653 j654 j655 j656 j657 j658 j659 j660
j661 j662 j663 j664 j665 j666 j667 j668 j669 j670 j671 j672 j673 j674 j675 j676 j677 j678 j679 j680 j681 j682 j683 j684 j685 j686 j687 j688 j689 j690
j691 j692 j693 j694 j695 j696 j697 j698 j699 j700 j701 j702 j703 j704 j705 j706 j707 j708 j709 j710 j711 j712 j713 j714 j715 j716 j717 j718 j719 j720
j721 j722 j723 j724 j725 j726 j727 j728 j729 j730 j731 j732 j733 j734 j735 j736 j737 j738 j739 j740 j741 j742 j743 j744 j745 j746 j747 j748 j749 j750
j751 j752 j753 j754 j755 j756 j757 j758 j759 j760 j761 j762 j763 j764 j765 j766 j767 j768 j769 j770 j771 j772 j773 j774 j775 j776 j777 j778 j779 j780
j781 j782 j783 j784 j785 j786 j787 j788 j789 j790 j791 j792 j793 j794 j795 j796 j797 j798 j799 j800 j801 j802 j803 j804 j805 j806 j807 j808 j809 j810
j811 j812 j813 j814 j815 j816 j817 j818 j819 j820 j821 j822 j823 j824 j825 j826 j827 j828 j829 j830 j831 j832 j833 j834 j835 j836 j837 j838 j839 j840
j841 j842 j843 j844 j845 j846 j847 j848 j849 j850 j851 j852 j853 j854 j855 j856 j857 j858 j859 j860 j861 j862 j863 j864 j865 j866 j867 j868 j869 j870
j871 j872 j873 j874 j875 j876 j877 j878 j879 j880 j881 j882 j883 j884 j885 j886 j887 j888 j889 j890 j891 j892 j893 j894 j895 j896 j897 j898 j899 j900
j901 j902 j903 j904 j905 j906 j907 j908 j909 j910 j911 j912 j913 j914 j915 j916 j917 j918 j919 j920 j921 j922 j923 j924 j925 j926 j927 j928 j929 j930
j931 j932 j933 j934 j935 j936 j937 j938 j939 j940 j941 j942 j943 j944 j945 j946 j947 j948 j949 j950 j951 j952 j953 j954 j955 j956 j957 j958 j959 j960
j961 j962 j963 j964 j965 j966 j967 j968 j969 j970 j971 j972 j973 j974 j975 j976 j977 j978 j979 j980 j981 j982 j983 j984 j985 j986 j987 j988 j989 j990
j991 j992 j993 j994 j995 j996 j997 j998 j999 j1000 j1001 j1002 j1003 j1004 j1005 j1006 j1007 j1008 j1009 j1010 j1011 j1012 j1013 j1014 j1015 j1016 j1017 j1018 j1019 j1020
j1021 j1022 j1023 j1024 j1025 j1026 j1027 j1028 j1029 j1030 j1031 j1032 j1033 j1034 j1035 j1036 j1037 j1038 j1039 j1040 j1041 j1042 j1043 j1044 j1045 j1046 j1047 j1048 j1049 j1050
j1051 j1052 j1053 j1054 j1055 j1056 j1057 j1058 j1059 j1060 j1061 j1062 j1063 j1064 j1065 j1066 j1067 j1068 j1069 j1070 j1071 j1072 j1073 j1074 j1075 j1076 j1077 j1078 j1079 j1080
j1081 j1082 j1083 j1084 j1085 j1086 j1087 j1088 j1089 j1090 j1091 j1092 j1093 j1094 j1095 j1096 j1097 j1098 j1099 j1100 j1101 j1102 j1103 j1104 j1105 j1106 j1107 j1108 j1109 j1110
j1111 j1112 j1113 j1114 j1115 j1116 j1117 j1118 j1119 j1120 j1121 j1122 j1123 j1124 j1125 j1126 j1127 j1128 j1129 j1130 j1131 j1132 j1133 j1134 j1135 j1136 j1137 j1138 j1139 j1140
j1141 j1142 j1143 j1144 j1145 j1146 j1147 j1148 j1149 j1150 j1151 j1152 j1153 j1154 j1155 j1156 j1157 j1158 j1159 j1160 j1161 j1162 j1163 j1164 j1165 j1166 j1167 j1168 j1169 j1170
j1171 j1172 j1173 j1174 j1175 j1176 j1177 j1178 j1179 j1180 j1181 j1182 j1183 j1184 j1185 j1186 j1187 j1188 j1189 j1190 j1191 j1192 j1193 j1194 j1195 j1196 j1197 j1198 j1199 j1200
j1201 j1202 j1203 j1204 j1205 j1206 j1207 j1208 j1209 j1210 j1211 j1212 j1213 j1214 j1215 j1216 j1217 j1218 j1219 j1220 j1221 j1222 j1223 j1224 j1225 j1226 j1227 j1228 j1229 j1230
j1231 j1232 j1233 j1234 j1235 j1236 j1237 j1238 j1239 j1240 j1241 j1242 j1243 j1244 j1245 j1246 j1247 j1248 j1249 j1250 j1251 j1252 j1253 j1254 j1255 j1256 j1257 j1258 j1259 j1260
j1261 j1262 j1263 j1264 j1265 j1266 j1267 j1268 j1269 j1270 j1271 j1272 j1273 j1274 j1275 j1276 j1277 j1278 j1279 j1280 j1281 j1282 j1283 j1284 j1285 j1286 j1287 j1288 j1289 j1290
j1291 j1292 j1293 j1294 j1295 j1296 j1297 j1298 j1299 j1300 j1301 j1302 j1303 j1304 j1305 j1306 j1307 j1308 j1309 j1310 j1311 j1312 j1313 j1314 j1315 j1316 j1317 j1318 j1319 j1320
j1321 j1322 j1323 j1324 j1325 j1326 j1327 j1328 j1329 j1330 j1331 j1332 j1333 j1334 j1335 j1336 j1337 j1338 j1339 j1340 j1341 j1342 j1343 j1344 j1345 j1346 j1347 j1348 j1349 j1350
j1351 j1352 j1353 j1354 j1355 j1356 j1357 j1358 j1359 j1360 j1361 j1362 j1363 j1364 j1365 j1366 j1367 j1368 j1369 j1370 j1371 j1372 j1373 j1374 j1375 j1376 j1377 j1378 j1379 j1380
j1381 j1382 j1383 j1384 j1385 j1386 j1387 j1388 j1389 j1390 j1391 j1392 j1393 j1394 j1395 j1396 j1397 j1398 j1399 j1400 j1401 j1402 j1403 j1404 j1405 j1406 j1407 j1408 j1409 j1410
j1411 j1412 j1413 j1414 j1415 j1416 j1417 j1418 j1419 j1420 j1421 j1422 j1423 j1424 j1425 j1426 j1427 j1428 j1429 j1430 j1431 j1432 j1433 j1434 j1435 j1436 j1437 j1438 j1439 j1440
j1441 j1442 j1443 j1444 j1445 j1446 j1447 j1448 j1449 j1450 j1451 j1452 j1453 j1454 j1455 j1456 j1457 j1458 j1459 j1460 j1461 j1462 j1463 j1464 j1465 j1466 j1467 j1468 j1469 j1470
j1471 j1472 j1473 j1474 j1475 j1476 j1477 j1478 j1479 j1480 j1481 j1482 j1483 j1484 j1485 j1486 j1487 j1488 j1489 j1490 j1491 j1492 j1493 j1494 j1495 j1496 j1497 j1498 j1499 j1500
j1501 j1502 j1503 j1504 j1505 j1506 j1507 j1508 j1509 j1510 j1511 j1512 j1513 j1514 j1515 j1516 j1517 j1518 j1519 j1520 j1521 j1522 j1523 j1524 j1525 j1526 j1527 j1528 j1529 j1530
j1531 j1532 j1533 j1534 j1535 j1536 j1537 j1538 j1539 j1540 j1541 j1542 j1543 j1544 j1545 j1546 j1547 j1548 j1549 j1550 j1551 j1552 j1553 j1554 j1555 j1556 j1557 j1558 j1559 j1560
j1561 j1562 j1563 j1564 j1565 j1566 j1567 j1568 j1569 j1570 j1571 j1572 j1573 j1574 j1575 j1576 j1577 j1578 j1579 j1580 j1581 j1582 j1583 j1584 j1585 j1586 j1587 j1588 j1589 j1590
j1591 j1592 j1593 j1594 j1595 j1596 j1597 j1598 j1599 j1600 j1601 j1602 j1603 j1604 j1605 j1606 j1607 j1608 j1609 j1610 j1611 j1612 j1613 j1614 j1615 j1616 j1617 j1618 j1619 j1620
j1621 j1622 j1623 j1624 j1625 j1626 j1627 j1628 j1629 j1630 j1631 j1632 j1633 j1634 j1635 j1636 j1637 j1638 j1639 j1640 j1641 j1642 j1643 j1644 j1645 j1646 j1647 j1648 j1649 j1650
j1651 j1652 j1653 j1654 j1655 j1656 j1657 j1658 j1659 j1660 j1661 j1662 j1663 j1664 j1665 j1666 j1667 j1668 j1669 j1670 j1671 j1672 j1673 j1674 j1675 j1676 j1677 j1678 j1679 j1680
j1681 j1682 j1683 j1684 j1685 j1686 j1687 j1688 j1689 j1690 j1691 j1692 j1693 j1694 j1695 j1696 j1697 j1698 j1699 j1700 j1701 j1702 j1703 j1704 j1705 j1706 j1707 j1708 j1709 j1710
j1711 j1712 j1713 j1714 j1715 j1716 j1717 j1718 j1719 j1720 j1721 j1722 j1723 j1724 j1725 j1726 j1727 j1728 j1729 j1730 j1731 j1732 j1733 j1734 j1735 j1736 j1737 j1738 j1739 j1740
j1741 j1742 j1743 j1744 j1745 j1746 j1747 j1748 j1749 j1750 j1751 j1752 j1753 j1754 j1755 j1756 j1757 j1758 j1759 j1760 j1761 j1762 j1763 j1764 j1765 j1766 j1767 j1768 j1769 j1770
j1771 j1772 j1773 j1774 j1775 j1776 j1777 j1778 j1779 j1780 j1781 j1782 j1783 j1784 j1785 j1786 j1787 j1788 j1789 j1790 j1791 j1792 j1793 j1794 j1795 j1796 j1797 j1798 j1799 j1800
j1801 j1802 j1803 j1804 j1805 j1806 j1807 j1808 j1809 j1810 j1811 j1812 j1813 j1814 j1815 j1816 j1817 j1818 j1819 j1820 j1821 j1822 j1823 j1824 j1825 j1826 j1827 j1828 j1829 j1830
j1831 j1832 j1833 j1834 j1835 j1836 j1837 j1838 j1839 j1840 j1841 j1842 j1843 j1844 j1845 j1846 j1847 j1848 j1849 j1850 j1851 j1852 j1853 j1854 j1855 j1856 j1857 j1858 j1859 j1860
j1861 j1862 j1863 j1864 j1865 j1866 j1867 j1868 j1869 j1870 j1871 j1872 j1873 j1874 j1875 j1876 j1877 j1878 j1879 j1880 j1881 j1882 j1883 j1884 j1885 j1886 j1887 j1888 j1889 j1890
j1891 j1892 j1893 j1894 j1895 j1896 j1897 j1898 j1899 j1900 j1901 j1902 j1903 j1904 j1905 j1906 j1907 j1908 j1909 j1910 j1911 j1912 j1913 j1914 j1915 j1916 j1917 j1918 j1919 j1920
j1921 j1922 j1923 j1924 j1925 j1926 j1927 j1928 j1929 j1930 j1931 j1932 j1933 j1934 j1935 j1936 j1937 j1938 j1939 j1940 j1941 j1942 j1943 j1944 j1945 j1946 j1947 j1948 j1949 j1950
j1951 j1952 j1953 j1954 j1955 j1956 j1957 j1958 j1959 j1960 j1961 j1962 j1963 j1964 j1965 j1966 j1967 j1968 j1969 j1970 j1971 j1972 j1973 j1974 j1975 j1976 j1977 j1978 j1979 j1980
j1981 j1982 j1983 j1984 j1985 j1986 j1987 j1988 j1989 j1990 j1991 j1992 j1993 j1994 j1995 j1996 j1997 j1998 j1999 j2000 - Junction
p - Player
v - Vendor
m - Monster
i - Inventory
shield - Shield
key - Key
banana - Food
w - Weapon
f - Floor
g - Gold
b - Box
)
(:init
;;Normal Direction
(isConnected j1 j2)
(isConnected j2 j3)
(isConnected j3 j4)
(isConnected j4 j5)
(isConnected j5 j6)
(isConnected j6 j7)
(isConnected j7 j8)
(isConnected j8 j9)
(isConnected j9 j10)
(isConnected j10 j11)
(isConnected j11 j12)
(isConnected j12 j13)
(isConnected j13 j14)
(isConnected j14 j15)
(isConnected j15 j16)
(isConnected j16 j17)
(isConnected j17 j18)
(isConnected j18 j19)
(isConnected j19 j20)
(isConnected j20 j21)
(isConnected j21 j22)
(isConnected j22 j23)
(isConnected j23 j24)
(isConnected j24 j25)
(isConnected j25 j26)
(isConnected j26 j27)
(isConnected j27 j28)
(isConnected j28 j29)
(isConnected j29 j30)
(isConnected j30 j31)
(isConnected j31 j32)
(isConnected j32 j33)
(isConnected j33 j34)
(isConnected j34 j35)
(isConnected j35 j36)
(isConnected j36 j37)
(isConnected j37 j38)
(isConnected j38 j39)
(isConnected j39 j40)
(isConnected j40 j41)
(isConnected j41 j42)
(isConnected j42 j43)
(isConnected j43 j44)
(isConnected j44 j45)
(isConnected j45 j46)
(isConnected j46 j47)
(isConnected j47 j48)
(isConnected j48 j49)
(isConnected j49 j50)
(isConnected j50 j51)
(isConnected j51 j52)
(isConnected j52 j53)
(isConnected j53 j54)
(isConnected j54 j55)
(isConnected j55 j56)
(isConnected j56 j57)
(isConnected j57 j58)
(isConnected j58 j59)
(isConnected j59 j60)
(isConnected j60 j61)
(isConnected j61 j62)
(isConnected j62 j63)
(isConnected j63 j64)
(isConnected j64 j65)
(isConnected j65 j66)
(isConnected j66 j67)
(isConnected j67 j68)
(isConnected j68 j69)
(isConnected j69 j70)
(isConnected j70 j71)
(isConnected j71 j72)
(isConnected j72 j73)
(isConnected j73 j74)
(isConnected j74 j75)
(isConnected j75 j76)
(isConnected j76 j77)
(isConnected j77 j78)
(isConnected j78 j79)
(isConnected j79 j80)
(isConnected j80 j81)
(isConnected j81 j82)
(isConnected j82 j83)
(isConnected j83 j84)
(isConnected j84 j85)
(isConnected j85 j86)
(isConnected j86 j87)
(isConnected j87 j88)
(isConnected j88 j89)
(isConnected j89 j90)
(isConnected j90 j91)
(isConnected j91 j92)
(isConnected j92 j93)
(isConnected j93 j94)
(isConnected j94 j95)
(isConnected j95 j96)
(isConnected j96 j97)
(isConnected j97 j98)
(isConnected j98 j99)
(isConnected j99 j100)
(isConnected j100 j101)
(isConnected j101 j102)
(isConnected j102 j103)
(isConnected j103 j104)
(isConnected j104 j105)
(isConnected j105 j106)
(isConnected j106 j107)
(isConnected j107 j108)
(isConnected j108 j109)
(isConnected j109 j110)
(isConnected j110 j111)
(isConnected j111 j112)
(isConnected j112 j113)
(isConnected j113 j114)
(isConnected j114 j115)
(isConnected j115 j116)
(isConnected j116 j117)
(isConnected j117 j118)
(isConnected j118 j119)
(isConnected j119 j120)
(isConnected j120 j121)
(isConnected j121 j122)
(isConnected j122 j123)
(isConnected j123 j124)
(isConnected j124 j125)
(isConnected j125 j126)
(isConnected j126 j127)
(isConnected j127 j128)
(isConnected j128 j129)
(isConnected j129 j130)
(isConnected j130 j131)
(isConnected j131 j132)
(isConnected j132 j133)
(isConnected j133 j134)
(isConnected j134 j135)
(isConnected j135 j136)
(isConnected j136 j137)
(isConnected j137 j138)
(isConnected j138 j139)
(isConnected j139 j140)
(isConnected j140 j141)
(isConnected j141 j142)
(isConnected j142 j143)
(isConnected j143 j144)
(isConnected j144 j145)
(isConnected j145 j146)
(isConnected j146 j147)
(isConnected j147 j148)
(isConnected j148 j149)
(isConnected j149 j150)
(isConnected j150 j151)
(isConnected j151 j152)
(isConnected j152 j153)
(isConnected j153 j154)
(isConnected j154 j155)
(isConnected j155 j156)
(isConnected j156 j157)
(isConnected j157 j158)
(isConnected j158 j159)
(isConnected j159 j160)
(isConnected j160 j161)
(isConnected j161 j162)
(isConnected j162 j163)
(isConnected j163 j164)
(isConnected j164 j165)
(isConnected j165 j166)
(isConnected j166 j167)
(isConnected j167 j168)
(isConnected j168 j169)
(isConnected j169 j170)
(isConnected j170 j171)
(isConnected j171 j172)
(isConnected j172 j173)
(isConnected j173 j174)
(isConnected j174 j175)
(isConnected j175 j176)
(isConnected j176 j177)
(isConnected j177 j178)
(isConnected j178 j179)
(isConnected j179 j180)
(isConnected j180 j181)
(isConnected j181 j182)
(isConnected j182 j183)
(isConnected j183 j184)
(isConnected j184 j185)
(isConnected j185 j186)
(isConnected j186 j187)
(isConnected j187 j188)
(isConnected j188 j189)
(isConnected j189 j190)
(isConnected j190 j191)
(isConnected j191 j192)
(isConnected j192 j193)
(isConnected j193 j194)
(isConnected j194 j195)
(isConnected j195 j196)
(isConnected j196 j197)
(isConnected j197 j198)
(isConnected j198 j199)
(isConnected j199 j200)
(isConnected j200 j201)
(isConnected j201 j202)
(isConnected j202 j203)
(isConnected j203 j204)
(isConnected j204 j205)
(isConnected j205 j206)
(isConnected j206 j207)
(isConnected j207 j208)
(isConnected j208 j209)
(isConnected j209 j210)
(isConnected j210 j211)
(isConnected j211 j212)
(isConnected j212 j213)
(isConnected j213 j214)
(isConnected j214 j215)
(isConnected j215 j216)
(isConnected j216 j217)
(isConnected j217 j218)
(isConnected j218 j219)
(isConnected j219 j220)
(isConnected j220 j221)
(isConnected j221 j222)
(isConnected j222 j223)
(isConnected j223 j224)
(isConnected j224 j225)
(isConnected j225 j226)
(isConnected j226 j227)
(isConnected j227 j228)
(isConnected j228 j229)
(isConnected j229 j230)
(isConnected j230 j231)
(isConnected j231 j232)
(isConnected j232 j233)
(isConnected j233 j234)
(isConnected j234 j235)
(isConnected j235 j236)
(isConnected j236 j237)
(isConnected j237 j238)
(isConnected j238 j239)
(isConnected j239 j240)
(isConnected j240 j241)
(isConnected j241 j242)
(isConnected j242 j243)
(isConnected j243 j244)
(isConnected j244 j245)
(isConnected j245 j246)
(isConnected j246 j247)
(isConnected j247 j248)
(isConnected j248 j249)
(isConnected j249 j250)
(isConnected j250 j251)
(isConnected j251 j252)
(isConnected j252 j253)
(isConnected j253 j254)
(isConnected j254 j255)
(isConnected j255 j256)
(isConnected j256 j257)
(isConnected j257 j258)
(isConnected j258 j259)
(isConnected j259 j260)
(isConnected j260 j261)
(isConnected j261 j262)
(isConnected j262 j263)
(isConnected j263 j264)
(isConnected j264 j265)
(isConnected j265 j266)
(isConnected j266 j267)
(isConnected j267 j268)
(isConnected j268 j269)
(isConnected j269 j270)
(isConnected j270 j271)
(isConnected j271 j272)
(isConnected j272 j273)
(isConnected j273 j274)
(isConnected j274 j275)
(isConnected j275 j276)
(isConnected j276 j277)
(isConnected j277 j278)
(isConnected j278 j279)
(isConnected j279 j280)
(isConnected j280 j281)
(isConnected j281 j282)
(isConnected j282 j283)
(isConnected j283 j284)
(isConnected j284 j285)
(isConnected j285 j286)
(isConnected j286 j287)
(isConnected j287 j288)
(isConnected j288 j289)
(isConnected j289 j290)
(isConnected j290 j291)
(isConnected j291 j292)
(isConnected j292 j293)
(isConnected j293 j294)
(isConnected j294 j295)
(isConnected j295 j296)
(isConnected j296 j297)
(isConnected j297 j298)
(isConnected j298 j299)
(isConnected j299 j300)
(isConnected j300 j301)
(isConnected j301 j302)
(isConnected j302 j303)
(isConnected j303 j304)
(isConnected j304 j305)
(isConnected j305 j306)
(isConnected j306 j307)
(isConnected j307 j308)
(isConnected j308 j309)
(isConnected j309 j310)
(isConnected j310 j311)
(isConnected j311 j312)
(isConnected j312 j313)
(isConnected j313 j314)
(isConnected j314 j315)
(isConnected j315 j316)
(isConnected j316 j317)
(isConnected j317 j318)
(isConnected j318 j319)
(isConnected j319 j320)
(isConnected j320 j321)
(isConnected j321 j322)
(isConnected j322 j323)
(isConnected j323 j324)
(isConnected j324 j325)
(isConnected j325 j326)
(isConnected j326 j327)
(isConnected j327 j328)
(isConnected j328 j329)
(isConnected j329 j330)
(isConnected j330 j331)
(isConnected j331 j332)
(isConnected j332 j333)
(isConnected j333 j334)
(isConnected j334 j335)
(isConnected j335 j336)
(isConnected j336 j337)
(isConnected j337 j338)
(isConnected j338 j339)
(isConnected j339 j340)
(isConnected j340 j341)
(isConnected j341 j342)
(isConnected j342 j343)
(isConnected j343 j344)
(isConnected j344 j345)
(isConnected j345 j346)
(isConnected j346 j347)
(isConnected j347 j348)
(isConnected j348 j349)
(isConnected j349 j350)
(isConnected j350 j351)
(isConnected j351 j352)
(isConnected j352 j353)
(isConnected j353 j354)
(isConnected j354 j355)
(isConnected j355 j356)
(isConnected j356 j357)
(isConnected j357 j358)
(isConnected j358 j359)
(isConnected j359 j360)
(isConnected j360 j361)
(isConnected j361 j362)
(isConnected j362 j363)
(isConnected j363 j364)
(isConnected j364 j365)
(isConnected j365 j366)
(isConnected j366 j367)
(isConnected j367 j368)
(isConnected j368 j369)
(isConnected j369 j370)
(isConnected j370 j371)
(isConnected j371 j372)
(isConnected j372 j373)
(isConnected j373 j374)
(isConnected j374 j375)
(isConnected j375 j376)
(isConnected j376 j377)
(isConnected j377 j378)
(isConnected j378 j379)
(isConnected j379 j380)
(isConnected j380 j381)
(isConnected j381 j382)
(isConnected j382 j383)
(isConnected j383 j384)
(isConnected j384 j385)
(isConnected j385 j386)
(isConnected j386 j387)
(isConnected j387 j388)
(isConnected j388 j389)
(isConnected j389 j390)
(isConnected j390 j391)
(isConnected j391 j392)
(isConnected j392 j393)
(isConnected j393 j394)
(isConnected j394 j395)
(isConnected j395 j396)
(isConnected j396 j397)
(isConnected j397 j398)
(isConnected j398 j399)
(isConnected j399 j400)
(isConnected j400 j401)
(isConnected j401 j402)
(isConnected j402 j403)
(isConnected j403 j404)
(isConnected j404 j405)
(isConnected j405 j406)
(isConnected j406 j407)
(isConnected j407 j408)
(isConnected j408 j409)
(isConnected j409 j410)
(isConnected j410 j411)
(isConnected j411 j412)
(isConnected j412 j413)
(isConnected j413 j414)
(isConnected j414 j415)
(isConnected j415 j416)
(isConnected j416 j417)
(isConnected j417 j418)
(isConnected j418 j419)
(isConnected j419 j420)
(isConnected j420 j421)
(isConnected j421 j422)
(isConnected j422 j423)
(isConnected j423 j424)
(isConnected j424 j425)
(isConnected j425 j426)
(isConnected j426 j427)
(isConnected j427 j428)
(isConnected j428 j429)
(isConnected j429 j430)
(isConnected j430 j431)
(isConnected j431 j432)
(isConnected j432 j433)
(isConnected j433 j434)
(isConnected j434 j435)
(isConnected j435 j436)
(isConnected j436 j437)
(isConnected j437 j438)
(isConnected j438 j439)
(isConnected j439 j440)
(isConnected j440 j441)
(isConnected j441 j442)
(isConnected j442 j443)
(isConnected j443 j444)
(isConnected j444 j445)
(isConnected j445 j446)
(isConnected j446 j447)
(isConnected j447 j448)
(isConnected j448 j449)
(isConnected j449 j450)
(isConnected j450 j451)
(isConnected j451 j452)
(isConnected j452 j453)
(isConnected j453 j454)
(isConnected j454 j455)
(isConnected j455 j456)
(isConnected j456 j457)
(isConnected j457 j458)
(isConnected j458 j459)
(isConnected j459 j460)
(isConnected j460 j461)
(isConnected j461 j462)
(isConnected j462 j463)
(isConnected j463 j464)
(isConnected j464 j465)
(isConnected j465 j466)
(isConnected j466 j467)
(isConnected j467 j468)
(isConnected j468 j469)
(isConnected j469 j470)
(isConnected j470 j471)
(isConnected j471 j472)
(isConnected j472 j473)
(isConnected j473 j474)
(isConnected j474 j475)
(isConnected j475 j476)
(isConnected j476 j477)
(isConnected j477 j478)
(isConnected j478 j479)
(isConnected j479 j480)
(isConnected j480 j481)
(isConnected j481 j482)
(isConnected j482 j483)
(isConnected j483 j484)
(isConnected j484 j485)
(isConnected j485 j486)
(isConnected j486 j487)
(isConnected j487 j488)
(isConnected j488 j489)
(isConnected j489 j490)
(isConnected j490 j491)
(isConnected j491 j492)
(isConnected j492 j493)
(isConnected j493 j494)
(isConnected j494 j495)
(isConnected j495 j496)
(isConnected j496 j497)
(isConnected j497 j498)
(isConnected j498 j499)
(isConnected j499 j500)
(isConnected j500 j501)
(isConnected j501 j502)
(isConnected j502 j503)
(isConnected j503 j504)
(isConnected j504 j505)
(isConnected j505 j506)
(isConnected j506 j507)
(isConnected j507 j508)
(isConnected j508 j509)
(isConnected j509 j510)
(isConnected j510 j511)
(isConnected j511 j512)
(isConnected j512 j513)
(isConnected j513 j514)
(isConnected j514 j515)
(isConnected j515 j516)
(isConnected j516 j517)
(isConnected j517 j518)
(isConnected j518 j519)
(isConnected j519 j520)
(isConnected j520 j521)
(isConnected j521 j522)
(isConnected j522 j523)
(isConnected j523 j524)
(isConnected j524 j525)
(isConnected j525 j526)
(isConnected j526 j527)
(isConnected j527 j528)
(isConnected j528 j529)
(isConnected j529 j530)
(isConnected j530 j531)
(isConnected j531 j532)
(isConnected j532 j533)
(isConnected j533 j534)
(isConnected j534 j535)
(isConnected j535 j536)
(isConnected j536 j537)
(isConnected j537 j538)
(isConnected j538 j539)
(isConnected j539 j540)
(isConnected j540 j541)
(isConnected j541 j542)
(isConnected j542 j543)
(isConnected j543 j544)
(isConnected j544 j545)
(isConnected j545 j546)
(isConnected j546 j547)
(isConnected j547 j548)
(isConnected j548 j549)
(isConnected j549 j550)
(isConnected j550 j551)
(isConnected j551 j552)
(isConnected j552 j553)
(isConnected j553 j554)
(isConnected j554 j555)
(isConnected j555 j556)
(isConnected j556 j557)
(isConnected j557 j558)
(isConnected j558 j559)
(isConnected j559 j560)
(isConnected j560 j561)
(isConnected j561 j562)
(isConnected j562 j563)
(isConnected j563 j564)
(isConnected j564 j565)
(isConnected j565 j566)
(isConnected j566 j567)
(isConnected j567 j568)
(isConnected j568 j569)
(isConnected j569 j570)
(isConnected j570 j571)
(isConnected j571 j572)
(isConnected j572 j573)
(isConnected j573 j574)
(isConnected j574 j575)
(isConnected j575 j576)
(isConnected j576 j577)
(isConnected j577 j578)
(isConnected j578 j579)
(isConnected j579 j580)
(isConnected j580 j581)
(isConnected j581 j582)
(isConnected j582 j583)
(isConnected j583 j584)
(isConnected j584 j585)
(isConnected j585 j586)
(isConnected j586 j587)
(isConnected j587 j588)
(isConnected j588 j589)
(isConnected j589 j590)
(isConnected j590 j591)
(isConnected j591 j592)
(isConnected j592 j593)
(isConnected j593 j594)
(isConnected j594 j595)
(isConnected j595 j596)
(isConnected j596 j597)
(isConnected j597 j598)
(isConnected j598 j599)
(isConnected j599 j600)
(isConnected j600 j601)
(isConnected j601 j602)
(isConnected j602 j603)
(isConnected j603 j604)
(isConnected j604 j605)
(isConnected j605 j606)
(isConnected j606 j607)
(isConnected j607 j608)
(isConnected j608 j609)
(isConnected j609 j610)
(isConnected j610 j611)
(isConnected j611 j612)
(isConnected j612 j613)
(isConnected j613 j614)
(isConnected j614 j615)
(isConnected j615 j616)
(isConnected j616 j617)
(isConnected j617 j618)
(isConnected j618 j619)
(isConnected j619 j620)
(isConnected j620 j621)
(isConnected j621 j622)
(isConnected j622 j623)
(isConnected j623 j624)
(isConnected j624 j625)
(isConnected j625 j626)
(isConnected j626 j627)
(isConnected j627 j628)
(isConnected j628 j629)
(isConnected j629 j630)
(isConnected j630 j631)
(isConnected j631 j632)
(isConnected j632 j633)
(isConnected j633 j634)
(isConnected j634 j635)
(isConnected j635 j636)
(isConnected j636 j637)
(isConnected j637 j638)
(isConnected j638 j639)
(isConnected j639 j640)
(isConnected j640 j641)
(isConnected j641 j642)
(isConnected j642 j643)
(isConnected j643 j644)
(isConnected j644 j645)
(isConnected j645 j646)
(isConnected j646 j647)
(isConnected j647 j648)
(isConnected j648 j649)
(isConnected j649 j650)
(isConnected j650 j651)
(isConnected j651 j652)
(isConnected j652 j653)
(isConnected j653 j654)
(isConnected j654 j655)
(isConnected j655 j656)
(isConnected j656 j657)
(isConnected j657 j658)
(isConnected j658 j659)
(isConnected j659 j660)
(isConnected j660 j661)
(isConnected j661 j662)
(isConnected j662 j663)
(isConnected j663 j664)
(isConnected j664 j665)
(isConnected j665 j666)
(isConnected j666 j667)
(isConnected j667 j668)
(isConnected j668 j669)
(isConnected j669 j670)
(isConnected j670 j671)
(isConnected j671 j672)
(isConnected j672 j673)
(isConnected j673 j674)
(isConnected j674 j675)
(isConnected j675 j676)
(isConnected j676 j677)
(isConnected j677 j678)
(isConnected j678 j679)
(isConnected j679 j680)
(isConnected j680 j681)
(isConnected j681 j682)
(isConnected j682 j683)
(isConnected j683 j684)
(isConnected j684 j685)
(isConnected j685 j686)
(isConnected j686 j687)
(isConnected j687 j688)
(isConnected j688 j689)
(isConnected j689 j690)
(isConnected j690 j691)
(isConnected j691 j692)
(isConnected j692 j693)
(isConnected j693 j694)
(isConnected j694 j695)
(isConnected j695 j696)
(isConnected j696 j697)
(isConnected j697 j698)
(isConnected j698 j699)
(isConnected j699 j700)
(isConnected j700 j701)
(isConnected j701 j702)
(isConnected j702 j703)
(isConnected j703 j704)
(isConnected j704 j705)
(isConnected j705 j706)
(isConnected j706 j707)
(isConnected j707 j708)
(isConnected j708 j709)
(isConnected j709 j710)
(isConnected j710 j711)
(isConnected j711 j712)
(isConnected j712 j713)
(isConnected j713 j714)
(isConnected j714 j715)
(isConnected j715 j716)
(isConnected j716 j717)
(isConnected j717 j718)
(isConnected j718 j719)
(isConnected j719 j720)
(isConnected j720 j721)
(isConnected j721 j722)
(isConnected j722 j723)
(isConnected j723 j724)
(isConnected j724 j725)
(isConnected j725 j726)
(isConnected j726 j727)
(isConnected j727 j728)
(isConnected j728 j729)
(isConnected j729 j730)
(isConnected j730 j731)
(isConnected j731 j732)
(isConnected j732 j733)
(isConnected j733 j734)
(isConnected j734 j735)
(isConnected j735 j736)
(isConnected j736 j737)
(isConnected j737 j738)
(isConnected j738 j739)
(isConnected j739 j740)
(isConnected j740 j741)
(isConnected j741 j742)
(isConnected j742 j743)
(isConnected j743 j744)
(isConnected j744 j745)
(isConnected j745 j746)
(isConnected j746 j747)
(isConnected j747 j748)
(isConnected j748 j749)
(isConnected j749 j750)
(isConnected j750 j751)
(isConnected j751 j752)
(isConnected j752 j753)
(isConnected j753 j754)
(isConnected j754 j755)
(isConnected j755 j756)
(isConnected j756 j757)
(isConnected j757 j758)
(isConnected j758 j759)
(isConnected j759 j760)
(isConnected j760 j761)
(isConnected j761 j762)
(isConnected j762 j763)
(isConnected j763 j764)
(isConnected j764 j765)
(isConnected j765 j766)
(isConnected j766 j767)
(isConnected j767 j768)
(isConnected j768 j769)
(isConnected j769 j770)
(isConnected j770 j771)
(isConnected j771 j772)
(isConnected j772 j773)
(isConnected j773 j774)
(isConnected j774 j775)
(isConnected j775 j776)
(isConnected j776 j777)
(isConnected j777 j778)
(isConnected j778 j779)
(isConnected j779 j780)
(isConnected j780 j781)
(isConnected j781 j782)
(isConnected j782 j783)
(isConnected j783 j784)
(isConnected j784 j785)
(isConnected j785 j786)
(isConnected j786 j787)
(isConnected j787 j788)
(isConnected j788 j789)
(isConnected j789 j790)
(isConnected j790 j791)
(isConnected j791 j792)
(isConnected j792 j793)
(isConnected j793 j794)
(isConnected j794 j795)
(isConnected j795 j796)
(isConnected j796 j797)
(isConnected j797 j798)
(isConnected j798 j799)
(isConnected j799 j800)
(isConnected j800 j801)
(isConnected j801 j802)
(isConnected j802 j803)
(isConnected j803 j804)
(isConnected j804 j805)
(isConnected j805 j806)
(isConnected j806 j807)
(isConnected j807 j808)
(isConnected j808 j809)
(isConnected j809 j810)
(isConnected j810 j811)
(isConnected j811 j812)
(isConnected j812 j813)
(isConnected j813 j814)
(isConnected j814 j815)
(isConnected j815 j816)
(isConnected j816 j817)
(isConnected j817 j818)
(isConnected j818 j819)
(isConnected j819 j820)
(isConnected j820 j821)
(isConnected j821 j822)
(isConnected j822 j823)
(isConnected j823 j824)
(isConnected j824 j825)
(isConnected j825 j826)
(isConnected j826 j827)
(isConnected j827 j828)
(isConnected j828 j829)
(isConnected j829 j830)
(isConnected j830 j831)
(isConnected j831 j832)
(isConnected j832 j833)
(isConnected j833 j834)
(isConnected j834 j835)
(isConnected j835 j836)
(isConnected j836 j837)
(isConnected j837 j838)
(isConnected j838 j839)
(isConnected j839 j840)
(isConnected j840 j841)
(isConnected j841 j842)
(isConnected j842 j843)
(isConnected j843 j844)
(isConnected j844 j845)
(isConnected j845 j846)
(isConnected j846 j847)
(isConnected j847 j848)
(isConnected j848 j849)
(isConnected j849 j850)
(isConnected j850 j851)
(isConnected j851 j852)
(isConnected j852 j853)
(isConnected j853 j854)
(isConnected j854 j855)
(isConnected j855 j856)
(isConnected j856 j857)
(isConnected j857 j858)
(isConnected j858 j859)
(isConnected j859 j860)
(isConnected j860 j861)
(isConnected j861 j862)
(isConnected j862 j863)
(isConnected j863 j864)
(isConnected j864 j865)
(isConnected j865 j866)
(isConnected j866 j867)
(isConnected j867 j868)
(isConnected j868 j869)
(isConnected j869 j870)
(isConnected j870 j871)
(isConnected j871 j872)
(isConnected j872 j873)
(isConnected j873 j874)
(isConnected j874 j875)
(isConnected j875 j876)
(isConnected j876 j877)
(isConnected j877 j878)
(isConnected j878 j879)
(isConnected j879 j880)
(isConnected j880 j881)
(isConnected j881 j882)
(isConnected j882 j883)
(isConnected j883 j884)
(isConnected j884 j885)
(isConnected j885 j886)
(isConnected j886 j887)
(isConnected j887 j888)
(isConnected j888 j889)
(isConnected j889 j890)
(isConnected j890 j891)
(isConnected j891 j892)
(isConnected j892 j893)
(isConnected j893 j894)
(isConnected j894 j895)
(isConnected j895 j896)
(isConnected j896 j897)
(isConnected j897 j898)
(isConnected j898 j899)
(isConnected j899 j900)
(isConnected j900 j901)
(isConnected j901 j902)
(isConnected j902 j903)
(isConnected j903 j904)
(isConnected j904 j905)
(isConnected j905 j906)
(isConnected j906 j907)
(isConnected j907 j908)
(isConnected j908 j909)