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 AC_1650_544170_20_E

Name	AC_1650_544170_20_E
Classes	[Root]    Graphs (3030)    Generic (90)    ASP Contest 09 (Reachability) (29)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Submitter	Martin Gebser
Author	Giorgio Terracina
Description
Created	2009-04-12 19:55
Modified	2009-04-12 19:55
Languages	Facts
Language Features
Compatible Encodings	reachability_decision.gringo reachability_decision.bingo
Output Predicates	edge/2 query/2
Tags:	ASP Contest 09 (Martin Gebser) HUGE size (Martin Gebser)
Attributes
Content	query(10380,10189). edge(10131,10043). edge(10131,10052). edge(10131,10053). edge(10131,10056). edge(10131,10060). edge(10131,10070). edge(10131,10071). edge(10131,10075). edge(10131,10080). edge(10131,10085). edge(10131,10106). edge(10131,10109). edge(10131,10112). edge(10131,10117). edge(10131,10121). edge(10131,10122). edge(10131,10128). edge(10132,10008). edge(10132,10025). edge(10132,10026). edge(10132,10029). edge(10132,10033). edge(10132,10036). edge(10132,10037). edge(10132,10038). edge(10132,10041). edge(10132,10044). edge(10132,10046). edge(10132,10050). edge(10132,10062). edge(10132,10065). edge(10132,10068). edge(10132,10081). edge(10132,10085). edge(10132,10088). edge(10132,10092). edge(10132,10100). edge(10132,10102). edge(10132,10107). edge(10132,10108). edge(10132,10121). edge(10132,10128). edge(10132,10130). edge(10133,10004). edge(10133,10010). edge(10133,10021). edge(10133,10025). edge(10133,10027). edge(10133,10036). edge(10133,10040). edge(10133,10042). edge(10133,10047). edge(10133,10049). edge(10133,10053). edge(10133,10058). edge(10133,10060). edge(10133,10062). edge(10133,10067). edge(10133,10075). edge(10133,10081). edge(10133,10084). edge(10133,10098). edge(10133,10099). edge(10133,10100). edge(10133,10101). edge(10133,10105). edge(10133,10116). edge(10133,10117). edge(10133,10124). edge(10134,10002). edge(10134,10006). edge(10134,10009). edge(10134,10013). edge(10134,10014). edge(10134,10022). edge(10134,10027). edge(10134,10028). edge(10134,10045). edge(10134,10051). edge(10134,10053). edge(10134,10059). edge(10134,10061). edge(10134,10064). edge(10134,10068). edge(10134,10069). edge(10134,10090). edge(10134,10092). edge(10134,10102). edge(10134,10103). edge(10134,10104). edge(10134,10122). edge(10134,10129). edge(10134,10131). edge(10134,10132). edge(10135,10001). edge(10135,10008). edge(10135,10012). edge(10135,10014). edge(10135,10015). edge(10135,10016). edge(10135,10018). edge(10135,10019). edge(10135,10028). edge(10135,10029). edge(10135,10037). edge(10135,10039). edge(10135,10040). edge(10135,10046). edge(10135,10047). edge(10135,10051). edge(10135,10052). edge(10135,10056). edge(10135,10057). edge(10135,10059). edge(10135,10064). edge(10135,10067). edge(10135,10070). edge(10135,10078). edge(10135,10086). edge(10135,10096). edge(10135,10101). edge(10135,10105). edge(10135,10110). edge(10135,10112). edge(10135,10121). edge(10135,10126). edge(10135,10129). edge(10135,10130). edge(10135,10131). edge(10135,10132). edge(10136,10010). edge(10136,10011). edge(10136,10013). edge(10136,10015). edge(10136,10018). edge(10136,10019). edge(10136,10028). edge(10136,10034). edge(10136,10035). edge(10136,10037). edge(10136,10051). edge(10136,10053). edge(10136,10056). edge(10136,10059). edge(10136,10067). edge(10136,10070). edge(10136,10071). edge(10136,10072). edge(10136,10078). edge(10136,10080). edge(10136,10081). edge(10136,10101). edge(10136,10109). edge(10136,10118). edge(10136,10121). edge(10136,10122). edge(10136,10130). edge(10137,10000). edge(10137,10010). edge(10137,10014). edge(10137,10016). edge(10137,10017). edge(10137,10018). edge(10137,10021). edge(10137,10030). edge(10137,10039). edge(10137,10040). edge(10137,10062). edge(10137,10064). edge(10137,10066). edge(10137,10067). edge(10137,10069). edge(10137,10074). edge(10137,10078). edge(10137,10085). edge(10137,10088). edge(10137,10094). edge(10137,10100). edge(10137,10102). edge(10137,10107). edge(10137,10114). edge(10137,10130). edge(10137,10134). edge(10138,10000). edge(10138,10001). edge(10138,10002). edge(10138,10008). edge(10138,10011). edge(10138,10014). edge(10138,10019). edge(10138,10022). edge(10138,10024). edge(10138,10025). edge(10138,10037). edge(10138,10048). edge(10138,10049). edge(10138,10053). edge(10138,10055). edge(10138,10062). edge(10138,10070). edge(10138,10072). edge(10138,10075). edge(10138,10078). edge(10138,10084). edge(10138,10087). edge(10138,10093). edge(10138,10094). edge(10138,10097). edge(10138,10098). edge(10138,10099). edge(10138,10111). edge(10138,10116). edge(10138,10118). edge(10138,10120). edge(10138,10125). edge(10138,10128). edge(10138,10131). edge(10139,10001). edge(10139,10002). edge(10139,10003). edge(10139,10006). edge(10139,10018). edge(10139,10021). edge(10139,10022). edge(10139,10034). edge(10139,10043). edge(10139,10050). edge(10139,10051). edge(10139,10059). edge(10139,10072). edge(10139,10076). edge(10139,10077). edge(10139,10078). edge(10139,10083). edge(10139,10085). edge(10139,10091). edge(10139,10093). edge(10139,10094). edge(10139,10095). edge(10139,10105). edge(10139,10119). edge(10139,10121). edge(10139,10122). edge(10139,10129). edge(10139,10132). edge(10139,10133). edge(10140,10000). edge(10140,10001). edge(10140,10010). edge(10140,10011). edge(10140,10017). edge(10140,10019). edge(10140,10020). edge(10140,10033). edge(10140,10036). edge(10140,10037). edge(10140,10041). edge(10140,10042). edge(10140,10047). edge(10140,10049). edge(10140,10053). edge(10140,10055). edge(10140,10064). edge(10140,10071). edge(10140,10078). edge(10140,10079). edge(10140,10080). edge(10140,10087). edge(10140,10088). edge(10140,10090). edge(10140,10097). edge(10140,10101). edge(10140,10103). edge(10140,10106). edge(10140,10108). edge(10140,10112). edge(10140,10122). edge(10140,10124). edge(10140,10128). edge(10140,10132). edge(10140,10137). edge(10140,10138). edge(10141,10007). edge(10141,10021). edge(10141,10033). edge(10141,10034). edge(10141,10040). edge(10141,10042). edge(10141,10050). edge(10141,10051). edge(10141,10053). edge(10141,10055). edge(10141,10060). edge(10141,10063). edge(10141,10065). edge(10141,10079). edge(10141,10089). edge(10141,10092). edge(10141,10101). edge(10141,10114). edge(10141,10115). edge(10141,10117). edge(10141,10121). edge(10141,10125). edge(10141,10132). edge(10141,10135). edge(10141,10136). edge(10142,10005). edge(10142,10011). edge(10142,10017). edge(10142,10019). edge(10142,10023). edge(10142,10026). edge(10142,10027). edge(10142,10028). edge(10142,10041). edge(10142,10043). edge(10142,10050). edge(10142,10062). edge(10142,10066). edge(10142,10067). edge(10142,10071). edge(10142,10077). edge(10142,10084). edge(10142,10086). edge(10142,10090). edge(10142,10091). edge(10142,10092). edge(10142,10093). edge(10142,10103). edge(10142,10115). edge(10142,10117). edge(10142,10120). edge(10142,10128). edge(10142,10129). edge(10142,10135). edge(10142,10140). edge(10142,10141). edge(10143,10001). edge(10143,10002). edge(10143,10015). edge(10143,10018). edge(10143,10020). edge(10143,10023). edge(10143,10024). edge(10143,10028). edge(10143,10031). edge(10143,10044). edge(10143,10046). edge(10143,10049). edge(10143,10052). edge(10143,10054). edge(10143,10059). edge(10143,10064). edge(10143,10068). edge(10143,10075). edge(10143,10076). edge(10143,10081). edge(10143,10094). edge(10143,10100). edge(10143,10104). edge(10143,10106). edge(10143,10111). edge(10143,10112). edge(10143,10122). edge(10143,10123). edge(10143,10124). edge(10143,10128). edge(10143,10131). edge(10144,10000). edge(10144,10010). edge(10144,10015). edge(10144,10016). edge(10144,10021). edge(10144,10025). edge(10144,10038). edge(10144,10039). edge(10144,10041). edge(10144,10047). edge(10144,10048). edge(10144,10049). edge(10144,10050). edge(10144,10056). edge(10144,10060). edge(10144,10068). edge(10144,10071). edge(10144,10077). edge(10144,10079). edge(10144,10080). edge(10144,10083). edge(10144,10088). edge(10144,10105). edge(10144,10109). edge(10144,10115). edge(10144,10133). edge(10144,10137). edge(10144,10142). edge(10145,10001). edge(10145,10007). edge(10145,10011). edge(10145,10012). edge(10145,10023). edge(10145,10026). edge(10145,10030). edge(10145,10032). edge(10145,10035). edge(10145,10048). edge(10145,10051). edge(10145,10068). edge(10145,10078). edge(10145,10092). edge(10145,10098). edge(10145,10106). edge(10145,10108). edge(10145,10109). edge(10145,10113). edge(10145,10129). edge(10145,10131). edge(10145,10132). edge(10145,10135). edge(10146,10005). edge(10146,10016). edge(10146,10019). edge(10146,10034). edge(10146,10042). edge(10146,10049). edge(10146,10051). edge(10146,10052). edge(10146,10055). edge(10146,10057). edge(10146,10076). edge(10146,10079). edge(10146,10080). edge(10146,10084). edge(10146,10086). edge(10146,10101). edge(10146,10115). edge(10146,10123). edge(10146,10126). edge(10146,10134). edge(10146,10142). edge(10146,10145). edge(10147,10001). edge(10147,10010). edge(10147,10014). edge(10147,10029). edge(10147,10030). edge(10147,10032). edge(10147,10035). edge(10147,10040). edge(10147,10053). edge(10147,10058). edge(10147,10059). edge(10147,10060). edge(10147,10061). edge(10147,10067). edge(10147,10071). edge(10147,10077). edge(10147,10078). edge(10147,10107). edge(10147,10115). edge(10147,10119). edge(10147,10122). edge(10147,10125). edge(10147,10126). edge(10147,10128). edge(10147,10133). edge(10148,10004). edge(10148,10005). edge(10148,10006). edge(10148,10014). edge(10148,10017). edge(10148,10021). edge(10148,10030). edge(10148,10039). edge(10148,10046). edge(10148,10051). edge(10148,10052). edge(10148,10054). edge(10148,10058). edge(10148,10065). edge(10148,10073). edge(10148,10078). edge(10148,10091). edge(10148,10106). edge(10148,10111). edge(10148,10124). edge(10148,10126). edge(10148,10132). edge(10148,10144). edge(10148,10145). edge(10149,10008). edge(10149,10010). edge(10149,10014). edge(10149,10015). edge(10149,10022). edge(10149,10025). edge(10149,10026). edge(10149,10029). edge(10149,10032). edge(10149,10035). edge(10149,10040). edge(10149,10044). edge(10149,10050). edge(10149,10060). edge(10149,10065). edge(10149,10069). edge(10149,10075). edge(10149,10079). edge(10149,10083). edge(10149,10085). edge(10149,10089). edge(10149,10091). edge(10149,10094). edge(10149,10097). edge(10149,10098). edge(10149,10100). edge(10149,10102). edge(10149,10105). edge(10149,10108). edge(10149,10115). edge(10149,10121). edge(10149,10128). edge(10150,10000). edge(10150,10008). edge(10150,10010). edge(10150,10024). edge(10150,10031). edge(10150,10041). edge(10150,10047). edge(10150,10055). edge(10150,10056). edge(10150,10057). edge(10150,10070). edge(10150,10072). edge(10150,10073). edge(10150,10078). edge(10150,10081). edge(10150,10082). edge(10150,10083). edge(10150,10084). edge(10150,10089). edge(10150,10091). edge(10150,10099). edge(10150,10106). edge(10150,10119). edge(10150,10127). edge(10150,10144). edge(10150,10147). edge(10151,10000). edge(10151,10002). edge(10151,10008). edge(10151,10025). edge(10151,10027). edge(10151,10031). edge(10151,10037). edge(10151,10042). edge(10151,10050). edge(10151,10057). edge(10151,10061). edge(10151,10064). edge(10151,10065). edge(10151,10077). edge(10151,10081). edge(10151,10085). edge(10151,10097). edge(10151,10101). edge(10151,10105). edge(10151,10109). edge(10151,10111). edge(10151,10113). edge(10151,10114). edge(10151,10117). edge(10151,10121). edge(10151,10122). edge(10151,10132). edge(10151,10137). edge(10151,10138). edge(10151,10139). edge(10151,10142). edge(10151,10148). edge(10152,10003). edge(10152,10006). edge(10152,10007). edge(10152,10008). edge(10152,10012). edge(10152,10015). edge(10152,10016). edge(10152,10021). edge(10152,10035). edge(10152,10036). edge(10152,10040). edge(10152,10041). edge(10152,10047). edge(10152,10055). edge(10152,10070). edge(10152,10074). edge(10152,10076). edge(10152,10082). edge(10152,10084). edge(10152,10099). edge(10152,10114). edge(10152,10130). edge(10152,10134). edge(10152,10145). edge(10152,10146). edge(10152,10147). edge(10152,10149). edge(10152,10150). edge(10153,10018). edge(10153,10024). edge(10153,10028). edge(10153,10029). edge(10153,10031). edge(10153,10035). edge(10153,10036). edge(10153,10044). edge(10153,10049). edge(10153,10052). edge(10153,10055). edge(10153,10078). edge(10153,10079). edge(10153,10082). edge(10153,10084). edge(10153,10085). edge(10153,10087). edge(10153,10088). edge(10153,10090). edge(10153,10099). edge(10153,10103). edge(10153,10114). edge(10153,10117). edge(10153,10121). edge(10153,10126). edge(10153,10127). edge(10153,10136). edge(10153,10142). edge(10153,10147). edge(10153,10149). edge(10153,10150). edge(10154,10001). edge(10154,10008). edge(10154,10011). edge(10154,10020). edge(10154,10021). edge(10154,10026). edge(10154,10028). edge(10154,10029). edge(10154,10031). edge(10154,10035). edge(10154,10037). edge(10154,10047). edge(10154,10048). edge(10154,10050). edge(10154,10055). edge(10154,10062). edge(10154,10077). edge(10154,10082). edge(10154,10087). edge(10154,10092). edge(10154,10099). edge(10154,10115). edge(10154,10119). edge(10154,10121). edge(10154,10131). edge(10154,10143). edge(10154,10145). edge(10154,10146). edge(10154,10151). edge(10155,10007). edge(10155,10010). edge(10155,10018). edge(10155,10020). edge(10155,10021). edge(10155,10026). edge(10155,10031). edge(10155,10032). edge(10155,10034). edge(10155,10040). edge(10155,10041). edge(10155,10043). edge(10155,10044). edge(10155,10051). edge(10155,10052). edge(10155,10053). edge(10155,10055). edge(10155,10057). edge(10155,10060). edge(10155,10063). edge(10155,10066). edge(10155,10079). edge(10155,10082). edge(10155,10092). edge(10155,10104). edge(10155,10105). edge(10155,10115). edge(10155,10118). edge(10155,10123). edge(10155,10137). edge(10155,10143). edge(10155,10154). edge(10156,10000). edge(10156,10009). edge(10156,10011). edge(10156,10018). edge(10156,10024). edge(10156,10041). edge(10156,10044). edge(10156,10050). edge(10156,10051). edge(10156,10061). edge(10156,10063). edge(10156,10068). edge(10156,10074). edge(10156,10077). edge(10156,10079). edge(10156,10080). edge(10156,10082). edge(10156,10087). edge(10156,10090). edge(10156,10098). edge(10156,10115). edge(10156,10116). edge(10156,10122). edge(10156,10124). edge(10156,10127). edge(10156,10130). edge(10156,10133). edge(10156,10135). edge(10156,10139). edge(10156,10140). edge(10156,10144). edge(10156,10155). edge(10157,10000). edge(10157,10007). edge(10157,10022). edge(10157,10042). edge(10157,10043). edge(10157,10045). edge(10157,10051). edge(10157,10055). edge(10157,10066). edge(10157,10070). edge(10157,10071). edge(10157,10074). edge(10157,10084). edge(10157,10095). edge(10157,10098). edge(10157,10102). edge(10157,10104). edge(10157,10107). edge(10157,10110). edge(10157,10111). edge(10157,10115). edge(10157,10116). edge(10157,10125). edge(10157,10129). edge(10157,10130). edge(10157,10132). edge(10157,10133). edge(10157,10144). edge(10157,10146). edge(10157,10153). edge(10158,10000). edge(10158,10003). edge(10158,10011). edge(10158,10012). edge(10158,10024). edge(10158,10025). edge(10158,10026). edge(10158,10029). edge(10158,10033). edge(10158,10037). edge(10158,10047). edge(10158,10050). edge(10158,10051). edge(10158,10053). edge(10158,10058). edge(10158,10070). edge(10158,10083). edge(10158,10088). edge(10158,10092). edge(10158,10101). edge(10158,10104). edge(10158,10111). edge(10158,10119). edge(10158,10120). edge(10158,10129). edge(10158,10143). edge(10158,10147). edge(10158,10148). edge(10158,10150). edge(10159,10000). edge(10159,10003). edge(10159,10007). edge(10159,10009). edge(10159,10013). edge(10159,10022). edge(10159,10024). edge(10159,10026). edge(10159,10034). edge(10159,10037). edge(10159,10047). edge(10159,10048). edge(10159,10050). edge(10159,10051). edge(10159,10052). edge(10159,10056). edge(10159,10057). edge(10159,10058). edge(10159,10059). edge(10159,10065). edge(10159,10067). edge(10159,10068). edge(10159,10075). edge(10159,10076). edge(10159,10077). edge(10159,10078). edge(10159,10079). edge(10159,10082). edge(10159,10083). edge(10159,10091). edge(10159,10097). edge(10159,10108). edge(10159,10119). edge(10159,10121). edge(10159,10129). edge(10159,10130). edge(10159,10136). edge(10159,10138). edge(10159,10139). edge(10159,10151). edge(10160,10004). edge(10160,10005). edge(10160,10006). edge(10160,10012). edge(10160,10013). edge(10160,10015). edge(10160,10039). edge(10160,10047). edge(10160,10050). edge(10160,10059). edge(10160,10061). edge(10160,10062). edge(10160,10063). edge(10160,10064). edge(10160,10065). edge(10160,10094). edge(10160,10095). edge(10160,10103). edge(10160,10108). edge(10160,10114). edge(10160,10121). edge(10160,10128). edge(10160,10133). edge(10160,10141). edge(10160,10148). edge(10160,10149). edge(10160,10152). edge(10160,10154). edge(10161,10009). edge(10161,10012). edge(10161,10015). edge(10161,10029). edge(10161,10037). edge(10161,10046). edge(10161,10048). edge(10161,10053). edge(10161,10056). edge(10161,10062). edge(10161,10068). edge(10161,10072). edge(10161,10080). edge(10161,10108). edge(10161,10119). edge(10161,10125). edge(10161,10133). edge(10161,10140). edge(10161,10144). edge(10161,10146). edge(10161,10147). edge(10161,10152). edge(10162,10002). edge(10162,10008). edge(10162,10015). edge(10162,10016). edge(10162,10017). edge(10162,10022). edge(10162,10023). edge(10162,10025). edge(10162,10030). edge(10162,10031). edge(10162,10039). edge(10162,10052). edge(10162,10056). edge(10162,10057). edge(10162,10074). edge(10162,10075). edge(10162,10076). edge(10162,10079). edge(10162,10084). edge(10162,10088). edge(10162,10096). edge(10162,10098). edge(10162,10103). edge(10162,10110). edge(10162,10113). edge(10162,10116). edge(10162,10118). edge(10162,10122). edge(10162,10123). edge(10162,10136). edge(10162,10138). edge(10162,10140). edge(10162,10141). edge(10162,10149). edge(10162,10153). edge(10162,10157). edge(10162,10159). edge(10163,10005). edge(10163,10006). edge(10163,10015). edge(10163,10022). edge(10163,10026). edge(10163,10037). edge(10163,10041). edge(10163,10044). edge(10163,10045). edge(10163,10046). edge(10163,10050). edge(10163,10059). edge(10163,10063). edge(10163,10069). edge(10163,10070). edge(10163,10071). edge(10163,10073). edge(10163,10074). edge(10163,10082). edge(10163,10084). edge(10163,10100). edge(10163,10101). edge(10163,10111). edge(10163,10115). edge(10163,10128). edge(10163,10131). edge(10163,10143). edge(10163,10155). edge(10163,10157). edge(10163,10159). edge(10164,10001). edge(10164,10008). edge(10164,10021). edge(10164,10022). edge(10164,10023). edge(10164,10026). edge(10164,10027). edge(10164,10029). edge(10164,10031). edge(10164,10035). edge(10164,10038). edge(10164,10039). edge(10164,10043). edge(10164,10045). edge(10164,10058). edge(10164,10059). edge(10164,10076). edge(10164,10078). edge(10164,10082). edge(10164,10084). edge(10164,10095). edge(10164,10098). edge(10164,10100). edge(10164,10102). edge(10164,10104). edge(10164,10112). edge(10164,10114). edge(10164,10132). edge(10164,10134). edge(10164,10139). edge(10164,10141). edge(10164,10143). edge(10164,10149). edge(10164,10154). edge(10164,10155). edge(10164,10161). edge(10164,10162). edge(10164,10163). edge(10165,10009). edge(10165,10011). edge(10165,10015). edge(10165,10017). edge(10165,10018). edge(10165,10026). edge(10165,10032). edge(10165,10034). edge(10165,10053). edge(10165,10056). edge(10165,10061). edge(10165,10069). edge(10165,10070). edge(10165,10093). edge(10165,10100). edge(10165,10105). edge(10165,10108). edge(10165,10111). edge(10165,10114). edge(10165,10116). edge(10165,10117). edge(10165,10122). edge(10165,10123). edge(10165,10126). edge(10165,10138). edge(10165,10140). edge(10165,10143). edge(10165,10146). edge(10165,10147). edge(10165,10154). edge(10165,10156). edge(10165,10161). edge(10165,10164). edge(10166,10005). edge(10166,10006). edge(10166,10007). edge(10166,10009). edge(10166,10010). edge(10166,10014). edge(10166,10016). edge(10166,10018). edge(10166,10019). edge(10166,10022). edge(10166,10024). edge(10166,10025). edge(10166,10029). edge(10166,10032). edge(10166,10039). edge(10166,10045). edge(10166,10060). edge(10166,10062). edge(10166,10066). edge(10166,10067). edge(10166,10071). edge(10166,10078). edge(10166,10086). edge(10166,10094). edge(10166,10109). edge(10166,10115). edge(10166,10119). edge(10166,10123). edge(10166,10124). edge(10166,10130). edge(10166,10134). edge(10166,10140). edge(10166,10141). edge(10166,10144). edge(10166,10150). edge(10166,10159). edge(10166,10160). edge(10166,10162). edge(10167,10000). edge(10167,10002). edge(10167,10003). edge(10167,10006). edge(10167,10010). edge(10167,10023). edge(10167,10036). edge(10167,10041). edge(10167,10042). edge(10167,10043). edge(10167,10052). edge(10167,10053). edge(10167,10055). edge(10167,10056). edge(10167,10069). edge(10167,10072). edge(10167,10085). edge(10167,10089). edge(10167,10092). edge(10167,10095). edge(10167,10100). edge(10167,10114). edge(10167,10122). edge(10167,10124). edge(10167,10126). edge(10167,10147). edge(10167,10153). edge(10167,10154). edge(10167,10161). edge(10167,10164). edge(10168,10003). edge(10168,10008). edge(10168,10009). edge(10168,10013). edge(10168,10015). edge(10168,10017). edge(10168,10019). edge(10168,10027). edge(10168,10041). edge(10168,10051). edge(10168,10052). edge(10168,10054). edge(10168,10057). edge(10168,10063). edge(10168,10065). edge(10168,10070). edge(10168,10072). edge(10168,10076). edge(10168,10084). edge(10168,10086). edge(10168,10089). edge(10168,10097). edge(10168,10102). edge(10168,10110). edge(10168,10125). edge(10168,10129). edge(10168,10133). edge(10168,10134). edge(10168,10135). edge(10168,10140). edge(10004,10003). edge(10005,10000). edge(10005,10002). edge(10006,10002). edge(10007,10001). edge(10008,10004). edge(10008,10006). edge(10009,10000). edge(10009,10001). edge(10009,10002). edge(10010,10007). edge(10011,10003). edge(10012,10001). edge(10012,10005). edge(10012,10011). edge(10013,10000). edge(10013,10003). edge(10013,10004). edge(10014,10000). edge(10014,10002). edge(10014,10010). edge(10014,10011). edge(10014,10012). edge(10014,10013). edge(10015,10007). edge(10015,10010). edge(10016,10006). edge(10016,10009). edge(10016,10010). edge(10016,10014). edge(10017,10002). edge(10017,10015). edge(10018,10001). edge(10018,10002). edge(10018,10004). edge(10018,10006). edge(10018,10016). edge(10019,10010). edge(10019,10015). edge(10020,10001). edge(10020,10003). edge(10020,10011). edge(10020,10014). edge(10020,10015). edge(10021,10002). edge(10021,10019). edge(10021,10020). edge(10022,10001). edge(10022,10006). edge(10022,10011). edge(10023,10002). edge(10023,10003). edge(10023,10012). edge(10023,10013). edge(10023,10015). edge(10024,10002). edge(10025,10005). edge(10025,10014). edge(10025,10018). edge(10026,10004). edge(10026,10008). edge(10026,10016). edge(10026,10023). edge(10027,10007). edge(10027,10016). edge(10027,10017). edge(10027,10018). edge(10027,10023). edge(10028,10000). edge(10028,10007). edge(10028,10012). edge(10028,10015). edge(10028,10016). edge(10028,10020). edge(10028,10021). edge(10029,10000). edge(10029,10002). edge(10029,10003). edge(10029,10004). edge(10029,10009). edge(10029,10012). edge(10029,10020). edge(10029,10021). edge(10029,10024). edge(10029,10025). edge(10030,10003). edge(10030,10010). edge(10030,10015). edge(10030,10023). edge(10030,10029). edge(10031,10003). edge(10031,10015). edge(10031,10016). edge(10031,10017). edge(10031,10019). edge(10031,10024). edge(10031,10026). edge(10031,10029). edge(10031,10030). edge(10032,10000). edge(10032,10001). edge(10032,10002). edge(10032,10013). edge(10032,10017). edge(10032,10018). edge(10032,10021). edge(10032,10027). edge(10033,10003). edge(10033,10016). edge(10033,10020). edge(10033,10021). edge(10033,10027). edge(10033,10032). edge(10034,10004). edge(10034,10010). edge(10034,10011). edge(10034,10016). edge(10034,10027). edge(10034,10031). edge(10034,10032). edge(10035,10012). edge(10035,10013). edge(10035,10021). edge(10035,10022). edge(10036,10005). edge(10036,10010). edge(10036,10011). edge(10036,10013). edge(10036,10026). edge(10036,10031). edge(10037,10001). edge(10037,10006). edge(10037,10009). edge(10037,10011). edge(10037,10020). edge(10037,10022). edge(10037,10023). edge(10037,10030). edge(10037,10033). edge(10037,10035). edge(10038,10005). edge(10038,10011). edge(10038,10013). edge(10038,10014). edge(10038,10020). edge(10038,10026). edge(10038,10029). edge(10038,10030). edge(10039,10007). edge(10039,10013). edge(10039,10020). edge(10039,10022). edge(10039,10035). edge(10039,10036). edge(10039,10038). edge(10040,10009). edge(10040,10012). edge(10040,10023). edge(10040,10028). edge(10040,10029). edge(10040,10030). edge(10040,10035). edge(10041,10005). edge(10041,10006). edge(10041,10008). edge(10041,10013). edge(10041,10014). edge(10041,10027). edge(10041,10035). edge(10042,10003). edge(10042,10004). edge(10042,10009). edge(10042,10010). edge(10042,10011). edge(10042,10018). edge(10042,10021). edge(10042,10023). edge(10042,10024). edge(10042,10026). edge(10042,10035). edge(10042,10038). edge(10043,10006). edge(10043,10008). edge(10043,10009). edge(10043,10013). edge(10043,10014). edge(10043,10022). edge(10043,10024). edge(10043,10038). edge(10044,10004). edge(10044,10005). edge(10044,10012). edge(10044,10017). edge(10044,10023). edge(10044,10028). edge(10044,10033). edge(10044,10034). edge(10044,10038). edge(10044,10040). edge(10045,10002). edge(10045,10005). edge(10045,10011). edge(10045,10015). edge(10045,10017). edge(10045,10018). edge(10045,10020). edge(10045,10030). edge(10045,10034). edge(10045,10036). edge(10045,10044). edge(10046,10004). edge(10046,10006). edge(10046,10009). edge(10046,10010). edge(10046,10011). edge(10046,10013). edge(10046,10018). edge(10046,10025). edge(10046,10039). edge(10046,10040). edge(10046,10041). edge(10047,10003). edge(10047,10004). edge(10047,10009). edge(10047,10010). edge(10047,10012). edge(10047,10017). edge(10047,10024). edge(10047,10026). edge(10047,10033). edge(10047,10035). edge(10047,10045). edge(10047,10046). edge(10048,10009). edge(10048,10010). edge(10048,10015). edge(10048,10016). edge(10048,10019). edge(10048,10024). edge(10048,10027). edge(10048,10031). edge(10048,10041). edge(10048,10044). edge(10049,10002). edge(10049,10005). edge(10049,10008). edge(10049,10020). edge(10049,10025). edge(10049,10031). edge(10049,10041). edge(10049,10046). edge(10049,10047). edge(10050,10001). edge(10050,10004). edge(10050,10015). edge(10050,10019). edge(10050,10027). edge(10050,10028). edge(10050,10031). edge(10050,10036). edge(10050,10048). edge(10051,10000). edge(10051,10004). edge(10051,10014). edge(10051,10022). edge(10051,10032). edge(10051,10033). edge(10051,10037). edge(10051,10047). edge(10052,10000). edge(10052,10009). edge(10052,10010). edge(10052,10011). edge(10052,10023). edge(10052,10044). edge(10053,10043). edge(10053,10046). edge(10053,10049). edge(10054,10000). edge(10054,10003). edge(10054,10004). edge(10054,10005). edge(10054,10008). edge(10054,10009). edge(10054,10011). edge(10054,10012). edge(10054,10021). edge(10054,10022). edge(10054,10030). edge(10054,10034). edge(10054,10041). edge(10055,10004). edge(10055,10010). edge(10055,10011). edge(10055,10027). edge(10055,10028). edge(10055,10032). edge(10055,10040). edge(10055,10046). edge(10055,10054). edge(10056,10001). edge(10056,10006). edge(10056,10007). edge(10056,10020). edge(10056,10022). edge(10056,10033). edge(10056,10036). edge(10056,10038). edge(10056,10050). edge(10056,10051). edge(10056,10053). edge(10056,10054). edge(10057,10001). edge(10057,10008). edge(10057,10013). edge(10057,10015). edge(10057,10018). edge(10057,10019). edge(10057,10022). edge(10057,10026). edge(10057,10029). edge(10057,10030). edge(10057,10037). edge(10057,10041). edge(10057,10044). edge(10057,10050). edge(10057,10052). edge(10058,10001). edge(10058,10028). edge(10058,10041). edge(10058,10045). edge(10058,10047). edge(10058,10051). edge(10059,10002). edge(10059,10013). edge(10059,10027). edge(10059,10029). edge(10059,10033). edge(10059,10034). edge(10059,10041). edge(10059,10049). edge(10059,10051). edge(10059,10053). edge(10059,10054). edge(10060,10002). edge(10060,10004). edge(10060,10008). edge(10060,10009). edge(10060,10013). edge(10060,10014). edge(10060,10015). edge(10060,10018). edge(10060,10022). edge(10060,10029). edge(10060,10032). edge(10060,10036). edge(10060,10037). edge(10060,10053). edge(10060,10057). edge(10061,10008). edge(10061,10014). edge(10061,10015). edge(10061,10024). edge(10061,10026). edge(10061,10034). edge(10061,10035). edge(10061,10037). edge(10061,10039). edge(10061,10041). edge(10061,10043). edge(10061,10044). edge(10061,10045). edge(10061,10047). edge(10061,10059). edge(10062,10005). edge(10062,10013). edge(10062,10014). edge(10062,10021). edge(10062,10023). edge(10062,10028). edge(10062,10035). edge(10062,10036). edge(10062,10039). edge(10062,10045). edge(10062,10049). edge(10062,10050). edge(10062,10059). edge(10063,10000). edge(10063,10007). edge(10063,10015). edge(10063,10020). edge(10063,10036). edge(10063,10039). edge(10063,10041). edge(10063,10045). edge(10063,10052). edge(10063,10059). edge(10064,10002). edge(10064,10006). edge(10064,10009). edge(10064,10010). edge(10064,10011). edge(10064,10031). edge(10064,10035). edge(10064,10038). edge(10064,10039). edge(10064,10041). edge(10064,10042). edge(10064,10052). edge(10064,10055). edge(10064,10058). edge(10064,10061). edge(10065,10023). edge(10065,10029). edge(10065,10036). edge(10065,10039). edge(10065,10040). edge(10066,10000). edge(10066,10001). edge(10066,10004). edge(10066,10006). edge(10066,10015). edge(10066,10024). edge(10066,10025). edge(10066,10030). edge(10066,10035). edge(10066,10037). edge(10066,10053). edge(10066,10058). edge(10066,10060). edge(10066,10064). edge(10067,10001). edge(10067,10003). edge(10067,10012). edge(10067,10017). edge(10067,10020). edge(10067,10036). edge(10067,10051). edge(10067,10053). edge(10067,10055). edge(10067,10057). edge(10067,10058). edge(10067,10063). edge(10068,10006). edge(10068,10016). edge(10068,10029). edge(10068,10037). edge(10068,10048). edge(10068,10049). edge(10068,10052). edge(10068,10055). edge(10068,10067). edge(10069,10004). edge(10069,10008). edge(10069,10029). edge(10069,10032). edge(10069,10033). edge(10069,10039). edge(10069,10041). edge(10069,10046). edge(10069,10056). edge(10069,10058). edge(10069,10060). edge(10069,10062). edge(10069,10063). edge(10069,10064). edge(10069,10067). edge(10069,10068). edge(10070,10002). edge(10070,10006). edge(10070,10012). edge(10070,10024). edge(10070,10026). edge(10070,10042). edge(10070,10046). edge(10070,10064). edge(10071,10008). edge(10071,10014). edge(10071,10015). edge(10071,10023). edge(10071,10026). edge(10071,10036). edge(10071,10038). edge(10071,10043). edge(10071,10044). edge(10071,10049). edge(10071,10056). edge(10071,10057). edge(10071,10070). edge(10072,10012). edge(10072,10021). edge(10072,10022). edge(10072,10023). edge(10072,10026). edge(10072,10027). edge(10072,10028). edge(10072,10029). edge(10072,10032). edge(10072,10035). edge(10072,10041). edge(10072,10046). edge(10072,10050). edge(10072,10057). edge(10072,10067). edge(10073,10011). edge(10073,10014). edge(10073,10020). edge(10073,10034). edge(10073,10038). edge(10073,10041). edge(10073,10049). edge(10073,10050). edge(10073,10053). edge(10073,10068). edge(10073,10071). edge(10074,10000). edge(10074,10005). edge(10074,10010). edge(10074,10017). edge(10074,10019). edge(10074,10029). edge(10074,10032). edge(10074,10044). edge(10074,10047). edge(10074,10053). edge(10074,10064). edge(10074,10065). edge(10074,10073). edge(10075,10000). edge(10075,10006). edge(10075,10021). edge(10075,10022). edge(10075,10027). edge(10075,10030). edge(10075,10034). edge(10075,10039). edge(10075,10040). edge(10075,10055). edge(10075,10065). edge(10075,10069). edge(10076,10011). edge(10076,10014). edge(10076,10021). edge(10076,10027). edge(10076,10032). edge(10076,10039). edge(10076,10040). edge(10076,10047). edge(10076,10061). edge(10076,10062). edge(10076,10065). edge(10076,10070). edge(10076,10073). edge(10077,10035). edge(10077,10037). edge(10077,10039). edge(10077,10047). edge(10077,10050). edge(10077,10051). edge(10077,10053). edge(10077,10056). edge(10077,10059). edge(10077,10072). edge(10078,10010). edge(10078,10012). edge(10078,10019). edge(10078,10020). edge(10078,10028). edge(10078,10032). edge(10078,10037). edge(10078,10041). edge(10078,10042). edge(10078,10045). edge(10078,10050). edge(10078,10052). edge(10078,10054). edge(10078,10060). edge(10078,10074). edge(10079,10020). edge(10079,10022). edge(10079,10023). edge(10079,10025). edge(10079,10040). edge(10079,10045). edge(10079,10052). edge(10079,10053). edge(10079,10054). edge(10079,10055). edge(10079,10056). edge(10079,10057). edge(10079,10064). edge(10079,10068). edge(10079,10070). edge(10079,10073). edge(10080,10003). edge(10080,10007). edge(10080,10011). edge(10080,10012). edge(10080,10016). edge(10080,10017). edge(10080,10019). edge(10080,10024). edge(10080,10030). edge(10080,10032). edge(10080,10038). edge(10080,10039). edge(10080,10040). edge(10080,10044). edge(10080,10046). edge(10080,10049). edge(10080,10060). edge(10080,10061). edge(10080,10064). edge(10080,10067). edge(10080,10077). edge(10081,10000). edge(10081,10007). edge(10081,10022). edge(10081,10023). edge(10081,10026). edge(10081,10027). edge(10081,10030). edge(10081,10043). edge(10081,10044). edge(10081,10049). edge(10081,10052). edge(10081,10071). edge(10081,10072). edge(10081,10073). edge(10081,10074). edge(10081,10075). edge(10082,10003). edge(10082,10005). edge(10082,10016). edge(10082,10018). edge(10082,10022). edge(10082,10027). edge(10082,10028). edge(10082,10032). edge(10082,10033). edge(10082,10035). edge(10082,10039). edge(10082,10043). edge(10082,10072). edge(10082,10076). edge(10083,10004). edge(10083,10007). edge(10083,10008). edge(10083,10011). edge(10083,10022). edge(10083,10026). edge(10083,10031). edge(10083,10036). edge(10083,10037). edge(10083,10046). edge(10083,10047). edge(10083,10053). edge(10083,10055). edge(10083,10056). edge(10083,10057). edge(10083,10064). edge(10083,10065). edge(10083,10066). edge(10083,10067). edge(10083,10073). edge(10083,10077). edge(10084,10005). edge(10084,10008). edge(10084,10012). edge(10084,10016). edge(10084,10018). edge(10084,10020). edge(10084,10025). edge(10084,10032). edge(10084,10034). edge(10084,10035). edge(10084,10053). edge(10084,10055). edge(10084,10062). edge(10084,10064). edge(10084,10065). edge(10084,10068). edge(10084,10070). edge(10084,10071). edge(10084,10073). edge(10084,10074). edge(10085,10003). edge(10085,10005). edge(10085,10010). edge(10085,10014). edge(10085,10018). edge(10085,10021). edge(10085,10023). edge(10085,10026). edge(10085,10036). edge(10085,10041). edge(10085,10043). edge(10085,10046). edge(10085,10048). edge(10085,10054). edge(10085,10055). edge(10085,10057). edge(10085,10059). edge(10085,10060). edge(10085,10061). edge(10085,10062). edge(10085,10071). edge(10085,10074). edge(10085,10075). edge(10086,10003). edge(10086,10007). edge(10086,10013). edge(10086,10034). edge(10086,10036). edge(10086,10039). edge(10086,10046). edge(10086,10048). edge(10086,10058). edge(10086,10062). edge(10086,10067). edge(10086,10068). edge(10086,10076). edge(10086,10078). edge(10086,10080). edge(10086,10083). edge(10087,10002). edge(10087,10008). edge(10087,10013). edge(10087,10018). edge(10087,10022). edge(10087,10029). edge(10087,10031). edge(10087,10047). edge(10087,10048). edge(10087,10055). edge(10087,10067). edge(10087,10077). edge(10087,10080). edge(10087,10083). edge(10088,10002). edge(10088,10014). edge(10088,10017). edge(10088,10027). edge(10088,10029). edge(10088,10030). edge(10088,10031). edge(10088,10037). edge(10088,10042). edge(10088,10047). edge(10088,10050). edge(10088,10065). edge(10088,10067). edge(10088,10077). edge(10088,10078). edge(10088,10081). edge(10088,10086). edge(10089,10000). edge(10089,10004). edge(10089,10005). edge(10089,10014). edge(10089,10017). edge(10089,10019). edge(10089,10021). edge(10089,10025). edge(10089,10027). edge(10089,10028). edge(10089,10033). edge(10089,10036). edge(10089,10038). edge(10089,10039). edge(10089,10043). edge(10089,10052). edge(10089,10054). edge(10089,10057). edge(10089,10062). edge(10089,10064). edge(10089,10066). edge(10089,10069). edge(10089,10073). edge(10089,10078). edge(10089,10079). edge(10089,10083). edge(10090,10001). edge(10090,10008). edge(10090,10009). edge(10090,10014). edge(10090,10015). edge(10090,10023). edge(10090,10025). edge(10090,10031). edge(10090,10039). edge(10090,10040). edge(10090,10044). edge(10090,10047). edge(10090,10048). edge(10090,10062). edge(10090,10063). edge(10090,10064). edge(10090,10069). edge(10090,10071). edge(10090,10078). edge(10090,10084). edge(10090,10087). edge(10090,10088). edge(10090,10089). edge(10091,10006). edge(10091,10007). edge(10091,10008). edge(10091,10010). edge(10091,10016). edge(10091,10017). edge(10091,10019). edge(10091,10023). edge(10091,10035). edge(10091,10036). edge(10091,10054). edge(10091,10056). edge(10091,10065). edge(10091,10076). edge(10091,10077). edge(10091,10084). edge(10091,10088). edge(10092,10002). edge(10092,10004). edge(10092,10023). edge(10092,10028). edge(10092,10032). edge(10092,10033). edge(10092,10037). edge(10092,10043). edge(10092,10055). edge(10092,10056). edge(10092,10068). edge(10092,10087). edge(10093,10006). edge(10093,10012). edge(10093,10013). edge(10093,10014). edge(10093,10023). edge(10093,10024). edge(10093,10026). edge(10093,10029). edge(10093,10031). edge(10093,10032). edge(10093,10034). edge(10093,10037). edge(10093,10045). edge(10093,10046). edge(10093,10057). edge(10093,10072). edge(10093,10075). edge(10093,10077). edge(10093,10081). edge(10093,10082). edge(10093,10084). edge(10093,10087). edge(10093,10088). edge(10093,10090). edge(10093,10091). edge(10094,10012). edge(10094,10015). edge(10094,10031). edge(10094,10037). edge(10094,10056). edge(10094,10057). edge(10094,10058). edge(10094,10060). edge(10094,10063). edge(10094,10077). edge(10094,10080). edge(10094,10085). edge(10094,10092). edge(10095,10016). edge(10095,10020). edge(10095,10025). edge(10095,10033). edge(10095,10038). edge(10095,10048). edge(10095,10055). edge(10095,10063). edge(10095,10065). edge(10095,10076). edge(10095,10078). edge(10095,10090). edge(10095,10094). edge(10096,10003). edge(10096,10012). edge(10096,10016). edge(10096,10018). edge(10096,10022). edge(10096,10028). edge(10096,10032). edge(10096,10033). edge(10096,10037). edge(10096,10039). edge(10096,10046). edge(10096,10054). edge(10096,10058). edge(10096,10059). edge(10096,10061). edge(10096,10069). edge(10096,10070). edge(10096,10086). edge(10097,10003). edge(10097,10006). edge(10097,10009). edge(10097,10013). edge(10097,10016). edge(10097,10025). edge(10097,10041). edge(10097,10046). edge(10097,10048). edge(10097,10056). edge(10097,10063). edge(10097,10067). edge(10097,10071). edge(10097,10082). edge(10097,10084). edge(10097,10085). edge(10097,10088). edge(10097,10096). edge(10098,10001). edge(10098,10004). edge(10098,10005). edge(10098,10007). edge(10098,10019). edge(10098,10020). edge(10098,10021). edge(10098,10022). edge(10098,10023). edge(10098,10025). edge(10098,10026). edge(10098,10036). edge(10098,10049). edge(10098,10051). edge(10098,10052). edge(10098,10062). edge(10098,10070). edge(10098,10075). edge(10098,10085). edge(10098,10086). edge(10098,10088). edge(10098,10097). edge(10099,10001). edge(10099,10006). edge(10099,10014). edge(10099,10020). edge(10099,10023). edge(10099,10028). edge(10099,10030). edge(10099,10037). edge(10099,10049). edge(10099,10053). edge(10099,10054). edge(10099,10056). edge(10099,10061). edge(10099,10062). edge(10099,10066). edge(10099,10067). edge(10099,10072). edge(10099,10082). edge(10099,10083). edge(10099,10092). edge(10099,10095). edge(10100,10000). edge(10100,10004). edge(10100,10006). edge(10100,10018). edge(10100,10019). edge(10100,10020). edge(10100,10028). edge(10100,10031). edge(10100,10034). edge(10100,10037). edge(10100,10039). edge(10100,10044). edge(10100,10049). edge(10100,10058). edge(10100,10060). edge(10100,10067). edge(10100,10079). edge(10100,10083). edge(10100,10085). edge(10100,10086). edge(10100,10088). edge(10100,10089). edge(10100,10090). edge(10100,10092). edge(10100,10093). edge(10100,10096). edge(10101,10006). edge(10101,10013). edge(10101,10015). edge(10101,10016). edge(10101,10029). edge(10101,10042). edge(10101,10043). edge(10101,10052). edge(10101,10062). edge(10101,10067). edge(10101,10075). edge(10101,10076). edge(10101,10077). edge(10101,10079). edge(10101,10084). edge(10101,10097). edge(10102,10002). edge(10102,10005). edge(10102,10022). edge(10102,10024). edge(10102,10031). edge(10102,10034). edge(10102,10035). edge(10102,10039). edge(10102,10042). edge(10102,10049). edge(10102,10050). edge(10102,10055). edge(10102,10061). edge(10102,10070). edge(10102,10071). edge(10102,10076). edge(10102,10081). edge(10102,10086). edge(10102,10093). edge(10102,10095). edge(10103,10000). edge(10103,10006). edge(10103,10017). edge(10103,10022). edge(10103,10025). edge(10103,10027). edge(10103,10029). edge(10103,10031). edge(10103,10033). edge(10103,10043). edge(10103,10044). edge(10103,10046). edge(10103,10068). edge(10103,10070). edge(10103,10078). edge(10103,10091). edge(10103,10092). edge(10104,10001). edge(10104,10003). edge(10104,10004). edge(10104,10008). edge(10104,10011). edge(10104,10012). edge(10104,10026). edge(10104,10028). edge(10104,10032). edge(10104,10037). edge(10104,10040). edge(10104,10045). edge(10104,10047). edge(10104,10065). edge(10104,10067). edge(10104,10069). edge(10104,10079). edge(10104,10080). edge(10104,10101). edge(10104,10102). edge(10105,10003). edge(10105,10005). edge(10105,10015). edge(10105,10016). edge(10105,10017). edge(10105,10018). edge(10105,10020). edge(10105,10025). edge(10105,10030). edge(10105,10031). edge(10105,10035). edge(10105,10040). edge(10105,10050). edge(10105,10067). edge(10105,10068). edge(10105,10075). edge(10105,10076). edge(10105,10077). edge(10105,10081). edge(10105,10084). edge(10105,10088). edge(10105,10090). edge(10105,10091). edge(10105,10094). edge(10105,10099). edge(10105,10103). edge(10105,10104). edge(10106,10005). edge(10106,10007). edge(10106,10008). edge(10106,10011). edge(10106,10019). edge(10106,10022). edge(10106,10025). edge(10106,10026). edge(10106,10027). edge(10106,10028). edge(10106,10033). edge(10106,10042). edge(10106,10044). edge(10106,10047). edge(10106,10057). edge(10106,10058). edge(10106,10074). edge(10106,10076). edge(10106,10077). edge(10106,10078). edge(10106,10079). edge(10106,10083). edge(10106,10084). edge(10106,10087). edge(10106,10098). edge(10107,10000). edge(10107,10001). edge(10107,10012). edge(10107,10018). edge(10107,10021). edge(10107,10026). edge(10107,10029). edge(10107,10036). edge(10107,10048). edge(10107,10051). edge(10107,10056). edge(10107,10068). edge(10107,10070). edge(10107,10076). edge(10107,10084). edge(10107,10085). edge(10107,10086). edge(10107,10088). edge(10107,10092). edge(10107,10100). edge(10107,10105). edge(10108,10002). edge(10108,10014). edge(10108,10015). edge(10108,10018). edge(10108,10021). edge(10108,10022). edge(10108,10029). edge(10108,10031). edge(10108,10033). edge(10108,10036). edge(10108,10044). edge(10108,10045). edge(10108,10046). edge(10108,10050). edge(10108,10055). edge(10108,10069). edge(10108,10071). edge(10108,10076). edge(10108,10082). edge(10108,10084). edge(10108,10088). edge(10108,10092). edge(10108,10097). edge(10108,10100). edge(10108,10102). edge(10108,10107). edge(10109,10002). edge(10109,10007). edge(10109,10009). edge(10109,10010). edge(10109,10013). edge(10109,10014). edge(10109,10016). edge(10109,10018). edge(10109,10020). edge(10109,10032). edge(10109,10033). edge(10109,10042). edge(10109,10052). edge(10109,10053). edge(10109,10058). edge(10109,10079). edge(10109,10080). edge(10109,10083). edge(10109,10087). edge(10109,10099). edge(10109,10102). edge(10109,10106). edge(10110,10000). edge(10110,10001). edge(10110,10005). edge(10110,10018). edge(10110,10045). edge(10110,10055). edge(10110,10057). edge(10110,10071). edge(10110,10081). edge(10110,10086). edge(10110,10094). edge(10111,10002). edge(10111,10015). edge(10111,10016). edge(10111,10031). edge(10111,10037). edge(10111,10038). edge(10111,10045). edge(10111,10046). edge(10111,10049). edge(10111,10054). edge(10111,10055). edge(10111,10058). edge(10111,10070). edge(10111,10080). edge(10111,10087). edge(10111,10091). edge(10111,10092). edge(10111,10095). edge(10111,10106). edge(10111,10108). edge(10111,10110). edge(10112,10005). edge(10112,10008). edge(10112,10009). edge(10112,10011). edge(10112,10014). edge(10112,10019). edge(10112,10020). edge(10112,10021). edge(10112,10023). edge(10112,10028). edge(10112,10040). edge(10112,10041). edge(10112,10046). edge(10112,10051). edge(10112,10052). edge(10112,10054). edge(10112,10066). edge(10112,10075). edge(10112,10085). edge(10112,10090). edge(10112,10106). edge(10113,10004). edge(10113,10005). edge(10113,10011). edge(10113,10012). edge(10113,10014). edge(10113,10021). edge(10113,10025). edge(10113,10031). edge(10113,10046). edge(10113,10051). edge(10113,10052). edge(10113,10059). edge(10113,10074). edge(10113,10081). edge(10113,10082). edge(10113,10103). edge(10113,10108). edge(10113,10111). edge(10114,10000). edge(10114,10001). edge(10114,10012). edge(10114,10017). edge(10114,10025). edge(10114,10027). edge(10114,10053). edge(10114,10054). edge(10114,10058). edge(10114,10076). edge(10114,10086). edge(10114,10088). edge(10114,10097). edge(10114,10099). edge(10114,10100). edge(10114,10106). edge(10115,10006). edge(10115,10016). edge(10115,10018). edge(10115,10020). edge(10115,10025). edge(10115,10039). edge(10115,10040). edge(10115,10046). edge(10115,10055). edge(10115,10061). edge(10115,10066). edge(10115,10071). edge(10115,10073). edge(10115,10083). edge(10115,10087). edge(10115,10088). edge(10115,10092). edge(10115,10094). edge(10115,10098). edge(10115,10101). edge(10115,10107). edge(10115,10114). edge(10116,10001). edge(10116,10004). edge(10116,10005). edge(10116,10012). edge(10116,10017). edge(10116,10019). edge(10116,10021). edge(10116,10024). edge(10116,10035). edge(10116,10036). edge(10116,10042). edge(10116,10046). edge(10116,10056). edge(10116,10065). edge(10116,10066). edge(10116,10070). edge(10116,10076). edge(10116,10078). edge(10116,10088). edge(10116,10089). edge(10116,10093). edge(10116,10097). edge(10116,10100). edge(10116,10107). edge(10116,10110). edge(10117,10001). edge(10117,10002). edge(10117,10004). edge(10117,10013). edge(10117,10016). edge(10117,10019). edge(10117,10025). edge(10117,10032). edge(10117,10037). edge(10117,10039). edge(10117,10053). edge(10117,10064). edge(10117,10066). edge(10117,10068). edge(10117,10080). edge(10117,10081). edge(10117,10082). edge(10117,10084). edge(10117,10087). edge(10117,10092). edge(10117,10109). edge(10117,10110). edge(10117,10112). edge(10117,10114). edge(10118,10001). edge(10118,10005). edge(10118,10017). edge(10118,10022). edge(10118,10029). edge(10118,10032). edge(10118,10057). edge(10118,10064). edge(10118,10070). edge(10118,10072). edge(10118,10076). edge(10118,10077). edge(10118,10078). edge(10118,10081). edge(10118,10089). edge(10118,10090). edge(10118,10093). edge(10118,10100). edge(10118,10104). edge(10118,10111). edge(10118,10116). edge(10119,10002). edge(10119,10003). edge(10119,10005). edge(10119,10008). edge(10119,10011). edge(10119,10019). edge(10119,10029). edge(10119,10032). edge(10119,10040). edge(10119,10049). edge(10119,10052). edge(10119,10056). edge(10119,10067). edge(10119,10070). edge(10119,10071). edge(10119,10073). edge(10119,10075). edge(10119,10091). edge(10119,10092). edge(10119,10096). edge(10119,10097). edge(10119,10102). edge(10119,10112). edge(10119,10114). edge(10120,10000). edge(10120,10005). edge(10120,10011). edge(10120,10015). edge(10120,10017). edge(10120,10027). edge(10120,10037). edge(10120,10052). edge(10120,10057). edge(10120,10058). edge(10120,10061). edge(10120,10067). edge(10120,10071). edge(10120,10079). edge(10120,10080). edge(10120,10083). edge(10120,10091). edge(10120,10098). edge(10120,10102). edge(10120,10103). edge(10120,10106). edge(10120,10114). edge(10121,10002). edge(10121,10007). edge(10121,10012). edge(10121,10021). edge(10121,10023). edge(10121,10029). edge(10121,10033). edge(10121,10036). edge(10121,10040). edge(10121,10054). edge(10121,10055). edge(10121,10062). edge(10121,10077). edge(10121,10083). edge(10121,10096). edge(10121,10108). edge(10121,10109). edge(10121,10113). edge(10122,10001). edge(10122,10002). edge(10122,10007). edge(10122,10017). edge(10122,10025). edge(10122,10035). edge(10122,10037). edge(10122,10041). edge(10122,10045). edge(10122,10046). edge(10122,10052). edge(10122,10056). edge(10122,10057). edge(10122,10064). edge(10122,10067). edge(10122,10072). edge(10122,10073). edge(10122,10075). edge(10122,10081). edge(10122,10098). edge(10122,10101). edge(10122,10105). edge(10122,10108). edge(10122,10113). edge(10122,10119). edge(10123,10010). edge(10123,10011). edge(10123,10017). edge(10123,10018). edge(10123,10021). edge(10123,10022). edge(10123,10024). edge(10123,10034). edge(10123,10038). edge(10123,10053). edge(10123,10055). edge(10123,10059). edge(10123,10062). edge(10123,10070). edge(10123,10072). edge(10123,10073). edge(10123,10086). edge(10123,10088). edge(10123,10093). edge(10123,10096). edge(10123,10103). edge(10123,10105). edge(10123,10109). edge(10123,10116). edge(10123,10117). edge(10124,10020). edge(10124,10027). edge(10124,10031). edge(10124,10032). edge(10124,10039). edge(10124,10041). edge(10124,10043). edge(10124,10045). edge(10124,10046). edge(10124,10047). edge(10124,10052). edge(10124,10056). edge(10124,10059). edge(10124,10061). edge(10124,10071). edge(10124,10077). edge(10124,10082). edge(10124,10083). edge(10124,10084). edge(10124,10088). edge(10124,10089). edge(10124,10096). edge(10124,10098). edge(10124,10113). edge(10124,10115). edge(10124,10122). edge(10125,10005). edge(10125,10010). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)