Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance 08-reachability-0-0.asp

Name	08-reachability-0-0.asp
Classes	[Root]    Graphs (3030)    Generic (90)    ASP Contest 09 (Reachability) (29)      Model and Solve Track 3D ASP Competition (15)
Submitter	Roland Kaminski
Author	Giorgio Terracina
Description
Created	2012-04-10 13:18
Modified	2012-04-10 13:18
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	edge(10000,10001). edge(10000,10002). edge(10001,10003). edge(10001,10004). edge(10002,10005). edge(10002,10006). edge(10003,10007). edge(10003,10008). edge(10004,10009). edge(10004,10010). edge(10005,10011). edge(10005,10012). edge(10006,10013). edge(10006,10014). edge(10007,10015). edge(10007,10016). edge(10008,10017). edge(10008,10018). edge(10009,10019). edge(10009,10020). edge(10010,10021). edge(10010,10022). edge(10011,10023). edge(10011,10024). edge(10012,10025). edge(10012,10026). edge(10013,10027). edge(10013,10028). edge(10014,10029). edge(10014,10030). edge(10015,10031). edge(10015,10032). edge(10016,10033). edge(10016,10034). edge(10017,10035). edge(10017,10036). edge(10018,10037). edge(10018,10038). edge(10019,10039). edge(10019,10040). edge(10020,10041). edge(10020,10042). edge(10021,10043). edge(10021,10044). edge(10022,10045). edge(10022,10046). edge(10023,10047). edge(10023,10048). edge(10024,10049). edge(10024,10050). edge(10025,10051). edge(10025,10052). edge(10026,10053). edge(10026,10054). edge(10027,10055). edge(10027,10056). edge(10028,10057). edge(10028,10058). edge(10029,10059). edge(10029,10060). edge(10030,10061). edge(10030,10062). edge(10031,10063). edge(10031,10064). edge(10032,10065). edge(10032,10066). edge(10033,10067). edge(10033,10068). edge(10034,10069). edge(10034,10070). edge(10035,10071). edge(10035,10072). edge(10036,10073). edge(10036,10074). edge(10037,10075). edge(10037,10076). edge(10038,10077). edge(10038,10078). edge(10039,10079). edge(10039,10080). edge(10040,10081). edge(10040,10082). edge(10041,10083). edge(10041,10084). edge(10042,10085). edge(10042,10086). edge(10043,10087). edge(10043,10088). edge(10044,10089). edge(10044,10090). edge(10045,10091). edge(10045,10092). edge(10046,10093). edge(10046,10094). edge(10047,10095). edge(10047,10096). edge(10048,10097). edge(10048,10098). edge(10049,10099). edge(10049,10100). edge(10050,10101). edge(10050,10102). edge(10051,10103). edge(10051,10104). edge(10052,10105). edge(10052,10106). edge(10053,10107). edge(10053,10108). edge(10054,10109). edge(10054,10110). edge(10055,10111). edge(10055,10112). edge(10056,10113). edge(10056,10114). edge(10057,10115). edge(10057,10116). edge(10058,10117). edge(10058,10118). edge(10059,10119). edge(10059,10120). edge(10060,10121). edge(10060,10122). edge(10061,10123). edge(10061,10124). edge(10062,10125). edge(10062,10126). edge(10063,10127). edge(10063,10128). edge(10064,10129). edge(10064,10130). edge(10065,10131). edge(10065,10132). edge(10066,10133). edge(10066,10134). edge(10067,10135). edge(10067,10136). edge(10068,10137). edge(10068,10138). edge(10069,10139). edge(10069,10140). edge(10070,10141). edge(10070,10142). edge(10071,10143). edge(10071,10144). edge(10072,10145). edge(10072,10146). edge(10073,10147). edge(10073,10148). edge(10074,10149). edge(10074,10150). edge(10075,10151). edge(10075,10152). edge(10076,10153). edge(10076,10154). edge(10077,10155). edge(10077,10156). edge(10078,10157). edge(10078,10158). edge(10079,10159). edge(10079,10160). edge(10080,10161). edge(10080,10162). edge(10081,10163). edge(10081,10164). edge(10082,10165). edge(10082,10166). edge(10083,10167). edge(10083,10168). edge(10084,10169). edge(10084,10170). edge(10085,10171). edge(10085,10172). edge(10086,10173). edge(10086,10174). edge(10087,10175). edge(10087,10176). edge(10088,10177). edge(10088,10178). edge(10089,10179). edge(10089,10180). edge(10090,10181). edge(10090,10182). edge(10091,10183). edge(10091,10184). edge(10092,10185). edge(10092,10186). edge(10093,10187). edge(10093,10188). edge(10094,10189). edge(10094,10190). edge(10095,10191). edge(10095,10192). edge(10096,10193). edge(10096,10194). edge(10097,10195). edge(10097,10196). edge(10098,10197). edge(10098,10198). edge(10099,10199). edge(10099,10200). edge(10100,10201). edge(10100,10202). edge(10101,10203). edge(10101,10204). edge(10102,10205). edge(10102,10206). edge(10103,10207). edge(10103,10208). edge(10104,10209). edge(10104,10210). edge(10105,10211). edge(10105,10212). edge(10106,10213). edge(10106,10214). edge(10107,10215). edge(10107,10216). edge(10108,10217). edge(10108,10218). edge(10109,10219). edge(10109,10220). edge(10110,10221). edge(10110,10222). edge(10111,10223). edge(10111,10224). edge(10112,10225). edge(10112,10226). edge(10113,10227). edge(10113,10228). edge(10114,10229). edge(10114,10230). edge(10115,10231). edge(10115,10232). edge(10116,10233). edge(10116,10234). edge(10117,10235). edge(10117,10236). edge(10118,10237). edge(10118,10238). edge(10119,10239). edge(10119,10240). edge(10120,10241). edge(10120,10242). edge(10121,10243). edge(10121,10244). edge(10122,10245). edge(10122,10246). edge(10123,10247). edge(10123,10248). edge(10124,10249). edge(10124,10250). edge(10125,10251). edge(10125,10252). edge(10126,10253). edge(10126,10254). edge(10127,10255). edge(10127,10256). edge(10128,10257). edge(10128,10258). edge(10129,10259). edge(10129,10260). edge(10130,10261). edge(10130,10262). edge(10131,10263). edge(10131,10264). edge(10132,10265). edge(10132,10266). edge(10133,10267). edge(10133,10268). edge(10134,10269). edge(10134,10270). edge(10135,10271). edge(10135,10272). edge(10136,10273). edge(10136,10274). edge(10137,10275). edge(10137,10276). edge(10138,10277). edge(10138,10278). edge(10139,10279). edge(10139,10280). edge(10140,10281). edge(10140,10282). edge(10141,10283). edge(10141,10284). edge(10142,10285). edge(10142,10286). edge(10143,10287). edge(10143,10288). edge(10144,10289). edge(10144,10290). edge(10145,10291). edge(10145,10292). edge(10146,10293). edge(10146,10294). edge(10147,10295). edge(10147,10296). edge(10148,10297). edge(10148,10298). edge(10149,10299). edge(10149,10300). edge(10150,10301). edge(10150,10302). edge(10151,10303). edge(10151,10304). edge(10152,10305). edge(10152,10306). edge(10153,10307). edge(10153,10308). edge(10154,10309). edge(10154,10310). edge(10155,10311). edge(10155,10312). edge(10156,10313). edge(10156,10314). edge(10157,10315). edge(10157,10316). edge(10158,10317). edge(10158,10318). edge(10159,10319). edge(10159,10320). edge(10160,10321). edge(10160,10322). edge(10161,10323). edge(10161,10324). edge(10162,10325). edge(10162,10326). edge(10163,10327). edge(10163,10328). edge(10164,10329). edge(10164,10330). edge(10165,10331). edge(10165,10332). edge(10166,10333). edge(10166,10334). edge(10167,10335). edge(10167,10336). edge(10168,10337). edge(10168,10338). edge(10169,10339). edge(10169,10340). edge(10170,10341). edge(10170,10342). edge(10171,10343). edge(10171,10344). edge(10172,10345). edge(10172,10346). edge(10173,10347). edge(10173,10348). edge(10174,10349). edge(10174,10350). edge(10175,10351). edge(10175,10352). edge(10176,10353). edge(10176,10354). edge(10177,10355). edge(10177,10356). edge(10178,10357). edge(10178,10358). edge(10179,10359). edge(10179,10360). edge(10180,10361). edge(10180,10362). edge(10181,10363). edge(10181,10364). edge(10182,10365). edge(10182,10366). edge(10183,10367). edge(10183,10368). edge(10184,10369). edge(10184,10370). edge(10185,10371). edge(10185,10372). edge(10186,10373). edge(10186,10374). edge(10187,10375). edge(10187,10376). edge(10188,10377). edge(10188,10378). edge(10189,10379). edge(10189,10380). edge(10190,10381). edge(10190,10382). edge(10191,10383). edge(10191,10384). edge(10192,10385). edge(10192,10386). edge(10193,10387). edge(10193,10388). edge(10194,10389). edge(10194,10390). edge(10195,10391). edge(10195,10392). edge(10196,10393). edge(10196,10394). edge(10197,10395). edge(10197,10396). edge(10198,10397). edge(10198,10398). edge(10199,10399). edge(10199,10400). edge(10200,10401). edge(10200,10402). edge(10201,10403). edge(10201,10404). edge(10202,10405). edge(10202,10406). edge(10203,10407). edge(10203,10408). edge(10204,10409). edge(10204,10410). edge(10205,10411). edge(10205,10412). edge(10206,10413). edge(10206,10414). edge(10207,10415). edge(10207,10416). edge(10208,10417). edge(10208,10418). edge(10209,10419). edge(10209,10420). edge(10210,10421). edge(10210,10422). edge(10211,10423). edge(10211,10424). edge(10212,10425). edge(10212,10426). edge(10213,10427). edge(10213,10428). edge(10214,10429). edge(10214,10430). edge(10215,10431). edge(10215,10432). edge(10216,10433). edge(10216,10434). edge(10217,10435). edge(10217,10436). edge(10218,10437). edge(10218,10438). edge(10219,10439). edge(10219,10440). edge(10220,10441). edge(10220,10442). edge(10221,10443). edge(10221,10444). edge(10222,10445). edge(10222,10446). edge(10223,10447). edge(10223,10448). edge(10224,10449). edge(10224,10450). edge(10225,10451). edge(10225,10452). edge(10226,10453). edge(10226,10454). edge(10227,10455). edge(10227,10456). edge(10228,10457). edge(10228,10458). edge(10229,10459). edge(10229,10460). edge(10230,10461). edge(10230,10462). edge(10231,10463). edge(10231,10464). edge(10232,10465). edge(10232,10466). edge(10233,10467). edge(10233,10468). edge(10234,10469). edge(10234,10470). edge(10235,10471). edge(10235,10472). edge(10236,10473). edge(10236,10474). edge(10237,10475). edge(10237,10476). edge(10238,10477). edge(10238,10478). edge(10239,10479). edge(10239,10480). edge(10240,10481). edge(10240,10482). edge(10241,10483). edge(10241,10484). edge(10242,10485). edge(10242,10486). edge(10243,10487). edge(10243,10488). edge(10244,10489). edge(10244,10490). edge(10245,10491). edge(10245,10492). edge(10246,10493). edge(10246,10494). edge(10247,10495). edge(10247,10496). edge(10248,10497). edge(10248,10498). edge(10249,10499). edge(10249,10500). edge(10250,10501). edge(10250,10502). edge(10251,10503). edge(10251,10504). edge(10252,10505). edge(10252,10506). edge(10253,10507). edge(10253,10508). edge(10254,10509). edge(10254,10510). edge(10255,10511). edge(10255,10512). edge(10256,10513). edge(10256,10514). edge(10257,10515). edge(10257,10516). edge(10258,10517). edge(10258,10518). edge(10259,10519). edge(10259,10520). edge(10260,10521). edge(10260,10522). edge(10261,10523). edge(10261,10524). edge(10262,10525). edge(10262,10526). edge(10263,10527). edge(10263,10528). edge(10264,10529). edge(10264,10530). edge(10265,10531). edge(10265,10532). edge(10266,10533). edge(10266,10534). edge(10267,10535). edge(10267,10536). edge(10268,10537). edge(10268,10538). edge(10269,10539). edge(10269,10540). edge(10270,10541). edge(10270,10542). edge(10271,10543). edge(10271,10544). edge(10272,10545). edge(10272,10546). edge(10273,10547). edge(10273,10548). edge(10274,10549). edge(10274,10550). edge(10275,10551). edge(10275,10552). edge(10276,10553). edge(10276,10554). edge(10277,10555). edge(10277,10556). edge(10278,10557). edge(10278,10558). edge(10279,10559). edge(10279,10560). edge(10280,10561). edge(10280,10562). edge(10281,10563). edge(10281,10564). edge(10282,10565). edge(10282,10566). edge(10283,10567). edge(10283,10568). edge(10284,10569). edge(10284,10570). edge(10285,10571). edge(10285,10572). edge(10286,10573). edge(10286,10574). edge(10287,10575). edge(10287,10576). edge(10288,10577). edge(10288,10578). edge(10289,10579). edge(10289,10580). edge(10290,10581). edge(10290,10582). edge(10291,10583). edge(10291,10584). edge(10292,10585). edge(10292,10586). edge(10293,10587). edge(10293,10588). edge(10294,10589). edge(10294,10590). edge(10295,10591). edge(10295,10592). edge(10296,10593). edge(10296,10594). edge(10297,10595). edge(10297,10596). edge(10298,10597). edge(10298,10598). edge(10299,10599). edge(10299,10600). edge(10300,10601). edge(10300,10602). edge(10301,10603). edge(10301,10604). edge(10302,10605). edge(10302,10606). edge(10303,10607). edge(10303,10608). edge(10304,10609). edge(10304,10610). edge(10305,10611). edge(10305,10612). edge(10306,10613). edge(10306,10614). edge(10307,10615). edge(10307,10616). edge(10308,10617). edge(10308,10618). edge(10309,10619). edge(10309,10620). edge(10310,10621). edge(10310,10622). edge(10311,10623). edge(10311,10624). edge(10312,10625). edge(10312,10626). edge(10313,10627). edge(10313,10628). edge(10314,10629). edge(10314,10630). edge(10315,10631). edge(10315,10632). edge(10316,10633). edge(10316,10634). edge(10317,10635). edge(10317,10636). edge(10318,10637). edge(10318,10638). edge(10319,10639). edge(10319,10640). edge(10320,10641). edge(10320,10642). edge(10321,10643). edge(10321,10644). edge(10322,10645). edge(10322,10646). edge(10323,10647). edge(10323,10648). edge(10324,10649). edge(10324,10650). edge(10325,10651). edge(10325,10652). edge(10326,10653). edge(10326,10654). edge(10327,10655). edge(10327,10656). edge(10328,10657). edge(10328,10658). edge(10329,10659). edge(10329,10660). edge(10330,10661). edge(10330,10662). edge(10331,10663). edge(10331,10664). edge(10332,10665). edge(10332,10666). edge(10333,10667). edge(10333,10668). edge(10334,10669). edge(10334,10670). edge(10335,10671). edge(10335,10672). edge(10336,10673). edge(10336,10674). edge(10337,10675). edge(10337,10676). edge(10338,10677). edge(10338,10678). edge(10339,10679). edge(10339,10680). edge(10340,10681). edge(10340,10682). edge(10341,10683). edge(10341,10684). edge(10342,10685). edge(10342,10686). edge(10343,10687). edge(10343,10688). edge(10344,10689). edge(10344,10690). edge(10345,10691). edge(10345,10692). edge(10346,10693). edge(10346,10694). edge(10347,10695). edge(10347,10696). edge(10348,10697). edge(10348,10698). edge(10349,10699). edge(10349,10700). edge(10350,10701). edge(10350,10702). edge(10351,10703). edge(10351,10704). edge(10352,10705). edge(10352,10706). edge(10353,10707). edge(10353,10708). edge(10354,10709). edge(10354,10710). edge(10355,10711). edge(10355,10712). edge(10356,10713). edge(10356,10714). edge(10357,10715). edge(10357,10716). edge(10358,10717). edge(10358,10718). edge(10359,10719). edge(10359,10720). edge(10360,10721). edge(10360,10722). edge(10361,10723). edge(10361,10724). edge(10362,10725). edge(10362,10726). edge(10363,10727). edge(10363,10728). edge(10364,10729). edge(10364,10730). edge(10365,10731). edge(10365,10732). edge(10366,10733). edge(10366,10734). edge(10367,10735). edge(10367,10736). edge(10368,10737). edge(10368,10738). edge(10369,10739). edge(10369,10740). edge(10370,10741). edge(10370,10742). edge(10371,10743). edge(10371,10744). edge(10372,10745). edge(10372,10746). edge(10373,10747). edge(10373,10748). edge(10374,10749). edge(10374,10750). edge(10375,10751). edge(10375,10752). edge(10376,10753). edge(10376,10754). edge(10377,10755). edge(10377,10756). edge(10378,10757). edge(10378,10758). edge(10379,10759). edge(10379,10760). edge(10380,10761). edge(10380,10762). edge(10381,10763). edge(10381,10764). edge(10382,10765). edge(10382,10766). edge(10383,10767). edge(10383,10768). edge(10384,10769). edge(10384,10770). edge(10385,10771). edge(10385,10772). edge(10386,10773). edge(10386,10774). edge(10387,10775). edge(10387,10776). edge(10388,10777). edge(10388,10778). edge(10389,10779). edge(10389,10780). edge(10390,10781). edge(10390,10782). edge(10391,10783). edge(10391,10784). edge(10392,10785). edge(10392,10786). edge(10393,10787). edge(10393,10788). edge(10394,10789). edge(10394,10790). edge(10395,10791). edge(10395,10792). edge(10396,10793). edge(10396,10794). edge(10397,10795). edge(10397,10796). edge(10398,10797). edge(10398,10798). edge(10399,10799). edge(10399,10800). edge(10400,10801). edge(10400,10802). edge(10401,10803). edge(10401,10804). edge(10402,10805). edge(10402,10806). edge(10403,10807). edge(10403,10808). edge(10404,10809). edge(10404,10810). edge(10405,10811). edge(10405,10812). edge(10406,10813). edge(10406,10814). edge(10407,10815). edge(10407,10816). edge(10408,10817). edge(10408,10818). edge(10409,10819). edge(10409,10820). edge(10410,10821). edge(10410,10822). edge(10411,10823). edge(10411,10824). edge(10412,10825). edge(10412,10826). edge(10413,10827). edge(10413,10828). edge(10414,10829). edge(10414,10830). edge(10415,10831). edge(10415,10832). edge(10416,10833). edge(10416,10834). edge(10417,10835). edge(10417,10836). edge(10418,10837). edge(10418,10838). edge(10419,10839). edge(10419,10840). edge(10420,10841). edge(10420,10842). edge(10421,10843). edge(10421,10844). edge(10422,10845). edge(10422,10846). edge(10423,10847). edge(10423,10848). edge(10424,10849). edge(10424,10850). edge(10425,10851). edge(10425,10852). edge(10426,10853). edge(10426,10854). edge(10427,10855). edge(10427,10856). edge(10428,10857). edge(10428,10858). edge(10429,10859). edge(10429,10860). edge(10430,10861). edge(10430,10862). edge(10431,10863). edge(10431,10864). edge(10432,10865). edge(10432,10866). edge(10433,10867). edge(10433,10868). edge(10434,10869). edge(10434,10870). edge(10435,10871). edge(10435,10872). edge(10436,10873). edge(10436,10874). edge(10437,10875). edge(10437,10876). edge(10438,10877). edge(10438,10878). edge(10439,10879). edge(10439,10880). edge(10440,10881). edge(10440,10882). edge(10441,10883). edge(10441,10884). edge(10442,10885). edge(10442,10886). edge(10443,10887). edge(10443,10888). edge(10444,10889). edge(10444,10890). edge(10445,10891). edge(10445,10892). edge(10446,10893). edge(10446,10894). edge(10447,10895). edge(10447,10896). edge(10448,10897). edge(10448,10898). edge(10449,10899). edge(10449,10900). edge(10450,10901). edge(10450,10902). edge(10451,10903). edge(10451,10904). edge(10452,10905). edge(10452,10906). edge(10453,10907). edge(10453,10908). edge(10454,10909). edge(10454,10910). edge(10455,10911). edge(10455,10912). edge(10456,10913). edge(10456,10914). edge(10457,10915). edge(10457,10916). edge(10458,10917). edge(10458,10918). edge(10459,10919). edge(10459,10920). edge(10460,10921). edge(10460,10922). edge(10461,10923). edge(10461,10924). edge(10462,10925). edge(10462,10926). edge(10463,10927). edge(10463,10928). edge(10464,10929). edge(10464,10930). edge(10465,10931). edge(10465,10932). edge(10466,10933). edge(10466,10934). edge(10467,10935). edge(10467,10936). edge(10468,10937). edge(10468,10938). edge(10469,10939). edge(10469,10940). edge(10470,10941). edge(10470,10942). edge(10471,10943). edge(10471,10944). edge(10472,10945). edge(10472,10946). edge(10473,10947). edge(10473,10948). edge(10474,10949). edge(10474,10950). edge(10475,10951). edge(10475,10952). edge(10476,10953). edge(10476,10954). edge(10477,10955). edge(10477,10956). edge(10478,10957). edge(10478,10958). edge(10479,10959). edge(10479,10960). edge(10480,10961). edge(10480,10962). edge(10481,10963). edge(10481,10964). edge(10482,10965). edge(10482,10966). edge(10483,10967). edge(10483,10968). edge(10484,10969). edge(10484,10970). edge(10485,10971). edge(10485,10972). edge(10486,10973). edge(10486,10974). edge(10487,10975). edge(10487,10976). edge(10488,10977). edge(10488,10978). edge(10489,10979). edge(10489,10980). edge(10490,10981). edge(10490,10982). edge(10491,10983). edge(10491,10984). edge(10492,10985). edge(10492,10986). edge(10493,10987). edge(10493,10988). edge(10494,10989). edge(10494,10990). edge(10495,10991). edge(10495,10992). edge(10496,10993). edge(10496,10994). edge(10497,10995). edge(10497,10996). edge(10498,10997). edge(10498,10998). edge(10499,10999). edge(10499,11000). edge(10500,11001). edge(10500,11002). edge(10501,11003). edge(10501,11004). edge(10502,11005). edge(10502,11006). edge(10503,11007). edge(10503,11008). edge(10504,11009). edge(10504,11010). edge(10505,11011). edge(10505,11012). edge(10506,11013). edge(10506,11014). edge(10507,11015). edge(10507,11016). edge(10508,11017). edge(10508,11018). edge(10509,11019). edge(10509,11020). edge(10510,11021). edge(10510,11022). edge(10511,11023). edge(10511,11024). edge(10512,11025). edge(10512,11026). edge(10513,11027). edge(10513,11028). edge(10514,11029). edge(10514,11030). edge(10515,11031). edge(10515,11032). edge(10516,11033). edge(10516,11034). edge(10517,11035). edge(10517,11036). edge(10518,11037). edge(10518,11038). edge(10519,11039). edge(10519,11040). edge(10520,11041). edge(10520,11042). edge(10521,11043). edge(10521,11044). edge(10522,11045). edge(10522,11046). edge(10523,11047). edge(10523,11048). edge(10524,11049). edge(10524,11050). edge(10525,11051). edge(10525,11052). edge(10526,11053). edge(10526,11054). edge(10527,11055). edge(10527,11056). edge(10528,11057). edge(10528,11058). edge(10529,11059). edge(10529,11060). edge(10530,11061). edge(10530,11062). edge(10531,11063). edge(10531,11064). edge(10532,11065). edge(10532,11066). edge(10533,11067). edge(10533,11068). edge(10534,11069). edge(10534,11070). edge(10535,11071). edge(10535,11072). edge(10536,11073). edge(10536,11074). edge(10537,11075). edge(10537,11076). edge(10538,11077). edge(10538,11078). edge(10539,11079). edge(10539,11080). edge(10540,11081). edge(10540,11082). edge(10541,11083). edge(10541,11084). edge(10542,11085). edge(10542,11086). edge(10543,11087). edge(10543,11088). edge(10544,11089). edge(10544,11090). edge(10545,11091). edge(10545,11092). edge(10546,11093). edge(10546,11094). edge(10547,11095). edge(10547,11096). edge(10548,11097). edge(10548,11098). edge(10549,11099). edge(10549,11100). edge(10550,11101). edge(10550,11102). edge(10551,11103). edge(10551,11104). edge(10552,11105). edge(10552,11106). edge(10553,11107). edge(10553,11108). edge(10554,11109). edge(10554,11110). edge(10555,11111). edge(10555,11112). edge(10556,11113). edge(10556,11114). edge(10557,11115). edge(10557,11116). edge(10558,11117). edge(10558,11118). edge(10559,11119). edge(10559,11120). edge(10560,11121). edge(10560,11122). edge(10561,11123). edge(10561,11124). edge(10562,11125). edge(10562,11126). edge(10563,11127). edge(10563,11128). edge(10564,11129). edge(10564,11130). edge(10565,11131). edge(10565,11132). edge(10566,11133). edge(10566,11134). edge(10567,11135). edge(10567,11136). edge(10568,11137). edge(10568,11138). edge(10569,11139). edge(10569,11140). edge(10570,11141). edge(10570,11142). edge(10571,11143). edge(10571,11144). edge(10572,11145). edge(10572,11146). edge(10573,11147). edge(10573,11148). edge(10574,11149). edge(10574,11150). edge(10575,11151). edge(10575,11152). edge(10576,11153). edge(10576,11154). edge(10577,11155). edge(10577,11156). edge(10578,11157). edge(10578,11158). edge(10579,11159). edge(10579,11160). edge(10580,11161). edge(10580,11162). edge(10581,11163). edge(10581,11164). edge(10582,11165). edge(10582,11166). edge(10583,11167). edge(10583,11168). edge(10584,11169). edge(10584,11170). edge(10585,11171). edge(10585,11172). edge(10586,11173). edge(10586,11174). edge(10587,11175). edge(10587,11176). edge(10588,11177). edge(10588,11178). edge(10589,11179). edge(10589,11180). edge(10590,11181). edge(10590,11182). edge(10591,11183). edge(10591,11184). edge(10592,11185). edge(10592,11186). edge(10593,11187). edge(10593,11188). edge(10594,11189). edge(10594,11190). edge(10595,11191). edge(10595,11192). edge(10596,11193). edge(10596,11194). edge(10597,11195). edge(10597,11196). edge(10598,11197). edge(10598,11198). edge(10599,11199). edge(10599,11200). edge(10600,11201). edge(10600,11202). edge(10601,11203). edge(10601,11204). edge(10602,11205). edge(10602,11206). edge(10603,11207). edge(10603,11208). edge(10604,11209). edge(10604,11210). edge(10605,11211). edge(10605,11212). edge(10606,11213). edge(10606,11214). edge(10607,11215). edge(10607,11216). edge(10608,11217). edge(10608,11218). edge(10609,11219). edge(10609,11220). edge(10610,11221). edge(10610,11222). edge(10611,11223). edge(10611,11224). edge(10612,11225). edge(10612,11226). edge(10613,11227). edge(10613,11228). edge(10614,11229). edge(10614,11230). edge(10615,11231). edge(10615,11232). edge(10616,11233). edge(10616,11234). edge(10617,11235). edge(10617,11236). edge(10618,11237). edge(10618,11238). edge(10619,11239). edge(10619,11240). edge(10620,11241). edge(10620,11242). edge(10621,11243). edge(10621,11244). edge(10622,11245). edge(10622,11246). edge(10623,11247). edge(10623,11248). edge(10624,11249). edge(10624,11250). edge(10625,11251). edge(10625,11252). edge(10626,11253). edge(10626,11254). edge(10627,11255). edge(10627,11256). edge(10628,11257). edge(10628,11258). edge(10629,11259). edge(10629,11260). edge(10630,11261). edge(10630,11262). edge(10631,11263). edge(10631,11264). edge(10632,11265). edge(10632,11266). edge(10633,11267). edge(10633,11268). edge(10634,11269). edge(10634,11270). edge(10635,11271). edge(10635,11272). edge(10636,11273). edge(10636,11274). edge(10637,11275). edge(10637,11276). edge(10638,11277). edge(10638,11278). edge(10639,11279). edge(10639,11280). edge(10640,11281). edge(10640,11282). edge(10641,11283). edge(10641,11284). edge(10642,11285). edge(10642,11286). edge(10643,11287). edge(10643,11288). edge(10644,11289). edge(10644,11290). edge(10645,11291). edge(10645,11292). edge(10646,11293). edge(10646,11294). edge(10647,11295). edge(10647,11296). edge(10648,11297). edge(10648,11298). edge(10649,11299). edge(10649,11300). edge(10650,11301). edge(10650,11302). edge(10651,11303). edge(10651,11304). edge(10652,11305). edge(10652,11306). edge(10653,11307). edge(10653,11308). edge(10654,11309). edge(10654,11310). edge(10655,11311). edge(10655,11312). edge(10656,11313). edge(10656,11314). edge(10657,11315). edge(10657,11316). edge(10658,11317). edge(10658,11318). edge(10659,11319). edge(10659,11320). edge(10660,11321). edge(10660,11322). edge(10661,11323). edge(10661,11324). edge(10662,11325). edge(10662,11326). edge(10663,11327). edge(10663,11328). edge(10664,11329). edge(10664,11330). edge(10665,11331). edge(10665,11332). edge(10666,11333). edge(10666,11334). edge(10667,11335). edge(10667,11336). edge(10668,11337). edge(10668,11338). edge(10669,11339). edge(10669,11340). edge(10670,11341). edge(10670,11342). edge(10671,11343). edge(10671,11344). edge(10672,11345). edge(10672,11346). edge(10673,11347). edge(10673,11348). edge(10674,11349). edge(10674,11350). edge(10675,11351). edge(10675,11352). edge(10676,11353). edge(10676,11354). edge(10677,11355). edge(10677,11356). edge(10678,11357). edge(10678,11358). edge(10679,11359). edge(10679,11360). edge(10680,11361). edge(10680,11362). edge(10681,11363). edge(10681,11364). edge(10682,11365). edge(10682,11366). edge(10683,11367). edge(10683,11368). edge(10684,11369). edge(10684,11370). edge(10685,11371). edge(10685,11372). edge(10686,11373). edge(10686,11374). edge(10687,11375). edge(10687,11376). edge(10688,11377). edge(10688,11378). edge(10689,11379). edge(10689,11380). edge(10690,11381). edge(10690,11382). edge(10691,11383). edge(10691,11384). edge(10692,11385). edge(10692,11386). edge(10693,11387). edge(10693,11388). edge(10694,11389). edge(10694,11390). edge(10695,11391). edge(10695,11392). edge(10696,11393). edge(10696,11394). edge(10697,11395). edge(10697,11396). edge(10698,11397). edge(10698,11398). edge(10699,11399). edge(10699,11400). edge(10700,11401). edge(10700,11402). edge(10701,11403). edge(10701,11404). edge(10702,11405). edge(10702,11406). edge(10703,11407). edge(10703,11408). edge(10704,11409). edge(10704,11410). edge(10705,11411). edge(10705,11412). edge(10706,11413). edge(10706,11414). edge(10707,11415). edge(10707,11416). edge(10708,11417). edge(10708,11418). edge(10709,11419). edge(10709,11420). edge(10710,11421). edge(10710,11422). edge(10711,11423). edge(10711,11424). edge(10712,11425). edge(10712,11426). edge(10713,11427). edge(10713,11428). edge(10714,11429). edge(10714,11430). edge(10715,11431). edge(10715,11432). edge(10716,11433). edge(10716,11434). edge(10717,11435). edge(10717,11436). edge(10718,11437). edge(10718,11438). edge(10719,11439). edge(10719,11440). edge(10720,11441). edge(10720,11442). edge(10721,11443). edge(10721,11444). edge(10722,11445). edge(10722,11446). edge(10723,11447). edge(10723,11448). edge(10724,11449). edge(10724,11450). edge(10725,11451). edge(10725,11452). edge(10726,11453). edge(10726,11454). edge(10727,11455). edge(10727,11456). edge(10728,11457). edge(10728,11458). edge(10729,11459). edge(10729,11460). edge(10730,11461). edge(10730,11462). edge(10731,11463). edge(10731,11464). edge(10732,11465). edge(10732,11466). edge(10733,11467). edge(10733,11468). edge(10734,11469). edge(10734,11470). edge(10735,11471). edge(10735,11472). edge(10736,11473). edge(10736,11474). edge(10737,11475). edge(10737,11476). edge(10738,11477). edge(10738,11478). edge(10739,11479). edge(10739,11480). edge(10740,11481). edge(10740,11482). edge(10741,11483). edge(10741,11484). edge(10742,11485). edge(10742,11486). edge(10743,11487). edge(10743,11488). edge(10744,11489). edge(10744,11490). edge(10745,11491). edge(10745,11492). edge(10746,11493). edge(10746,11494). edge(10747,11495). edge(10747,11496). edge(10748,11497). edge(10748,11498). edge(10749,11499). edge(10749,11500). edge(10750,11501). edge(10750,11502). edge(10751,11503). edge(10751,11504). edge(10752,11505). edge(10752,11506). edge(10753,11507). edge(10753,11508). edge(10754,11509). edge(10754,11510). edge(10755,11511). edge(10755,11512). edge(10756,11513). edge(10756,11514). edge(10757,11515). edge(10757,11516). edge(10758,11517). edge(10758,11518). edge(10759,11519). edge(10759,11520). edge(10760,11521). edge(10760,11522). edge(10761,11523). edge(10761,11524). edge(10762,11525). edge(10762,11526). edge(10763,11527). edge(10763,11528). edge(10764,11529). edge(10764,11530). edge(10765,11531). edge(10765,11532). edge(10766,11533). edge(10766,11534). edge(10767,11535). edge(10767,11536). edge(10768,11537). edge(10768,11538). edge(10769,11539). edge(10769,11540). edge(10770,11541). edge(10770,11542). edge(10771,11543). edge(10771,11544). edge(10772,11545). edge(10772,11546). edge(10773,11547). edge(10773,11548). edge(10774,11549). edge(10774,11550). edge(10775,11551). edge(10775,11552). edge(10776,11553). edge(10776,11554). edge(10777,11555). edge(10777,11556). edge(10778,11557). edge(10778,11558). edge(10779,11559). edge(10779,11560). edge(10780,11561). edge(10780,11562). edge(10781,11563). edge(10781,11564). edge(10782,11565). edge(10782,11566). edge(10783,11567). edge(10783,11568). edge(10784,11569). edge(10784,11570). edge(10785,11571). edge(10785,11572). edge(10786,11573). edge(10786,11574). edge(10787,11575). edge(10787,11576). edge(10788,11577). edge(10788,11578). edge(10789,11579). edge(10789,11580). edge(10790,11581). edge(10790,11582). edge(10791,11583). edge(10791,11584). edge(10792,11585). edge(10792,11586). edge(10793,11587). edge(10793,11588). edge(10794,11589). edge(10794,11590). edge(10795,11591). edge(10795,11592). edge(10796,11593). edge(10796,11594). edge(10797,11595). edge(10797,11596). edge(10798,11597). edge(10798,11598). edge(10799,11599). edge(10799,11600). edge(10800,11601). edge(10800,11602). edge(10801,11603). edge(10801,11604). edge(10802,11605). edge(10802,11606). edge(10803,11607). edge(10803,11608). edge(10804,11609). edge(10804,11610). edge(10805,11611). edge(10805,11612). edge(10806,11613). edge(10806,11614). edge(10807,11615). edge(10807,11616). edge(10808,11617). edge(10808,11618). edge(10809,11619). edge(10809,11620). edge(10810,11621). edge(10810,11622). edge(10811,11623). edge(10811,11624). edge(10812,11625). edge(10812,11626). edge(10813,11627). edge(10813,11628). edge(10814,11629). edge(10814,11630). edge(10815,11631). edge(10815,11632). edge(10816,11633). edge(10816,11634). edge(10817,11635). edge(10817,11636). edge(10818,11637). edge(10818,11638). edge(10819,11639). edge(10819,11640). edge(10820,11641). edge(10820,11642). edge(10821,11643). edge(10821,11644). edge(10822,11645). edge(10822,11646). edge(10823,11647). edge(10823,11648). edge(10824,11649). edge(10824,11650). edge(10825,11651). edge(10825,11652). edge(10826,11653). edge(10826,11654). edge(10827,11655). edge(10827,11656). edge(10828,11657). edge(10828,11658). edge(10829,11659). edge(10829,11660). edge(10830,11661). edge(10830,11662). edge(10831,11663). edge(10831,11664). edge(10832,11665). edge(10832,11666). edge(10833,11667). edge(10833,11668). edge(10834,11669). edge(10834,11670). edge(10835,11671). edge(10835,11672). edge(10836,11673). edge(10836,11674). edge(10837,11675). edge(10837,11676). edge(10838,11677). edge(10838,11678). edge(10839,11679). edge(10839,11680). edge(10840,11681). edge(10840,11682). edge(10841,11683). edge(10841,11684). edge(10842,11685). edge(10842,11686). edge(10843,11687). edge(10843,11688). edge(10844,11689). edge(10844,11690). edge(10845,11691). edge(10845,11692). edge(10846,11693). edge(10846,11694). edge(10847,11695). edge(10847,11696). edge(10848,11697). edge(10848,11698). edge(10849,11699). edge(10849,11700). edge(10850,11701). edge(10850,11702). edge(10851,11703). edge(10851,11704). edge(10852,11705). edge(10852,11706). edge(10853,11707). edge(10853,11708). edge(10854,11709). edge(10854,11710). edge(10855,11711). edge(10855,11712). edge(10856,11713). edge(10856,11714). edge(10857,11715). edge(10857,11716). edge(10858,11717). edge(10858,11718). edge(10859,11719). edge(10859,11720). edge(10860,11721). edge(10860,11722). edge(10861,11723). edge(10861,11724). edge(10862,11725). edge(10862,11726). edge(10863,11727). edge(10863,11728). edge(10864,11729). edge(10864,11730). edge(10865,11731). edge(10865,11732). edge(10866,11733). edge(10866,11734). edge(10867,11735). edge(10867,11736). edge(10868,11737). edge(10868,11738). edge(10869,11739). edge(10869,11740). edge(10870,11741). edge(10870,11742). edge(10871,11743). edge(10871,11744). edge(10872,11745). edge(10872,11746). edge(10873,11747). edge(10873,11748). edge(10874,11749). edge(10874,11750). edge(10875,11751). edge(10875,11752). edge(10876,11753). edge(10876,11754). edge(10877,11755). edge(10877,11756). edge(10878,11757). edge(10878,11758). edge(10879,11759). edge(10879,11760). edge(10880,11761). edge(10880,11762). edge(10881,11763). edge(10881,11764). edge(10882,11765). edge(10882,11766). edge(10883,11767). edge(10883,11768). edge(10884,11769). edge(10884,11770). edge(10885,11771). edge(10885,11772). edge(10886,11773). edge(10886,11774). edge(10887,11775). edge(10887,11776). edge(10888,11777). edge(10888,11778). edge(10889,11779). edge(10889,11780). edge(10890,11781). edge(10890,11782). edge(10891,11783). edge(10891,11784). edge(10892,11785). edge(10892,11786). edge(10893,11787). edge(10893,11788). edge(10894,11789). edge(10894,11790). edge(10895,11791). edge(10895,11792). edge(10896,11793). edge(10896,11794). edge(10897,11795). edge(10897,11796). edge(10898,11797). edge(10898,11798). edge(10899,11799). edge(10899,11800). edge(10900,11801). edge(10900,11802). edge(10901,11803). edge(10901,11804). edge(10902,11805). edge(10902,11806). edge(10903,11807). edge(10903,11808). edge(10904,11809). edge(10904,11810). edge(10905,11811). edge(10905,11812). edge(10906,11813). edge(10906,11814). edge(10907,11815). edge(10907,11816). edge(10908,11817). edge(10908,11818). edge(10909,11819). edge(10909,11820). edge(10910,11821). edge(10910,11822). edge(10911,11823). edge(10911,11824). edge(10912,11825). edge(10912,11826). edge(10913,11827). edge(10913,11828). edge(10914,11829). edge(10914,11830). edge(10915,11831). edge(10915,11832). edge(10916,11833). edge(10916,11834). edge(10917,11835). edge(10917,11836). edge(10918,11837). edge(10918,11838). edge(10919,11839). edge(10919,11840). edge(10920,11841). edge(10920,11842). edge(10921,11843). edge(10921,11844). edge(10922,11845). edge(10922,11846). edge(10923,11847). edge(10923,11848). edge(10924,11849). edge(10924,11850). edge(10925,11851). edge(10925,11852). edge(10926,11853). edge(10926,11854). edge(10927,11855). edge(10927,11856). edge(10928,11857). edge(10928,11858). edge(10929,11859). edge(10929,11860). edge(10930,11861). edge(10930,11862). edge(10931,11863). edge(10931,11864). edge(10932,11865). edge(10932,11866). edge(10933,11867). edge(10933,11868). edge(10934,11869). edge(10934,11870). edge(10935,11871). edge(10935,11872). edge(10936,11873). edge(10936,11874). edge(10937,11875). edge(10937,11876). edge(10938,11877). edge(10938,11878). edge(10939,11879). edge(10939,11880). edge(10940,11881). edge(10940,11882). edge(10941,11883). edge(10941,11884). edge(10942,11885). edge(10942,11886). edge(10943,11887). edge(10943,11888). edge(10944,11889). edge(10944,11890). edge(10945,11891). edge(10945,11892). edge(10946,11893). edge(10946,11894). edge(10947,11895). edge(10947,11896). edge(10948,11897). edge(10948,11898). edge(10949,11899). edge(10949,11900). edge(10950,11901). edge(10950,11902). edge(10951,11903). edge(10951,11904). edge(10952,11905). edge(10952,11906). edge(10953,11907). edge(10953,11908). edge(10954,11909). edge(10954,11910). edge(10955,11911). edge(10955,11912). edge(10956,11913). edge(10956,11914). edge(10957,11915). edge(10957,11916). edge(10958,11917). edge(10958,11918). edge(10959,11919). edge(10959,11920). edge(10960,11921). edge(10960,11922). edge(10961,11923). edge(10961,11924). edge(10962,11925). edge(10962,11926). edge(10963,11927). edge(10963,11928). edge(10964,11929). edge(10964,11930). edge(10965,11931). edge(10965,11932). edge(10966,11933). edge(10966,11934). edge(10967,11935). edge(10967,11936). edge(10968,11937). edge(10968,11938). edge(10969,11939). edge(10969,11940). edge(10970,11941). edge(10970,11942). edge(10971,11943). edge(10971,11944). edge(10972,11945). edge(10972,11946). edge(10973,11947). edge(10973,11948). edge(10974,11949). edge(10974,11950). edge(10975,11951). edge(10975,11952). edge(10976,11953). edge(10976,11954). edge(10977,11955). edge(10977,11956). edge(10978,11957). edge(10978,11958). edge(10979,11959). edge(10979,11960). edge(10980,11961). edge(10980,11962). edge(10981,11963). edge(10981,11964). edge(10982,11965). edge(10982,11966). edge(10983,11967). edge(10983,11968). edge(10984,11969). edge(10984,11970). edge(10985,11971). edge(10985,11972). edge(10986,11973). edge(10986,11974). edge(10987,11975). edge(10987,11976). edge(10988,11977). edge(10988,11978). edge(10989,11979). edge(10989,11980). edge(10990,11981). edge(10990,11982). edge(10991,11983). edge(10991,11984). edge(10992,11985). edge(10992,11986). edge(10993,11987). edge(10993,11988). edge(10994,11989). edge(10994,11990). edge(10995,11991). edge(10995,11992). edge(10996,11993). edge(10996,11994). edge(10997,11995). edge(10997,11996). edge(10998,11997). edge(10998,11998). edge(10999,11999). edge(10999,12000). edge(11000,12001). edge(11000,12002). edge(11001,12003). edge(11001,12004). edge(11002,12005). edge(11002,12006). edge(11003,12007). edge(11003,12008). edge(11004,12009). edge(11004,12010). edge(11005,12011). edge(11005,12012). edge(11006,12013). edge(11006,12014). edge(11007,12015). edge(11007,12016). edge(11008,12017). edge(11008,12018). edge(11009,12019). edge(11009,12020). edge(11010,12021). edge(11010,12022). edge(11011,12023). edge(11011,12024). edge(11012,12025). edge(11012,12026). edge(11013,12027). edge(11013,12028). edge(11014,12029). edge(11014,12030). edge(11015,12031). edge(11015,12032). edge(11016,12033). edge(11016,12034). edge(11017,12035). edge(11017,12036). edge(11018,12037). edge(11018,12038). edge(11019,12039). edge(11019,12040). edge(11020,12041). edge(11020,12042). edge(11021,12043). edge(11021,12044). edge(11022,12045). edge(11022,12046). edge(11023,12047). edge(11023,12048). edge(11024,12049). edge(11024,12050). edge(11025,12051). edge(11025,12052). edge(11026,12053). edge(11026,12054). edge(11027,12055). edge(11027,12056). edge(11028,12057). edge(11028,12058). edge(11029,12059). edge(11029,12060). edge(11030,12061). edge(11030,12062). edge(11031,12063). edge(11031,12064). edge(11032,12065). edge(11032,12066). edge(11033,12067). edge(11033,12068). edge(11034,12069). edge(11034,12070). edge(11035,12071). edge(11035,12072). edge(11036,12073). edge(11036,12074). edge(11037,12075). edge(11037,12076). edge(11038,12077). edge(11038,12078). edge(11039,12079). edge(11039,12080). edge(11040,12081). edge(11040,12082). edge(11041,12083). edge(11041,12084). edge(11042,12085). edge(11042,12086). edge(11043,12087). edge(11043,12088). edge(11044,12089). edge(11044,12090). edge(11045,12091). edge(11045,12092). edge(11046,12093). edge(11046,12094). edge(11047,12095). edge(11047,12096). edge(11048,12097). edge(11048,12098). edge(11049,12099). edge(11049,12100). edge(11050,12101). edge(11050,12102). edge(11051,12103). edge(11051,12104). edge(11052,12105). edge(11052,12106). edge(11053,12107). edge(11053,12108). edge(11054,12109). edge(11054,12110). edge(11055,12111). edge(11055,12112). edge(11056,12113). edge(11056,12114). edge(11057,12115). edge(11057,12116). edge(11058,12117). edge(11058,12118). edge(11059,12119). edge(11059,12120). edge(11060,12121). edge(11060,12122). edge(11061,12123). edge(11061,12124). edge(11062,12125). edge(11062,12126). edge(11063,12127). edge(11063,12128). edge(11064,12129). edge(11064,12130). edge(11065,12131). edge(11065,12132). edge(11066,12133). edge(11066,12134). edge(11067,12135). edge(11067,12136). edge(11068,12137). edge(11068,12138). edge(11069,12139). edge(11069,12140). edge(11070,12141). edge(11070,12142). edge(11071,12143). edge(11071,12144). edge(11072,12145). edge(11072,12146). edge(11073,12147). edge(11073,12148). edge(11074,12149). edge(11074,12150). edge(11075,12151). edge(11075,12152). edge(11076,12153). edge(11076,12154). edge(11077,12155). edge(11077,12156). edge(11078,12157). edge(11078,12158). edge(11079,12159). edge(11079,12160). edge(11080,12161). edge(11080,12162). edge(11081,12163). edge(11081,12164). edge(11082,12165). edge(11082,12166). edge(11083,12167). edge(11083,12168). edge(11084,12169). edge(11084,12170). edge(11085,12171). edge(11085,12172). edge(11086,12173). edge(11086,12174). edge(11087,12175). edge(11087,12176). edge(11088,12177). edge(11088,12178). edge(11089,12179). edge(11089,12180). edge(11090,12181). edge(11090,12182). edge(11091,12183). edge(11091,12184). edge(11092,12185). edge(11092,12186). edge(11093,12187). edge(11093,12188). edge(11094,12189). edge(11094,12190). edge(11095,12191). edge(11095,12192). edge(11096,12193). edge(11096,12194). edge(11097,12195). edge(11097,12196). edge(11098,12197). edge(11098,12198). edge(11099,12199). edge(11099,12200). edge(11100,12201). edge(11100,12202). edge(11101,12203). edge(11101,12204). edge(11102,12205). edge(11102,12206). edge(11103,12207). edge(11103,12208). edge(11104,12209). edge(11104,12210). edge(11105,12211). edge(11105,12212). edge(11106,12213). edge(11106,12214). edge(11107,12215). edge(11107,12216). edge(11108,12217). edge(11108,12218). edge(11109,12219). edge(11109,12220). edge(11110,12221). edge(11110,12222). edge(11111,12223). edge(11111,12224). edge(11112,12225). edge(11112,12226). edge(11113,12227). edge(11113,12228). edge(11114,12229). edge(11114,12230). edge(11115,12231). edge(11115,12232). edge(11116,12233). edge(11116,12234). edge(11117,12235). edge(11117,12236). edge(11118,12237). edge(11118,12238). edge(11119,12239). edge(11119,12240). edge(11120,12241). edge(11120,12242). edge(11121,12243). edge(11121,12244). edge(11122,12245). edge(11122,12246). edge(11123,12247). edge(11123,12248). edge(11124,12249). edge(11124,12250). edge(11125,12251). edge(11125,12252). edge(11126,12253). edge(11126,12254). edge(11127,12255). edge(11127,12256). edge(11128,12257). edge(11128,12258). edge(11129,12259). edge(11129,12260). edge(11130,12261). edge(11130,12262). edge(11131,12263). edge(11131,12264). edge(11132,12265). edge(11132,12266). edge(11133,12267). edge(11133,12268). edge(11134,12269). edge(11134,12270). edge(11135,12271). edge(11135,12272). edge(11136,12273). edge(11136,12274). edge(11137,12275). edge(11137,12276). edge(11138,12277). edge(11138,12278). edge(11139,12279). edge(11139,12280). edge(11140,12281). edge(11140,12282). edge(11141,12283). edge(11141,12284). edge(11142,12285). edge(11142,12286). edge(11143,12287). edge(11143,12288). edge(11144,12289). edge(11144,12290). edge(11145,12291). edge(11145,12292). edge(11146,12293). edge(11146,12294). edge(11147,12295). edge(11147,12296). edge(11148,12297). edge(11148,12298). edge(11149,12299). edge(11149,12300). edge(11150,12301). edge(11150,12302). edge(11151,12303). edge(11151,12304). edge(11152,12305). edge(11152,12306). edge(11153,12307). edge(11153,12308). edge(11154,12309). edge(11154,12310). edge(11155,12311). edge(11155,12312). edge(11156,12313). edge(11156,12314). edge(11157,12315). edge(11157,12316). edge(11158,12317). edge(11158,12318). edge(11159,12319). edge(11159,12320). edge(11160,12321). edge(11160,12322). edge(11161,12323). edge(11161,12324). edge(11162,12325). edge(11162,12326). edge(11163,12327). edge(11163,12328). edge(11164,12329). edge(11164,12330). edge(11165,12331). edge(11165,12332). edge(11166,12333). edge(11166,12334). edge(11167,12335). edge(11167,12336). edge(11168,12337). edge(11168,12338). edge(11169,12339). edge(11169,12340). edge(11170,12341). edge(11170,12342). edge(11171,12343). edge(11171,12344). edge(11172,12345). edge(11172,12346). edge(11173,12347). edge(11173,12348). edge(11174,12349). edge(11174,12350). edge(11175,12351). edge(11175,12352). edge(11176,12353). edge(11176,12354). edge(11177,12355). edge(11177,12356). edge(11178,12357). edge(11178,12358). edge(11179,12359). edge(11179,12360). edge(11180,12361). edge(11180,12362). edge(11181,12363). edge(11181,12364). edge(11182,12365). edge(11182,12366). edge(11183,12367). edge(11183,12368). edge(11184,12369). edge(11184,12370). edge(11185,12371). edge(11185,12372). edge(11186,12373). edge(11186,12374). edge(11187,12375). edge(11187,12376). edge(11188,12377). edge(11188,12378). edge(11189,12379). edge(11189,12380). edge(11190,12381). edge(11190,12382). edge(11191,12383). edge(11191,12384). edge(11192,12385). edge(11192,12386). edge(11193,12387). edge(11193,12388). edge(11194,12389). edge(11194,12390). edge(11195,12391). edge(11195,12392). edge(11196,12393). edge(11196,12394). edge(11197,12395). edge(11197,12396). edge(11198,12397). edge(11198,12398). edge(11199,12399). edge(11199,12400). edge(11200,12401). edge(11200,12402). edge(11201,12403). edge(11201,12404). edge(11202,12405). edge(11202,12406). edge(11203,12407). edge(11203,12408). edge(11204,12409). edge(11204,12410). edge(11205,12411). edge(11205,12412). edge(11206,12413). edge(11206,12414). edge(11207,12415). edge(11207,12416). edge(11208,12417). edge(11208,12418). edge(11209,12419). edge(11209,12420). edge(11210,12421). edge(11210,12422). edge(11211,12423). edge(11211,12424). edge(11212,12425). edge(11212,12426). edge(11213,12427). edge(11213,12428). edge(11214,12429). edge(11214,12430). edge(11215,12431). edge(11215,12432). edge(11216,12433). edge(11216,12434). edge(11217,12435). edge(11217,12436). edge(11218,12437). edge(11218,12438). edge(11219,12439). edge(11219,12440). edge(11220,12441). edge(11220,12442). edge(11221,12443). edge(11221,12444). edge(11222,12445). edge(11222,12446). edge(11223,12447). edge(11223,12448). edge(11224,12449). edge(11224,12450). edge(11225,12451). edge(11225,12452). edge(11226,12453). edge(11226,12454). edge(11227,12455). edge(11227,12456). edge(11228,12457). edge(11228,12458). edge(11229,12459). edge(11229,12460). edge(11230,12461). edge(11230,12462). edge(11231,12463). edge(11231,12464). edge(11232,12465). edge(11232,12466). edge(11233,12467). edge(11233,12468). edge(11234,12469). edge(11234,12470). edge(11235,12471). edge(11235,12472). edge(11236,12473). edge(11236,12474). edge(11237,12475). edge(11237,12476). edge(11238,12477). edge(11238,12478). edge(11239,12479). edge(11239,12480). edge(11240,12481). edge(11240,12482). edge(11241,12483). edge(11241,12484). edge(11242,12485). edge(11242,12486). edge(11243,12487). edge(11243,12488). edge(11244,12489). edge(11244,12490). edge(11245,12491). edge(11245,12492). edge(11246,12493). edge(11246,12494). edge(11247,12495). edge(11247,12496). edge(11248,12497). edge(11248,12498). edge(11249,12499). edge(11249,12500). edge(11250,12501). edge(11250,12502). edge(11251,12503). edge(11251,12504). edge(11252,12505). edge(11252,12506). edge(11253,12507). edge(11253,12508). edge(11254,12509). edge(11254,12510). edge(11255,12511). edge(11255,12512). edge(11256,12513). edge(11256,12514). edge(11257,12515). edge(11257,12516). edge(11258,12517). edge(11258,12518). edge(11259,12519). edge(11259,12520). edge(11260,12521). edge(11260,12522). edge(11261,12523). edge(11261,12524). edge(11262,12525). edge(11262,12526). edge(11263,12527). edge(11263,12528). edge(11264,12529). edge(11264,12530). edge(11265,12531). edge(11265,12532). edge(11266,12533). edge(11266,12534). edge(11267,12535). edge(11267,12536). edge(11268,12537). edge(11268,12538). edge(11269,12539). edge(11269,12540). edge(11270,12541). edge(11270,12542). edge(11271,12543). edge(11271,12544). edge(11272,12545). edge(11272,12546). edge(11273,12547). edge(11273,12548). edge(11274,12549). edge(11274,12550). edge(11275,12551). edge(11275,12552). edge(11276,12553). edge(11276,12554). edge(11277,12555). edge(11277,12556). edge(11278,12557). edge(11278,12558). edge(11279,12559). edge(11279,12560). edge(11280,12561). edge(11280,12562). edge(11281,12563). edge(11281,12564). edge(11282,12565). edge(11282,12566). edge(11283,12567). edge(11283,12568). edge(11284,12569). edge(11284,12570). edge(11285,12571). edge(11285,12572). edge(11286,12573). edge(11286,12574). edge(11287,12575). edge(11287,12576). edge(11288,12577). edge(11288,12578). edge(11289,12579). edge(11289,12580). edge(11290,12581). edge(11290,12582). edge(11291,12583). edge(11291,12584). edge(11292,12585). edge(11292,12586). edge(11293,12587). edge(11293,12588). edge(11294,12589). edge(11294,12590). edge(11295,12591). edge(11295,12592). edge(11296,12593). edge(11296,12594). edge(11297,12595). edge(11297,12596). edge(11298,12597). edge(11298,12598). edge(11299,12599). edge(11299,12600). edge(11300,12601). edge(11300,12602). edge(11301,12603). edge(11301,12604). edge(11302,12605). edge(11302,12606). edge(11303,12607). edge(11303,12608). edge(11304,12609). edge(11304,12610). edge(11305,12611). edge(11305,12612). edge(11306,12613). edge(11306,12614). edge(11307,12615). edge(11307,12616). edge(11308,12617). edge(11308,12618). edge(11309,12619). edge(11309,12620). edge(11310,12621). edge(11310,12622). edge(11311,12623). edge(11311,12624). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)