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 tf_sig_bnum.lp

Name	tf_sig_bnum.lp
Classes	[Root]    Graphs (3030)    Influence Graphs (2553)    Escherichia coli (2003)      Exponential-Stationary Growth Shift (1001)      12 Percent (200)      15 Percent (200)      3 Percent (200)      6 Percent (200)      9 Percent (200)      Heatshock (1001)      12 Percent (200)      15 Percent (200)      3 Percent (200)      6 Percent (200)      9 Percent (200)
Submitter	Martin Gebser
Author	Carito Guziolowski and Sven Thiele
Description
Created	2010-02-23 20:25
Modified	2010-02-23 20:25
Languages	Facts
Language Features
Compatible Encodings	input.gringo repair_core.gringo repair_config.gringo repair_cardinality.gringo repair_subset.gringo
Output Predicates	edge/2 obs_elabel/3 vertex/1
Tags:	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
Attributes
Content	edge(b0020,b0019). edge(b0020,b0020). edge(b0020,b1021). edge(b0020,b1022). edge(b0020,b1023). edge(b0020,b1024). edge(b0020,b1482). edge(b0034,b0035). edge(b0034,b0036). edge(b0034,b0037). edge(b0034,b0038). edge(b0034,b0039). edge(b0034,b0040). edge(b0034,b0041). edge(b0034,b0042). edge(b0034,b0043). edge(b0034,b0044). edge(b0064,b0061). edge(b0064,b0062). edge(b0064,b0063). edge(b0064,b0064). edge(b0064,b0396). edge(b0064,b1900). edge(b0064,b1901). edge(b0064,b2841). edge(b0064,b4460). edge(b0069,b0066). edge(b0069,b0067). edge(b0069,b0068). edge(b0069,b0069). edge(b0069,b0070). edge(b0069,b2379). edge(b0069,b4577). edge(b0076,b0071). edge(b0076,b0072). edge(b0076,b0073). edge(b0076,b0074). edge(b0076,b0075). edge(b0076,b0076). edge(b0076,b3721). edge(b0076,b3722). edge(b0076,b3723). edge(b0076,b4133). edge(b0076,b4365). edge(b0076,b4366). edge(b0080,b0118). edge(b0080,b0315). edge(b0080,b0733). edge(b0080,b0734). edge(b0080,b1136). edge(b0080,b1241). edge(b0080,b1276). edge(b0080,b1676). edge(b0080,b1702). edge(b0080,b1779). edge(b0080,b1850). edge(b0080,b1851). edge(b0080,b2167). edge(b0080,b2168). edge(b0080,b2169). edge(b0080,b2388). edge(b0080,b2415). edge(b0080,b2416). edge(b0080,b2417). edge(b0080,b2712). edge(b0080,b2779). edge(b0080,b2925). edge(b0080,b2926). edge(b0080,b2927). edge(b0080,b3365). edge(b0080,b3366). edge(b0080,b3367). edge(b0080,b3368). edge(b0080,b3403). edge(b0080,b3599). edge(b0080,b3600). edge(b0080,b3601). edge(b0080,b3916). edge(b0080,b4014). edge(b0080,b4015). edge(b0080,b4016). edge(b0113,b0113). edge(b0113,b0114). edge(b0113,b0115). edge(b0113,b0116). edge(b0113,b0154). edge(b0113,b0428). edge(b0113,b0429). edge(b0113,b0430). edge(b0113,b0431). edge(b0113,b0432). edge(b0113,b0460). edge(b0113,b0461). edge(b0113,b1109). edge(b0113,b2579). edge(b0113,b4287). edge(b0113,b4288). edge(b0113,b4289). edge(b0113,b4290). edge(b0113,b4291). edge(b0162,b0162). edge(b0162,b2787). edge(b0162,b2788). edge(b0162,b2789). edge(b0162,b3123). edge(b0162,b3124). edge(b0162,b3125). edge(b0162,b3126). edge(b0162,b3127). edge(b0162,b3128). edge(b0313,b0311). edge(b0313,b0312). edge(b0313,b0313). edge(b0313,b0314). edge(b0330,b0330). edge(b0330,b0331). edge(b0330,b0333). edge(b0330,b0334). edge(b0330,b0335). edge(b0338,b0338). edge(b0338,b0339). edge(b0338,b0340). edge(b0338,b0341). edge(b0345,b0342). edge(b0345,b0343). edge(b0345,b0344). edge(b0346,b0347). edge(b0346,b0348). edge(b0346,b0349). edge(b0346,b0350). edge(b0346,b0351). edge(b0346,b0352). edge(b0399,b0241). edge(b0399,b0383). edge(b0399,b0384). edge(b0399,b0399). edge(b0399,b0400). edge(b0399,b1020). edge(b0399,b1597). edge(b0399,b1850). edge(b0399,b1982). edge(b0399,b2916). edge(b0399,b2987). edge(b0399,b3449). edge(b0399,b3450). edge(b0399,b3451). edge(b0399,b3452). edge(b0399,b3453). edge(b0399,b3615). edge(b0399,b3724). edge(b0399,b3725). edge(b0399,b3726). edge(b0399,b3727). edge(b0399,b3728). edge(b0399,b4030). edge(b0399,b4092). edge(b0399,b4093). edge(b0399,b4094). edge(b0399,b4095). edge(b0399,b4096). edge(b0399,b4097). edge(b0399,b4098). edge(b0399,b4099). edge(b0399,b4100). edge(b0399,b4101). edge(b0399,b4102). edge(b0399,b4104). edge(b0399,b4105). edge(b0399,b4106). edge(b0413,b2234). edge(b0413,b2235). edge(b0413,b2673). edge(b0413,b2674). edge(b0413,b2675). edge(b0413,b2676). edge(b0413,b4237). edge(b0413,b4238). edge(b0435,b0839). edge(b0435,b4150). edge(b0440,"HU"). edge(b0464,b0462). edge(b0464,b0463). edge(b0464,b0464). edge(b0487,b0123). edge(b0487,b0484). edge(b0487,b0781). edge(b0487,b0782). edge(b0487,b0783). edge(b0487,b0784). edge(b0487,b0785). edge(b0504,b0515). edge(b0504,b0516). edge(b0504,b0517). edge(b0506,b0504). edge(b0506,b0505). edge(b0506,b0507). edge(b0506,b0508). edge(b0506,b0509). edge(b0506,b0510). edge(b0506,b0511). edge(b0506,b0512). edge(b0506,b0513). edge(b0506,b0514). edge(b0564,b0972). edge(b0564,b0973). edge(b0564,b0974). edge(b0564,b0975). edge(b0564,b0976). edge(b0564,b0977). edge(b0564,b0978). edge(b0564,b0979). edge(b0564,b0980). edge(b0564,b4592). edge(b0566,b0781). edge(b0566,b0782). edge(b0566,b0783). edge(b0566,b0784). edge(b0566,b0785). edge(b0566,b0929). edge(b0566,b2215). edge(b0571,b0570). edge(b0571,b0571). edge(b0571,b0572). edge(b0571,b0573). edge(b0571,b0574). edge(b0571,b0575). edge(b0620,b0564). edge(b0620,b0613). edge(b0620,b0614). edge(b0620,b0615). edge(b0620,b0616). edge(b0620,b0617). edge(b0620,b0618). edge(b0676,b0675). edge(b0676,b0676). edge(b0676,b0677). edge(b0676,b0678). edge(b0676,b0679). edge(b0676,b1733). edge(b0676,b1734). edge(b0676,b1735). edge(b0676,b1736). edge(b0676,b1737). edge(b0676,b1738). edge(b0676,b1817). edge(b0676,b1818). edge(b0676,b1819). edge(b0676,b3729). edge(b0676,b3730). edge(b0676,b4310). edge(b0676,b4311). edge(b0676,b4312). edge(b0683,b0150). edge(b0683,b0151). edge(b0683,b0152). edge(b0683,b0153). edge(b0683,b0428). edge(b0683,b0429). edge(b0683,b0430). edge(b0683,b0431). edge(b0683,b0432). edge(b0683,b0583). edge(b0683,b0584). edge(b0683,b0585). edge(b0683,b0586). edge(b0683,b0587). edge(b0683,b0588). edge(b0683,b0589). edge(b0683,b0590). edge(b0683,b0591). edge(b0683,b0592). edge(b0683,b0593). edge(b0683,b0594). edge(b0683,b0595). edge(b0683,b0596). edge(b0683,b0597). edge(b0683,b0683). edge(b0683,b0721). edge(b0683,b0722). edge(b0683,b0723). edge(b0683,b0724). edge(b0683,b0726). edge(b0683,b0727). edge(b0683,b0728). edge(b0683,b0729). edge(b0683,b0755). edge(b0683,b0805). edge(b0683,b0929). edge(b0683,b1102). edge(b0683,b1252). edge(b0683,b1546). edge(b0683,b1547). edge(b0683,b1548). edge(b0683,b1656). edge(b0683,b1658). edge(b0683,b1679). edge(b0683,b1680). edge(b0683,b1681). edge(b0683,b1682). edge(b0683,b1683). edge(b0683,b1684). edge(b0683,b1891). edge(b0683,b1892). edge(b0683,b1973). edge(b0683,b2105). edge(b0683,b2106). edge(b0683,b2155). edge(b0683,b2392). edge(b0683,b2552). edge(b0683,b2671). edge(b0683,b2673). edge(b0683,b2674). edge(b0683,b2675). edge(b0683,b2676). edge(b0683,b3005). edge(b0683,b3006). edge(b0683,b3408). edge(b0683,b3409). edge(b0683,b3441). edge(b0683,b3908). edge(b0683,b3938). edge(b0683,b4019). edge(b0683,b4122). edge(b0683,b4287). edge(b0683,b4288). edge(b0683,b4289). edge(b0683,b4290). edge(b0683,b4291). edge(b0683,b4292). edge(b0683,b4293). edge(b0683,b4367). edge(b0683,b4451). edge(b0683,b4511). edge(b0694,b0696). edge(b0694,b0697). edge(b0694,b0698). edge(b0694,b4513). edge(b0730,b0730). edge(b0730,b0731). edge(b0730,b0732). edge(b0761,b0763). edge(b0761,b0764). edge(b0761,b0765). edge(b0761,b0781). edge(b0761,b0782). edge(b0761,b0783). edge(b0761,b0784). edge(b0761,b0785). edge(b0761,b0894). edge(b0761,b0895). edge(b0761,b0896). edge(b0761,b1221). edge(b0761,b1222). edge(b0761,b1243). edge(b0761,b1244). edge(b0761,b1245). edge(b0761,b1246). edge(b0761,b1247). edge(b0761,b2194). edge(b0761,b2195). edge(b0761,b2196). edge(b0761,b2197). edge(b0761,b2198). edge(b0761,b2199). edge(b0761,b2200). edge(b0761,b2201). edge(b0761,b2202). edge(b0761,b2203). edge(b0761,b2204). edge(b0761,b2205). edge(b0761,b2206). edge(b0761,b2207). edge(b0761,b2208). edge(b0761,b2717). edge(b0761,b2718). edge(b0761,b2719). edge(b0761,b2720). edge(b0761,b2721). edge(b0761,b2722). edge(b0761,b2723). edge(b0761,b2724). edge(b0761,b2725). edge(b0761,b4381). edge(b0761,b4382). edge(b0761,b4383). edge(b0761,b4384). edge(b0817,b2392). edge(b0840,b0411). edge(b0840,b2964). edge(b0840,b4381). edge(b0840,b4382). edge(b0840,b4383). edge(b0840,b4384). edge(b0889,b0077). edge(b0889,b0078). edge(b0889,b0201). edge(b0889,b0202). edge(b0889,b0203). edge(b0889,b0204). edge(b0889,b0205). edge(b0889,b0889). edge(b0889,b0907). edge(b0889,b0908). edge(b0889,b0929). edge(b0889,b1189). edge(b0889,b1190). edge(b0889,b1243). edge(b0889,b1244). edge(b0889,b1245). edge(b0889,b1246). edge(b0889,b1247). edge(b0889,b1482). edge(b0889,b1814). edge(b0889,b2163). edge(b0889,b2215). edge(b0889,b2588). edge(b0889,b2589). edge(b0889,b2590). edge(b0889,b2591). edge(b0889,b2659). edge(b0889,b2660). edge(b0889,b2661). edge(b0889,b2662). edge(b0889,b2663). edge(b0889,b2669). edge(b0889,b2903). edge(b0889,b2904). edge(b0889,b2905). edge(b0889,b2913). edge(b0889,b3212). edge(b0889,b3213). edge(b0889,b3214). edge(b0889,b3272). edge(b0889,b3273). edge(b0889,b3274). edge(b0889,b3275). edge(b0889,b3276). edge(b0889,b3277). edge(b0889,b3278). edge(b0889,b3418). edge(b0889,b3454). edge(b0889,b3455). edge(b0889,b3456). edge(b0889,b3457). edge(b0889,b3458). edge(b0889,b3460). edge(b0889,b3508). edge(b0889,b3509). edge(b0889,b3510). edge(b0889,b3616). edge(b0889,b3617). edge(b0889,b3756). edge(b0889,b3757). edge(b0889,b3758). edge(b0889,b3759). edge(b0889,b3766). edge(b0889,b3769). edge(b0889,b3770). edge(b0889,b3771). edge(b0889,b3772). edge(b0889,b3851). edge(b0889,b3852). edge(b0889,b3853). edge(b0889,b3854). edge(b0889,b3855). edge(b0889,b3968). edge(b0889,b3969). edge(b0889,b3970). edge(b0889,b3971). edge(b0889,b4007). edge(b0889,b4008). edge(b0889,b4009). edge(b0889,b4010). edge(b0889,b4129). edge(b0889,b4187). edge(b0889,b4313). edge(b0889,b4314). edge(b0889,b4315). edge(b0889,b4316). edge(b0889,b4317). edge(b0889,b4318). edge(b0889,b4319). edge(b0889,b4320). edge(b0889,b4376). edge(b0889,b4439). edge(b0912,"IHF"). edge(b0995,b0995). edge(b0995,b0996). edge(b0995,b0997). edge(b0995,b0998). edge(b0995,b3508). edge(b0995,b3509). edge(b0995,b3510). edge(b0995,b3516). edge(b0995,b3517). edge(b0995,b3707). edge(b0995,b3708). edge(b0995,b3709). edge(b1013,b0032). edge(b1013,b0033). edge(b1013,b1006). edge(b1013,b1007). edge(b1013,b1008). edge(b1013,b1009). edge(b1013,b1010). edge(b1013,b1011). edge(b1013,b1012). edge(b1013,b1013). edge(b1013,b1285). edge(b1013,b3515). edge(b1013,b3516). edge(b1014,b1014). edge(b1040,b0237). edge(b1040,b0382). edge(b1040,b0385). edge(b1040,b1037). edge(b1040,b1038). edge(b1040,b1039). edge(b1040,b1040). edge(b1040,b1041). edge(b1040,b1042). edge(b1040,b1043). edge(b1130,b0154). edge(b1130,b0462). edge(b1130,b0463). edge(b1130,b0557). edge(b1130,b0622). edge(b1130,b0677). edge(b1130,b0841). edge(b1130,b1006). edge(b1130,b1007). edge(b1130,b1008). edge(b1130,b1009). edge(b1130,b1010). edge(b1130,b1011). edge(b1130,b1012). edge(b1130,b1129). edge(b1130,b1130). edge(b1130,b1608). edge(b1130,b1609). edge(b1130,b1641). edge(b1130,b1826). edge(b1130,b2344). edge(b1130,b3207). edge(b1130,b3227). edge(b1130,b3359). edge(b1130,b3571). edge(b1130,b3939). edge(b1130,b3940). edge(b1130,b4005). edge(b1130,b4006). edge(b1130,b4241). edge(b1130,b4242). edge(b1187,b0221). edge(b1187,b0954). edge(b1187,b1805). edge(b1187,b2323). edge(b1187,b2341). edge(b1187,b2342). edge(b1187,b2344). edge(b1187,b3495). edge(b1187,b3845). edge(b1187,b3846). edge(b1187,b4018). edge(b1201,b1198). edge(b1201,b1199). edge(b1201,b1200). edge(b1201,b1201). edge(b1221,b0034). edge(b1221,b0826). edge(b1221,b0827). edge(b1221,b0872). edge(b1221,b0873). edge(b1221,b0886). edge(b1221,b0887). edge(b1221,b0894). edge(b1221,b0895). edge(b1221,b0896). edge(b1221,b0903). edge(b1221,b0904). edge(b1221,b0972). edge(b1221,b0973). edge(b1221,b0974). edge(b1221,b0975). edge(b1221,b0976). edge(b1221,b0977). edge(b1221,b0996). edge(b1221,b0997). edge(b1221,b0998). edge(b1221,b1223). edge(b1221,b1224). edge(b1221,b1225). edge(b1221,b1226). edge(b1221,b1227). edge(b1221,b1241). edge(b1221,b1474). edge(b1221,b1475). edge(b1221,b1476). edge(b1221,b1669). edge(b1221,b1670). edge(b1221,b1671). edge(b1221,b1672). edge(b1221,b1673). edge(b1221,b1674). edge(b1221,b1796). edge(b1221,b1797). edge(b1221,b2194). edge(b1221,b2195). edge(b1221,b2196). edge(b1221,b2197). edge(b1221,b2198). edge(b1221,b2199). edge(b1221,b2200). edge(b1221,b2201). edge(b1221,b2202). edge(b1221,b2203). edge(b1221,b2204). edge(b1221,b2205). edge(b1221,b2206). edge(b1221,b2207). edge(b1221,b2208). edge(b1221,b2276). edge(b1221,b2277). edge(b1221,b2278). edge(b1221,b2279). edge(b1221,b2280). edge(b1221,b2281). edge(b1221,b2282). edge(b1221,b2283). edge(b1221,b2284). edge(b1221,b2285). edge(b1221,b2286). edge(b1221,b2287). edge(b1221,b2288). edge(b1221,b2710). edge(b1221,b2711). edge(b1221,b2990). edge(b1221,b2991). edge(b1221,b2992). edge(b1221,b2993). edge(b1221,b2994). edge(b1221,b2995). edge(b1221,b2996). edge(b1221,b2997). edge(b1221,b3365). edge(b1221,b3366). edge(b1221,b3367). edge(b1221,b3368). edge(b1221,b3476). edge(b1221,b3477). edge(b1221,b3478). edge(b1221,b3479). edge(b1221,b3480). edge(b1221,b3481). edge(b1221,b4039). edge(b1221,b4040). edge(b1221,b4070). edge(b1221,b4071). edge(b1221,b4072). edge(b1221,b4073). edge(b1221,b4074). edge(b1221,b4075). edge(b1221,b4076). edge(b1221,b4079). edge(b1221,b4122). edge(b1221,b4123). edge(b1221,b4124). edge(b1221,b4125). edge(b1221,b4138). edge(b1221,b4139). edge(b1221,b4151). edge(b1221,b4152). edge(b1221,b4153). edge(b1221,b4154). edge(b1221,b4209). edge(b1237,b0019). edge(b1237,b0020). edge(b1237,b0034). edge(b1237,b0076). edge(b1237,b0077). edge(b1237,b0078). edge(b1237,b0161). edge(b1237,b0201). edge(b1237,b0202). edge(b1237,b0203). edge(b1237,b0204). edge(b1237,b0205). edge(b1237,b0342). edge(b1237,b0343). edge(b1237,b0344). edge(b1237,b0435). edge(b1237,b0564). edge(b1237,b0585). edge(b1237,b0586). edge(b1237,b0587). edge(b1237,b0733). edge(b1237,b0734). edge(b1237,b0756). edge(b1237,b0757). edge(b1237,b0758). edge(b1237,b0759). edge(b1237,b0880). edge(b1237,b0921). edge(b1237,b0922). edge(b1237,b0923). edge(b1237,b0924). edge(b1237,b1182). edge(b1237,b1237). edge(b1237,b1257). edge(b1237,b1258). edge(b1237,b1259). edge(b1237,b1482). edge(b1237,b1656). edge(b1237,b1891). edge(b1237,b1892). edge(b1237,b1920). edge(b1237,b1921). edge(b1237,b1922). edge(b1237,b1923). edge(b1237,b1951). edge(b1237,b1967). edge(b1237,b2306). edge(b1237,b2307). edge(b1237,b2308). edge(b1237,b2309). edge(b1237,b2421). edge(b1237,b2422). edge(b1237,b2423). edge(b1237,b2424). edge(b1237,b2425). edge(b1237,b2535). edge(b1237,b2588). edge(b1237,b2589). edge(b1237,b2590). edge(b1237,b2591). edge(b1237,b2659). edge(b1237,b2660). edge(b1237,b2661). edge(b1237,b2662). edge(b1237,b2663). edge(b1237,b2669). edge(b1237,b2677). edge(b1237,b2678). edge(b1237,b2679). edge(b1237,b2702). edge(b1237,b2703). edge(b1237,b2704). edge(b1237,b2705). edge(b1237,b2706). edge(b1237,b2707). edge(b1237,b2708). edge(b1237,b2782). edge(b1237,b2783). edge(b1237,b2784). edge(b1237,b3123). edge(b1237,b3124). edge(b1237,b3125). edge(b1237,b3126). edge(b1237,b3127). edge(b1237,b3272). edge(b1237,b3273). edge(b1237,b3274). edge(b1237,b3275). edge(b1237,b3276). edge(b1237,b3277). edge(b1237,b3278). edge(b1237,b3322). edge(b1237,b3323). edge(b1237,b3324). edge(b1237,b3325). edge(b1237,b3326). edge(b1237,b3327). edge(b1237,b3328). edge(b1237,b3329). edge(b1237,b3330). edge(b1237,b3331). edge(b1237,b3332). edge(b1237,b3333). edge(b1237,b3334). edge(b1237,b3335). edge(b1237,b3338). edge(b1237,b3365). edge(b1237,b3366). edge(b1237,b3367). edge(b1237,b3368). edge(b1237,b3508). edge(b1237,b3509). edge(b1237,b3510). edge(b1237,b3511). edge(b1237,b3515). edge(b1237,b3516). edge(b1237,b3517). edge(b1237,b3721). edge(b1237,b3722). edge(b1237,b3723). edge(b1237,b3756). edge(b1237,b3757). edge(b1237,b3758). edge(b1237,b3759). edge(b1237,b3968). edge(b1237,b3969). edge(b1237,b3970). edge(b1237,b3971). edge(b1237,b4117). edge(b1237,b4131). edge(b1237,b4132). edge(b1237,b4312). edge(b1237,b4313). edge(b1237,b4314). edge(b1237,b4315). edge(b1237,b4316). edge(b1237,b4317). edge(b1237,b4318). edge(b1237,b4319). edge(b1237,b4320). edge(b1237,b4364). edge(b1237,b4365). edge(b1237,b4366). edge(b1237,b4439). edge(b1237,b4511). edge(b1275,b0365). edge(b1275,b0366). edge(b1275,b0367). edge(b1275,b0368). edge(b1275,b0933). edge(b1275,b0934). edge(b1275,b0935). edge(b1275,b0936). edge(b1275,b0937). edge(b1275,b1275). edge(b1275,b1379). edge(b1275,b1987). edge(b1275,b2414). edge(b1275,b2421). edge(b1275,b2422). edge(b1275,b2423). edge(b1275,b2424). edge(b1275,b2425). edge(b1275,b2750). edge(b1275,b2751). edge(b1275,b2752). edge(b1275,b2762). edge(b1275,b2763). edge(b1275,b2764). edge(b1303,b1303). edge(b1303,b1304). edge(b1303,b1305). edge(b1303,b1306). edge(b1303,b1307). edge(b1303,b1308). edge(b1303,b4050). edge(b1323,b0048). edge(b1323,b0112). edge(b1323,b0388). edge(b1323,b0389). edge(b1323,b0390). edge(b1323,b0754). edge(b1323,b1323). edge(b1323,b1907). edge(b1323,b2600). edge(b1323,b2601). edge(b1323,b3161). edge(b1323,b4054). edge(b1334,b0034). edge(b1334,b0035). edge(b1334,b0036). edge(b1334,b0037). edge(b1334,b0038). edge(b1334,b0039). edge(b1334,b0040). edge(b1334,b0041). edge(b1334,b0042). edge(b1334,b0043). edge(b1334,b0044). edge(b1334,b0113). edge(b1334,b0114). edge(b1334,b0115). edge(b1334,b0116). edge(b1334,b0428). edge(b1334,b0429). edge(b1334,b0430). edge(b1334,b0431). edge(b1334,b0432). edge(b1334,b0585). edge(b1334,b0586). edge(b1334,b0587). edge(b1334,b0621). edge(b1334,b0721). edge(b1334,b0722). edge(b1334,b0723). edge(b1334,b0724). edge(b1334,b0726). edge(b1334,b0727). edge(b1334,b0728). edge(b1334,b0729). edge(b1334,b0733). edge(b1334,b0734). edge(b1334,b0781). edge(b1334,b0782). edge(b1334,b0783). edge(b1334,b0784). edge(b1334,b0785). edge(b1334,b0814). edge(b1334,b0826). edge(b1334,b0827). edge(b1334,b0872). edge(b1334,b0873). edge(b1334,b0886). edge(b1334,b0887). edge(b1334,b0894). edge(b1334,b0895). edge(b1334,b0896). edge(b1334,b0897). edge(b1334,b0903). edge(b1334,b0904). edge(b1334,b0933). edge(b1334,b0934). edge(b1334,b0935). edge(b1334,b0936). edge(b1334,b0937). edge(b1334,b1109). edge(b1334,b1127). edge(b1334,b1182). edge(b1334,b1210). edge(b1334,b1211). edge(b1334,b1212). edge(b1334,b1220). edge(b1334,b1221). edge(b1334,b1222). edge(b1334,b1223). edge(b1334,b1224). edge(b1334,b1225). edge(b1334,b1226). edge(b1334,b1227). edge(b1334,b1241). edge(b1334,b1256). edge(b1334,b1276). edge(b1334,b1324). edge(b1334,b1334). edge(b1334,b1415). edge(b1334,b1474). edge(b1334,b1475). edge(b1334,b1476). edge(b1334,b1587). edge(b1334,b1588). edge(b1334,b1589). edge(b1334,b1590). edge(b1334,b1591). edge(b1334,b1612). edge(b1334,b1669). edge(b1334,b1670). edge(b1334,b1671). edge(b1334,b1672). edge(b1334,b1673). edge(b1334,b1674). edge(b1334,b1715). edge(b1334,b1716). edge(b1334,b1881). edge(b1334,b1882). edge(b1334,b1883). edge(b1334,b1884). edge(b1334,b1885). edge(b1334,b1886). edge(b1334,b1904). edge(b1334,b2163). edge(b1334,b2194). edge(b1334,b2195). edge(b1334,b2196). edge(b1334,b2197). edge(b1334,b2198). edge(b1334,b2199). edge(b1334,b2200). edge(b1334,b2201). edge(b1334,b2202). edge(b1334,b2203). edge(b1334,b2204). edge(b1334,b2205). edge(b1334,b2206). edge(b1334,b2207). edge(b1334,b2208). edge(b1334,b2239). edge(b1334,b2240). edge(b1334,b2241). edge(b1334,b2242). edge(b1334,b2243). edge(b1334,b2276). edge(b1334,b2277). edge(b1334,b2278). edge(b1334,b2279). edge(b1334,b2280). edge(b1334,b2281). edge(b1334,b2282). edge(b1334,b2283). edge(b1334,b2284). edge(b1334,b2285). edge(b1334,b2286). edge(b1334,b2287). edge(b1334,b2288). edge(b1334,b2296). edge(b1334,b2367). edge(b1334,b2368). edge(b1334,b2481). edge(b1334,b2482). edge(b1334,b2483). edge(b1334,b2484). edge(b1334,b2485). edge(b1334,b2486). edge(b1334,b2487). edge(b1334,b2488). edge(b1334,b2489). edge(b1334,b2490). edge(b1334,b2491). edge(b1334,b2492). edge(b1334,b2497). edge(b1334,b2498). edge(b1334,b2499). edge(b1334,b2500). edge(b1334,b2552). edge(b1334,b2579). edge(b1334,b2606). edge(b1334,b2607). edge(b1334,b2608). edge(b1334,b2609). edge(b1334,b2710). edge(b1334,b2711). edge(b1334,b2727). edge(b1334,b2728). edge(b1334,b2729). edge(b1334,b2730). edge(b1334,b2731). edge(b1334,b2732). edge(b1334,b2866). edge(b1334,b2867). edge(b1334,b2868). edge(b1334,b2903). edge(b1334,b2904). edge(b1334,b2905). edge(b1334,b2917). edge(b1334,b2918). edge(b1334,b2919). edge(b1334,b2920). edge(b1334,b2957). edge(b1334,b3071). edge(b1334,b3072). edge(b1334,b3091). edge(b1334,b3092). edge(b1334,b3113). edge(b1334,b3114). edge(b1334,b3115). edge(b1334,b3116). edge(b1334,b3117). edge(b1334,b3118). edge(b1334,b3123). edge(b1334,b3124). edge(b1334,b3125). edge(b1334,b3126). edge(b1334,b3127). edge(b1334,b3212). edge(b1334,b3213). edge(b1334,b3214). edge(b1334,b3230). edge(b1334,b3231). edge(b1334,b3265). edge(b1334,b3266). edge(b1334,b3311). edge(b1334,b3312). edge(b1334,b3313). edge(b1334,b3314). edge(b1334,b3315). edge(b1334,b3316). edge(b1334,b3317). edge(b1334,b3318). edge(b1334,b3319). edge(b1334,b3320). edge(b1334,b3321). edge(b1334,b3365). edge(b1334,b3366). edge(b1334,b3367). edge(b1334,b3368). edge(b1334,b3408). edge(b1334,b3409). edge(b1334,b3416). edge(b1334,b3417). edge(b1334,b3476). edge(b1334,b3477). edge(b1334,b3478). edge(b1334,b3479). edge(b1334,b3480). edge(b1334,b3481). edge(b1334,b3493). edge(b1334,b3515). edge(b1334,b3516). edge(b1334,b3517). edge(b1334,b3518). edge(b1334,b3531). edge(b1334,b3532). edge(b1334,b3540). edge(b1334,b3541). edge(b1334,b3542). edge(b1334,b3543). edge(b1334,b3544). edge(b1334,b3724). edge(b1334,b3725). edge(b1334,b3726). edge(b1334,b3727). edge(b1334,b3728). edge(b1334,b3830). edge(b1334,b3908). edge(b1334,b3942). edge(b1334,b4039). edge(b1334,b4040). edge(b1334,b4070). edge(b1334,b4071). edge(b1334,b4072). edge(b1334,b4073). edge(b1334,b4074). edge(b1334,b4075). edge(b1334,b4076). edge(b1334,b4079). edge(b1334,b4122). edge(b1334,b4123). edge(b1334,b4124). edge(b1334,b4125). edge(b1334,b4133). edge(b1334,b4138). edge(b1334,b4139). edge(b1334,b4151). edge(b1334,b4152). edge(b1334,b4153). edge(b1334,b4154). edge(b1334,b4209). edge(b1334,b4237). edge(b1334,b4238). edge(b1334,b4326). edge(b1334,b4401). edge(b1334,b4471). edge(b1334,b4511). edge(b1384,b1385). edge(b1399,b1387). edge(b1399,b1388). edge(b1399,b1389). edge(b1399,b1390). edge(b1399,b1391). edge(b1399,b1392). edge(b1399,b1393). edge(b1399,b1394). edge(b1399,b1395). edge(b1399,b1396). edge(b1399,b1397). edge(b1399,b1398). edge(b1499,b3512). edge(b1499,b3513). edge(b1499,b3514). edge(b1507,"HipB"). edge(b1508,"HipB"). edge(b1512,b1513). edge(b1512,b1514). edge(b1512,b1515). edge(b1512,b1516). edge(b1512,b1517). edge(b1512,b1518). edge(b1530,b1530). edge(b1530,b1531). edge(b1530,b1532). edge(b1531,b0462). edge(b1531,b0463). edge(b1531,b0578). edge(b1531,b0871). edge(b1531,b0950). edge(b1531,b0951). edge(b1531,b1014). edge(b1531,b1530). edge(b1531,b1531). edge(b1531,b1532). edge(b1531,b1611). edge(b1531,b1852). edge(b1531,b2159). edge(b1531,b2237). edge(b1531,b3506). edge(b1531,b3507). edge(b1531,b3508). edge(b1531,b3509). edge(b1531,b3510). edge(b1531,b3908). edge(b1531,b3924). edge(b1531,b4177). edge(b1531,b4396). edge(b1531,b4439). edge(b1570,b1575). edge(b1570,b1576). edge(b1570,b1577). edge(b1570,b1578). edge(b1570,b1579). edge(b1594,b1101). edge(b1594,b1593). edge(b1594,b1594). edge(b1594,b1817). edge(b1594,b1818). edge(b1594,b1819). edge(b1594,b2415). edge(b1594,b2416). edge(b1594,b2417). edge(b1594,b3418). edge(b1608,b0929). edge(b1608,b1037). edge(b1608,b1038). edge(b1608,b1039). edge(b1608,b1040). edge(b1608,b1224). edge(b1608,b1225). edge(b1608,b1226). edge(b1608,b1227). edge(b1608,b1597). edge(b1618,b1615). edge(b1618,b1616). edge(b1618,b1617). edge(b1618,b1618). edge(b1620,b1620). edge(b1620,b1621). edge(b1620,b1622). edge(b1642,b1182). edge(b1658,b0032). edge(b1658,b0033). edge(b1658,b0336). edge(b1658,b0337). edge(b1658,b0522). edge(b1658,b0523). edge(b1658,b0945). edge(b1658,b1062). edge(b1658,b1131). edge(b1658,b1132). edge(b1658,b1207). edge(b1658,b1658). edge(b1658,b2311). edge(b1658,b2312). edge(b1658,b2313). edge(b1658,b2476). edge(b1658,b2499). edge(b1658,b2500). edge(b1658,b2507). edge(b1658,b2508). edge(b1658,b2551). edge(b1658,b2553). edge(b1658,b2557). edge(b1658,b2903). edge(b1658,b2904). edge(b1658,b2905). edge(b1658,b2937). edge(b1658,b2938). edge(b1658,b4005). edge(b1658,b4006). edge(b1658,b4177). edge(b1712,"IHF"). edge(b1735,b1733). edge(b1735,b1734). edge(b1735,b1735). edge(b1735,b1736). edge(b1735,b1737). edge(b1735,b1738). edge(b1827,b1850). edge(b1891,"FlhDC"). edge(b1892,"FlhDC"). edge(b1916,b0093). edge(b1916,b0094). edge(b1916,b0095). edge(b1922,b0763). edge(b1922,b0764). edge(b1922,b0765). edge(b1922,b1070). edge(b1922,b1071). edge(b1922,b1082). edge(b1922,b1083). edge(b1922,b1194). edge(b1922,b1421). edge(b1922,b1566). edge(b1922,b1760). edge(b1922,b1881). edge(b1922,b1882). edge(b1922,b1883). edge(b1922,b1884). edge(b1922,b1885). edge(b1922,b1886). edge(b1922,b1887). edge(b1922,b1888). edge(b1922,b1889). edge(b1922,b1890). edge(b1922,b1915). edge(b1922,b1920). edge(b1922,b1921). edge(b1922,b1922). edge(b1922,b1923). edge(b1922,b1924). edge(b1922,b1925). edge(b1922,b1926). edge(b1922,b1937). edge(b1922,b1938). edge(b1922,b1939). edge(b1922,b1940). edge(b1922,b1941). edge(b1922,b1942). edge(b1922,b1943). edge(b1922,b1944). edge(b1922,b1945). edge(b1922,b1946). edge(b1922,b1947). edge(b1922,b1948). edge(b1922,b1949). edge(b1922,b1950). edge(b1922,b2737). edge(b1922,b2822). edge(b1922,b2823). edge(b1922,b2824). edge(b1922,b2825). edge(b1922,b2826). edge(b1922,b3072). edge(b1922,b3490). edge(b1922,b3525). edge(b1922,b4083). edge(b1922,b4355). edge(b1951,"RcsAB"). edge(b1987,b0365). edge(b1987,b0366). edge(b1987,b0367). edge(b1987,b0368). edge(b1987,b0933). edge(b1987,b0934). edge(b1987,b0935). edge(b1987,b0936). edge(b1987,b0937). edge(b1988,b0336). edge(b1988,b0337). edge(b1988,b1761). edge(b1988,b1988). edge(b1988,b2393). edge(b1988,b2661). edge(b1988,b2662). edge(b1988,b2663). edge(b1988,b2913). edge(b1988,b3212). edge(b1988,b3213). edge(b1988,b3214). edge(b1988,b3741). edge(b1988,b3742). edge(b1988,b3743). edge(b2079,b0897). edge(b2079,b1743). edge(b2079,b2074). edge(b2079,b2075). edge(b2079,b2076). edge(b2079,b2077). edge(b2079,b2078). edge(b2079,b2079). edge(b2079,b2470). edge(b2087,"GatR"). edge(b2090,"GatR"). edge(b2105,b2106). edge(b2151,b0756). edge(b2151,b0757). edge(b2151,b0758). edge(b2151,b0759). edge(b2151,b2148). edge(b2151,b2149). edge(b2151,b2150). edge(b2151,b2151). edge(b2151,b2837). edge(b2151,b2943). edge(b2163,b2163). edge(b2193,b0872). edge(b2193,b0873). edge(b2193,b0972). edge(b2193,b0973). edge(b2193,b0974). edge(b2193,b0975). edge(b2193,b0976). edge(b2193,b0977). edge(b2193,b1474). edge(b2193,b1475). edge(b2193,b1476). edge(b2193,b1669). edge(b2193,b1670). edge(b2193,b1671). edge(b2193,b1672). edge(b2193,b1673). edge(b2193,b1674). edge(b2193,b1796). edge(b2193,b1797). edge(b2193,b2194). edge(b2193,b2195). edge(b2193,b2196). edge(b2193,b2197). edge(b2193,b2198). edge(b2193,b2199). edge(b2193,b2200). edge(b2193,b2201). edge(b2193,b2202). edge(b2193,b2203). edge(b2193,b2204). edge(b2193,b2205). edge(b2193,b2206). edge(b2193,b2207). edge(b2193,b2208). edge(b2193,b2710). edge(b2193,b2711). edge(b2193,b3365). edge(b2193,b3366). edge(b2193,b3367). edge(b2193,b3368). edge(b2193,b4070). edge(b2193,b4071). edge(b2193,b4072). edge(b2193,b4073). edge(b2193,b4074). edge(b2193,b4075). edge(b2193,b4076). edge(b2193,b4079). edge(b2193,b4209). edge(b2213,b2068). edge(b2213,b2212). edge(b2213,b2213). edge(b2213,b4187). edge(b2217,"RcsAB"). edge(b2220,b2221). edge(b2220,b2222). edge(b2220,b2223). edge(b2220,b2224). edge(b2289,b1891). edge(b2289,b1892). edge(b2289,b2289). edge(b2289,b4313). edge(b2364,b2364). edge(b2364,b2365). edge(b2364,b2366). edge(b2369,b1499). edge(b2369,b1500). edge(b2369,b1501). edge(b2369,b2367). edge(b2369,b2368). edge(b2369,b2369). edge(b2369,b2370). edge(b2369,b2374). edge(b2369,b2375). edge(b2369,b2470). edge(b2369,b3512). edge(b2369,b3513). edge(b2369,b3514). edge(b2405,b2406). edge(b2405,b2407). edge(b2491,b2481). edge(b2491,b2482). edge(b2491,b2483). edge(b2491,b2484). edge(b2491,b2485). edge(b2491,b2486). edge(b2491,b2487). edge(b2491,b2488). edge(b2491,b2489). edge(b2491,b2490). edge(b2491,b2491). edge(b2491,b2492). edge(b2531,b0156). edge(b2531,b0972). edge(b2531,b0973). edge(b2531,b0974). edge(b2531,b0975). edge(b2531,b0976). edge(b2531,b0977). edge(b2531,b1679). edge(b2531,b1680). edge(b2531,b1681). edge(b2531,b1682). edge(b2531,b1683). edge(b2531,b1684). edge(b2531,b1706). edge(b2531,b2202). edge(b2531,b2203). edge(b2531,b2204). edge(b2531,b2205). edge(b2531,b2206). edge(b2531,b2207). edge(b2531,b2208). edge(b2531,b2528). edge(b2531,b2529). edge(b2531,b2530). edge(b2531,b2531). edge(b2531,b3414). edge(b2537,b2537). edge(b2537,b2538). edge(b2537,b2539). edge(b2537,b2540). edge(b2537,b2541). edge(b2537,b2542). edge(b2573,b0049). edge(b2573,b0050). edge(b2573,b0051). edge(b2573,b0052). edge(b2573,b0053). edge(b2573,b0054). edge(b2573,b0161). edge(b2573,b0176). edge(b2573,b0177). edge(b2573,b0178). edge(b2573,b0179). edge(b2573,b0180). edge(b2573,b0181). edge(b2573,b0182). edge(b2573,b0183). edge(b2573,b0184). edge(b2573,b0377). edge(b2573,b0378). edge(b2573,b0438). edge(b2573,b0439). edge(b2573,b0471). edge(b2573,b0472). edge(b2573,b0554). edge(b2573,b0555). edge(b2573,b0556). edge(b2573,b0606). edge(b2573,b0872). edge(b2573,b0873). edge(b2573,b1013). edge(b2573,b1465). edge(b2573,b1466). edge(b2573,b1643). edge(b2573,b1644). edge(b2573,b1645). edge(b2573,b1653). edge(b2573,b1806). edge(b2573,b1874). edge(b2573,b1902). edge(b2573,b2060). edge(b2573,b2061). edge(b2573,b2062). edge(b2573,b2378). edge(b2573,b2419). edge(b2573,b2420). edge(b2573,b2431). edge(b2573,b2432). edge(b2573,b2477). edge(b2573,b2494). edge(b2573,b2495). edge(b2573,b2511). edge(b2573,b2512). edge(b2573,b2570). edge(b2573,b2571). edge(b2573,b2572). edge(b2573,b2595). edge(b2573,b2617). edge(b2573,b2631). edge(b2573,b2891). edge(b2573,b2892). edge(b2573,b2893). edge(b2573,b2958). edge(b2573,b2970). edge(b2573,b3055). edge(b2573,b3056). edge(b2573,b3057). edge(b2573,b3067). edge(b2573,b3095). edge(b2573,b3096). edge(b2573,b3150). edge(b2573,b3181). edge(b2573,b3200). edge(b2573,b3201). edge(b2573,b3202). edge(b2573,b3203). edge(b2573,b3204). edge(b2573,b3205). edge(b2573,b3322). edge(b2573,b3323). edge(b2573,b3339). edge(b2573,b3340). edge(b2573,b3347). edge(b2573,b3416). edge(b2573,b3461). edge(b2573,b3527). edge(b2573,b3575). edge(b2573,b3576). edge(b2573,b3577). edge(b2573,b3578). edge(b2573,b3579). edge(b2573,b3580). edge(b2573,b3581). edge(b2573,b3582). edge(b2573,b3583). edge(b2573,b3619). edge(b2573,b3620). edge(b2573,b3621). edge(b2573,b3622). edge(b2573,b3656). edge(b2573,b3657). edge(b2573,b3688). edge(b2573,b3712). edge(b2573,b3713). edge(b2573,b3922). edge(b2573,b3923). edge(b2573,b4041). edge(b2573,b4159). edge(b2573,b4160). edge(b2573,b4216). edge(b2573,b4417). edge(b2573,b4442). edge(b2624,b2622). edge(b2664,b2659). edge(b2664,b2660). edge(b2664,b2661). edge(b2664,b2662). edge(b2664,b2663). edge(b2669,b2669). edge(b2669,b3721). edge(b2669,b3722). edge(b2669,b3723). edge(b2684,b2684). edge(b2684,b2685). edge(b2684,b2686). edge(b2697,b2697). edge(b2706,b2702). edge(b2706,b2703). edge(b2706,b2704). edge(b2706,b2705). edge(b2706,b2706). edge(b2706,b2707). edge(b2706,b2708). edge(b2707,b2702). edge(b2707,b2703). edge(b2707,b2704). edge(b2707,b2705). edge(b2707,b2706). edge(b2707,b2707). edge(b2707,b2708). edge(b2709,b2709). edge(b2709,b2710). edge(b2709,b2711). edge(b2714,b2714). edge(b2714,b2715). edge(b2714,b2716). edge(b2731,b2481). edge(b2731,b2482). edge(b2731,b2483). edge(b2731,b2484). edge(b2731,b2485). edge(b2731,b2486). edge(b2731,b2487). edge(b2731,b2488). edge(b2731,b2489). edge(b2731,b2490). edge(b2731,b2491). edge(b2731,b2492). edge(b2731,b2712). edge(b2731,b2713). edge(b2731,b2717). edge(b2731,b2718). edge(b2731,b2719). edge(b2731,b2720). edge(b2731,b2721). edge(b2731,b2722). edge(b2731,b2723). edge(b2731,b2724). edge(b2731,b2725). edge(b2731,b2726). edge(b2731,b2727). edge(b2731,b2728). edge(b2731,b2729). edge(b2731,b2730). edge(b2731,b2731). edge(b2731,b4079). edge(b2741,b0019). edge(b2741,b0020). edge(b2741,b0093). edge(b2741,b0094). edge(b2741,b0095). edge(b2741,b0139). edge(b2741,b0140). edge(b2741,b0157). edge(b2741,b0158). edge(b2741,b0159). edge(b2741,b0186). edge(b2741,b0435). edge(b2741,b0707). edge(b2741,b0708). edge(b2741,b0756). edge(b2741,b0757). edge(b2741,b0758). edge(b2741,b0759). edge(b2741,b0812). edge(b2741,b0861). edge(b2741,b0862). edge(b2741,b0863). edge(b2741,b0864). edge(b2741,b0865). edge(b2741,b0871). edge(b2741,b0912). edge(b2741,b0950). edge(b2741,b0951). edge(b2741,b0972). edge(b2741,b0973). edge(b2741,b0974). edge(b2741,b0975). edge(b2741,b0976). edge(b2741,b0977). edge(b2741,b0978). edge(b2741,b0979). edge(b2741,b0980). edge(b2741,b0999). edge(b2741,b1000). edge(b2741,b1037). edge(b2741,b1038). edge(b2741,b1039). edge(b2741,b1040). edge(b2741,b1041). edge(b2741,b1042). edge(b2741,b1043). edge(b2741,b1051). edge(b2741,b1197). edge(b2741,b1235). edge(b2741,b1241). edge(b2741,b1272). edge(b2741,b1274). edge(b2741,b1276). edge(b2741,b1283). edge(b2741,b1453). edge(b2741,b1469). edge(b2741,b1480). edge(b2741,b1482). edge(b2741,b1492). edge(b2741,b1493). edge(b2741,b1513). edge(b2741,b1514). edge(b2741,b1515). edge(b2741,b1516). edge(b2741,b1517). edge(b2741,b1518). edge(b2741,b1611). edge(b2741,b1661). edge(b2741,b1712). edge(b2741,b1723). edge(b2741,b1732). edge(b2741,b1739). edge(b2741,b1744). edge(b2741,b1745). edge(b2741,b1746). edge(b2741,b1747). edge(b2741,b1748). edge(b2741,b1749). edge(b2741,b1896). edge(b2741,b1897). edge(b2741,b1920). edge(b2741,b1967). edge(b2741,b2097). edge(b2741,b2128). edge(b2741,b2129). edge(b2741,b2130). edge(b2741,b2131). edge(b2741,b2148). edge(b2741,b2149). edge(b2741,b2150). edge(b2741,b2163). edge(b2741,b2464). edge(b2741,b2465). edge(b2741,b2535). edge(b2741,b2552). edge(b2741,b2659). edge(b2741,b2660). edge(b2741,b2661). edge(b2741,b2662). edge(b2741,b2663). edge(b2741,b2677). edge(b2741,b2678). edge(b2741,b2679). edge(b2741,b2922). edge(b2741,b3049). edge(b2741,b3361). edge(b2741,b3494). edge(b2741,b3500). edge(b2741,b3508). edge(b2741,b3509). edge(b2741,b3510). edge(b2741,b3512). edge(b2741,b3513). edge(b2741,b3514). edge(b2741,b3515). edge(b2741,b3516). edge(b2741,b3517). edge(b2741,b3555). edge(b2741,b3588). edge(b2741,b3700). edge(b2741,b3701). edge(b2741,b3724). edge(b2741,b3725). edge(b2741,b3726). edge(b2741,b3727). edge(b2741,b3728). edge(b2741,b3862). edge(b2741,b3929). edge(b2741,b3995). edge(b2741,b4111). edge(b2741,b4149). edge(b2741,b4187). edge(b2741,b4217). edge(b2741,b4233). edge(b2741,b4376). edge(b2741,b4452). edge(b2741,b4592). edge(b2805,b2799). edge(b2805,b2800). edge(b2805,b2801). edge(b2805,b2802). edge(b2805,b2803). edge(b2805,b2804). edge(b2805,b2805). edge(b2808,b2808). edge(b2808,b2903). edge(b2808,b2904). edge(b2808,b2905). edge(b2808,b4443). edge(b2837,b0756). edge(b2837,b0757). edge(b2837,b0758). edge(b2837,b0759). edge(b2837,b2148). edge(b2837,b2149). edge(b2837,b2150). edge(b2837,b2151). edge(b2837,b2837). edge(b2837,b2943). edge(b2839,b2838). edge(b2839,b2839). edge(b2916,b2234). edge(b2916,b2235). edge(b2916,b2923). edge(b2916,b3700). edge(b2916,b3701). edge(b2916,b3702). edge(b2980,b2975). edge(b2980,b2976). edge(b2980,b2977). edge(b2980,b2979). edge(b2980,b2980). edge(b2980,b4467). edge(b2980,b4468). edge(b3025,b1891). edge(b3025,b1892). edge(b3025,b3025). edge(b3025,b3026). edge(b3067,b0001). edge(b3067,b0002). edge(b3067,b0003). edge(b3067,b0004). edge(b3067,b0019). edge(b3067,b0020). edge(b3067,b0025). edge(b3067,b0026). edge(b3067,b0027). edge(b3067,b0028). edge(b3067,b0029). edge(b3067,b0031). edge(b3067,b0032). edge(b3067,b0033). edge(b3067,b0034). edge(b3067,b0035). edge(b3067,b0036). edge(b3067,b0037). edge(b3067,b0038). edge(b3067,b0039). edge(b3067,b0040). edge(b3067,b0041). edge(b3067,b0042). edge(b3067,b0043). edge(b3067,b0044). edge(b3067,b0048). edge(b3067,b0054). edge(b3067,b0058). edge(b3067,b0059). edge(b3067,b0060). edge(b3067,b0061). edge(b3067,b0062). edge(b3067,b0063). edge(b3067,b0064). edge(b3067,b0066). edge(b3067,b0067). edge(b3067,b0068). edge(b3067,b0069). edge(b3067,b0070). edge(b3067,b0071). edge(b3067,b0072). edge(b3067,b0073). edge(b3067,b0074). edge(b3067,b0075). edge(b3067,b0076). edge(b3067,b0077). edge(b3067,b0078). edge(b3067,b0081). edge(b3067,b0082). edge(b3067,b0083). edge(b3067,b0084). edge(b3067,b0085). edge(b3067,b0086). edge(b3067,b0087). edge(b3067,b0088). edge(b3067,b0089). edge(b3067,b0090). edge(b3067,b0091). edge(b3067,b0092). edge(b3067,b0093). edge(b3067,b0094). edge(b3067,b0095). edge(b3067,b0096). edge(b3067,b0112). edge(b3067,b0113). edge(b3067,b0114). edge(b3067,b0115). edge(b3067,b0116). edge(b3067,b0118). edge(b3067,b0120). edge(b3067,b0121). edge(b3067,b0122). edge(b3067,b0124). edge(b3067,b0125). edge(b3067,b0126). edge(b3067,b0133). edge(b3067,b0134). edge(b3067,b0139). edge(b3067,b0140). edge(b3067,b0142). edge(b3067,b0143). edge(b3067,b0145). edge(b3067,b0146). edge(b3067,b0150). edge(b3067,b0151). edge(b3067,b0152). edge(b3067,b0153). edge(b3067,b0157). edge(b3067,b0158). edge(b3067,b0159). edge(b3067,b0166). edge(b3067,b0185). edge(b3067,b0194). edge(b3067,b0197). edge(b3067,b0198). edge(b3067,b0199). edge(b3067,b0201). edge(b3067,b0202). edge(b3067,b0203). edge(b3067,b0204). edge(b3067,b0205). edge(b3067,b0216). edge(b3067,b0237). edge(b3067,b0238). edge(b3067,b0239). edge(b3067,b0241). edge(b3067,b0244). edge(b3067,b0273). edge(b3067,b0296). edge(b3067,b0311). edge(b3067,b0312). edge(b3067,b0313). edge(b3067,b0314). edge(b3067,b0315). edge(b3067,b0330). edge(b3067,b0336). edge(b3067,b0337). edge(b3067,b0338). edge(b3067,b0339). edge(b3067,b0340). edge(b3067,b0341). edge(b3067,b0342). edge(b3067,b0343). edge(b3067,b0344). edge(b3067,b0345). edge(b3067,b0346). edge(b3067,b0347). edge(b3067,b0348). edge(b3067,b0349). edge(b3067,b0350). edge(b3067,b0351). edge(b3067,b0352). edge(b3067,b0382). edge(b3067,b0383). edge(b3067,b0384). edge(b3067,b0385). edge(b3067,b0388). edge(b3067,b0389). edge(b3067,b0390). edge(b3067,b0396). edge(b3067,b0397). edge(b3067,b0398). edge(b3067,b0399). edge(b3067,b0400). edge(b3067,b0411). edge(b3067,b0413). edge(b3067,b0414). edge(b3067,b0415). edge(b3067,b0416). edge(b3067,b0417). edge(b3067,b0418). edge(b3067,b0419). edge(b3067,b0420). edge(b3067,b0421). edge(b3067,b0422). edge(b3067,b0428). edge(b3067,b0429). edge(b3067,b0430). edge(b3067,b0431). edge(b3067,b0432). edge(b3067,b0435). edge(b3067,b0436). edge(b3067,b0437). edge(b3067,b0438). edge(b3067,b0439). edge(b3067,b0440). edge(b3067,b0441). edge(b3067,b0460). edge(b3067,b0461). edge(b3067,b0462). edge(b3067,b0463). edge(b3067,b0469). edge(b3067,b0475). edge(b3067,b0522). edge(b3067,b0523). edge(b3067,b0536). edge(b3067,b0570). edge(b3067,b0571). edge(b3067,b0572). edge(b3067,b0573). edge(b3067,b0574). edge(b3067,b0575). edge(b3067,b0576). edge(b3067,b0578). edge(b3067,b0583). edge(b3067,b0584). edge(b3067,b0585). edge(b3067,b0586). edge(b3067,b0587). edge(b3067,b0588). edge(b3067,b0589). edge(b3067,b0590). edge(b3067,b0591). edge(b3067,b0592). edge(b3067,b0593). edge(b3067,b0594). edge(b3067,b0595). edge(b3067,b0596). edge(b3067,b0597). edge(b3067,b0598). edge(b3067,b0605). edge(b3067,b0606). edge(b3067,b0623). edge(b3067,b0630). edge(b3067,b0631). edge(b3067,b0652). edge(b3067,b0653). edge(b3067,b0654). edge(b3067,b0655). edge(b3067,b0664). edge(b3067,b0665). edge(b3067,b0666). edge(b3067,b0668). edge(b3067,b0670). edge(b3067,b0672). edge(b3067,b0673). edge(b3067,b0675). edge(b3067,b0676). edge(b3067,b0677). edge(b3067,b0678). edge(b3067,b0679). edge(b3067,b0680). edge(b3067,b0683). edge(b3067,b0696). edge(b3067,b0697). edge(b3067,b0698). edge(b3067,b0720). edge(b3067,b0721). edge(b3067,b0722). edge(b3067,b0723). edge(b3067,b0724). edge(b3067,b0726). edge(b3067,b0727). edge(b3067,b0728). edge(b3067,b0729). edge(b3067,b0730). edge(b3067,b0733). edge(b3067,b0734). edge(b3067,b0743). edge(b3067,b0744). edge(b3067,b0745). edge(b3067,b0754). edge(b3067,b0755). edge(b3067,b0756). edge(b3067,b0757). edge(b3067,b0758). edge(b3067,b0759). edge(b3067,b0763). edge(b3067,b0764). edge(b3067,b0765). edge(b3067,b0774). edge(b3067,b0775). edge(b3067,b0776). edge(b3067,b0777). edge(b3067,b0778). edge(b3067,b0779). edge(b3067,b0799). edge(b3067,b0805). edge(b3067,b0812). edge(b3067,b0826). edge(b3067,b0827). edge(b3067,b0850). edge(b3067,b0851). edge(b3067,b0852). edge(b3067,b0853). edge(b3067,b0860). edge(b3067,b0861). edge(b3067,b0862). edge(b3067,b0863). edge(b3067,b0864). edge(b3067,b0880). edge(b3067,b0882). edge(b3067,b0883). edge(b3067,b0884). edge(b3067,b0889). edge(b3067,b0890). edge(b3067,b0894). edge(b3067,b0895). edge(b3067,b0896). edge(b3067,b0903). edge(b3067,b0904). edge(b3067,b0907). edge(b3067,b0908). edge(b3067,b0910). edge(b3067,b0911). edge(b3067,b0917). edge(b3067,b0918). edge(b3067,b0921). edge(b3067,b0922). edge(b3067,b0923). edge(b3067,b0924). edge(b3067,b0929). edge(b3067,b0931). edge(b3067,b0933). edge(b3067,b0934). edge(b3067,b0935). edge(b3067,b0936). edge(b3067,b0937). edge(b3067,b0945). edge(b3067,b0950). edge(b3067,b0951). edge(b3067,b0954). edge(b3067,b0957). edge(b3067,b0958). edge(b3067,b0970). edge(b3067,b0971). edge(b3067,b0972). edge(b3067,b0973). edge(b3067,b0974). edge(b3067,b0975). edge(b3067,b0976). edge(b3067,b0977). edge(b3067,b0978). edge(b3067,b0979). edge(b3067,b0980). edge(b3067,b0996). edge(b3067,b0997). edge(b3067,b0998). edge(b3067,b0999). edge(b3067,b1000). edge(b3067,b1013). edge(b3067,b1014). edge(b3067,b1015). edge(b3067,b1016). edge(b3067,b1020). edge(b3067,b1032). edge(b3067,b1041). edge(b3067,b1042). edge(b3067,b1043). edge(b3067,b1048). edge(b3067,b1049). edge(b3067,b1056). edge(b3067,b1057). edge(b3067,b1062). edge(b3067,b1070). edge(b3067,b1071). edge(b3067,b1072). edge(b3067,b1073). edge(b3067,b1074). edge(b3067,b1075). edge(b3067,b1076). edge(b3067,b1077). edge(b3067,b1078). edge(b3067,b1079). edge(b3067,b1080). edge(b3067,b1081). edge(b3067,b1084). edge(b3067,b1109). edge(b3067,b1113). edge(b3067,b1114). edge(b3067,b1131). edge(b3067,b1132). edge(b3067,b1136). edge(b3067,b1183). edge(b3067,b1184). edge(b3067,b1189). edge(b3067,b1190). edge(b3067,b1203). edge(b3067,b1204). edge(b3067,b1205). edge(b3067,b1207). edge(b3067,b1210). edge(b3067,b1211). edge(b3067,b1212). edge(b3067,b1213). edge(b3067,b1214). edge(b3067,b1215). edge(b3067,b1221). edge(b3067,b1222). edge(b3067,b1223). edge(b3067,b1224). edge(b3067,b1225). edge(b3067,b1226). edge(b3067,b1227). edge(b3067,b1229). edge(b3067,b1230). edge(b3067,b1231). edge(b3067,b1237). edge(b3067,b1241). edge(b3067,b1243). edge(b3067,b1244). edge(b3067,b1245). edge(b3067,b1246). edge(b3067,b1247). edge(b3067,b1248). edge(b3067,b1249). edge(b3067,b1252). edge(b3067,b1260). edge(b3067,b1261). edge(b3067,b1262). edge(b3067,b1263). edge(b3067,b1264). edge(b3067,b1265). edge(b3067,b1272). edge(b3067,b1274). edge(b3067,b1275). edge(b3067,b1276). edge(b3067,b1277). edge(b3067,b1279). edge(b3067,b1280). edge(b3067,b1281). edge(b3067,b1282). edge(b3067,b1283). edge(b3067,b1285). edge(b3067,b1286). edge(b3067,b1303). edge(b3067,b1323). edge(b3067,b1324). edge(b3067,b1334). edge(b3067,b1379). edge(b3067,b1388). edge(b3067,b1389). edge(b3067,b1390). edge(b3067,b1391). edge(b3067,b1392). edge(b3067,b1393). edge(b3067,b1394). edge(b3067,b1395). edge(b3067,b1396). edge(b3067,b1397). edge(b3067,b1398). edge(b3067,b1399). edge(b3067,b1400). edge(b3067,b1415). edge(b3067,b1469). edge(b3067,b1474). edge(b3067,b1475). edge(b3067,b1476). edge(b3067,b1482). edge(b3067,b1492). edge(b3067,b1493). edge(b3067,b1499). edge(b3067,b1500). edge(b3067,b1501). edge(b3067,b1507). edge(b3067,b1508). edge(b3067,b1530). edge(b3067,b1531). edge(b3067,b1532). edge(b3067,b1535). edge(b3067,b1546). edge(b3067,b1547). edge(b3067,b1548). edge(b3067,b1562). edge(b3067,b1563). edge(b3067,b1564). edge(b3067,b1575). edge(b3067,b1576). edge(b3067,b1577). edge(b3067,b1578). edge(b3067,b1579). edge(b3067,b1593). edge(b3067,b1594). edge(b3067,b1597). edge(b3067,b1602). edge(b3067,b1603). edge(b3067,b1612). edge(b3067,b1620). edge(b3067,b1621). edge(b3067,b1622). edge(b3067,b1634). edge(b3067,b1651). edge(b3067,b1656). edge(b3067,b1658). edge(b3067,b1661). edge(b3067,b1665). edge(b3067,b1666). edge(b3067,b1676). edge(b3067,b1679). edge(b3067,b1680). edge(b3067,b1681). edge(b3067,b1682). edge(b3067,b1683). edge(b3067,b1684). edge(b3067,b1702). edge(b3067,b1704). edge(b3067,b1716). edge(b3067,b1717). edge(b3067,b1718). edge(b3067,b1728). edge(b3067,b1731). edge(b3067,b1739). edge(b3067,b1742). edge(b3067,b1743). edge(b3067,b1744). edge(b3067,b1745). edge(b3067,b1746). edge(b3067,b1747). edge(b3067,b1748). edge(b3067,b1761). edge(b3067,b1779). edge(b3067,b1796). edge(b3067,b1797). edge(b3067,b1805). edge(b3067,b1816). edge(b3067,b1817). edge(b3067,b1818). edge(b3067,b1819). edge(b3067,b1846). edge(b3067,b1850). edge(b3067,b1851). edge(b3067,b1852). edge(b3067,b1858). edge(b3067,b1859). edge(b3067,b1862). edge(b3067,b1863). edge(b3067,b1864). edge(b3067,b1865). edge(b3067,b1891). edge(b3067,b1892). edge(b3067,b1896). edge(b3067,b1897). edge(b3067,b1900). edge(b3067,b1901). edge(b3067,b1902). edge(b3067,b1907). edge(b3067,b1909). edge(b3067,b1910). edge(b3067,b1911). edge(b3067,b1920). edge(b3067,b1921). edge(b3067,b1922). edge(b3067,b1924). edge(b3067,b1925). edge(b3067,b1926). edge(b3067,b1927). edge(b3067,b1937). edge(b3067,b1938). edge(b3067,b1939). edge(b3067,b1940). edge(b3067,b1941). edge(b3067,b1942). edge(b3067,b1943). edge(b3067,b1944). edge(b3067,b1945). edge(b3067,b1946). edge(b3067,b1947). edge(b3067,b1948). edge(b3067,b1949). edge(b3067,b1950). edge(b3067,b1951). edge(b3067,b1967). edge(b3067,b1973). edge(b3067,b1975). edge(b3067,b1977). edge(b3067,b1986). edge(b3067,b1987). edge(b3067,b1989). edge(b3067,b1991). edge(b3067,b1992). edge(b3067,b1993). edge(b3067,b2000). edge(b3067,b2022). edge(b3067,b2023). edge(b3067,b2024). edge(b3067,b2025). edge(b3067,b2026). edge(b3067,b2029). edge(b3067,b2058). edge(b3067,b2059). edge(b3067,b2060). edge(b3067,b2061). edge(b3067,b2062). edge(b3067,b2068). edge(b3067,b2091). edge(b3067,b2092). edge(b3067,b2093). edge(b3067,b2094). edge(b3067,b2095). edge(b3067,b2096). edge(b3067,b2105). edge(b3067,b2106). edge(b3067,b2132). edge(b3067,b2143). edge(b3067,b2148). edge(b3067,b2149). edge(b3067,b2150). edge(b3067,b2151). edge(b3067,b2155). edge(b3067,b2156). edge(b3067,b2159). edge(b3067,b2162). edge(b3067,b2167). edge(b3067,b2168). edge(b3067,b2169). edge(b3067,b2177). edge(b3067,b2178). edge(b3067,b2179). edge(b3067,b2180). edge(b3067,b2189). edge(b3067,b2194). edge(b3067,b2195). edge(b3067,b2196). edge(b3067,b2197). edge(b3067,b2198). edge(b3067,b2199). edge(b3067,b2200). edge(b3067,b2201). edge(b3067,b2202). edge(b3067,b2203). edge(b3067,b2204). edge(b3067,b2205). edge(b3067,b2206). edge(b3067,b2207). edge(b3067,b2208). edge(b3067,b2212). edge(b3067,b2213). edge(b3067,b2215). edge(b3067,b2231). edge(b3067,b2232). edge(b3067,b2234). edge(b3067,b2235). edge(b3067,b2237). edge(b3067,b2239). edge(b3067,b2240). edge(b3067,b2241). edge(b3067,b2242). edge(b3067,b2243). edge(b3067,b2260). edge(b3067,b2261). edge(b3067,b2262). edge(b3067,b2276). edge(b3067,b2277). edge(b3067,b2278). edge(b3067,b2279). edge(b3067,b2280). edge(b3067,b2281). edge(b3067,b2282). edge(b3067,b2283). edge(b3067,b2284). edge(b3067,b2285). edge(b3067,b2286). edge(b3067,b2287). edge(b3067,b2288). edge(b3067,b2306). edge(b3067,b2307). edge(b3067,b2308). edge(b3067,b2309). edge(b3067,b2311). edge(b3067,b2312). edge(b3067,b2313). edge(b3067,b2316). edge(b3067,b2340). edge(b3067,b2341). edge(b3067,b2342). edge(b3067,b2344). edge(b3067,b2348). edge(b3067,b2364). edge(b3067,b2365). edge(b3067,b2366). edge(b3067,b2369). edge(b3067,b2370). edge(b3067,b2374). edge(b3067,b2375). edge(b3067,b2379). edge(b3067,b2393). edge(b3067,b2396). edge(b3067,b2397). edge(b3067,b2400). edge(b3067,b2401). edge(b3067,b2402). edge(b3067,b2403). edge(b3067,b2404). edge(b3067,b2405). edge(b3067,b2406). edge(b3067,b2407). edge(b3067,b2414). edge(b3067,b2415). edge(b3067,b2416). edge(b3067,b2417). edge(b3067,b2421). edge(b3067,b2422). edge(b3067,b2423). edge(b3067,b2424). edge(b3067,b2425). edge(b3067,b2435). edge(b3067,b2436). edge(b3067,b2471). edge(b3067,b2472). edge(b3067,b2476). edge(b3067,b2477). edge(b3067,b2478). edge(b3067,b2479). edge(b3067,b2480). edge(b3067,b2497). edge(b3067,b2498). edge(b3067,b2499). edge(b3067,b2500). edge(b3067,b2507). edge(b3067,b2508). edge(b3067,b2509). edge(b3067,b2514). edge(b3067,b2524). edge(b3067,b2525). edge(b3067,b2526). edge(b3067,b2527). edge(b3067,b2528). edge(b3067,b2529). edge(b3067,b2530). edge(b3067,b2531). edge(b3067,b2535). edge(b3067,b2551). edge(b3067,b2553). edge(b3067,b2557). edge(b3067,b2563). edge(b3067,b2564). edge(b3067,b2565). edge(b3067,b2566). edge(b3067,b2567). edge(b3067,b2570). edge(b3067,b2571). edge(b3067,b2572). edge(b3067,b2573). edge(b3067,b2574). edge(b3067,b2582). edge(b3067,b2588). edge(b3067,b2589). edge(b3067,b2590). edge(b3067,b2591). edge(b3067,b2592). edge(b3067,b2600). edge(b3067,b2601). edge(b3067,b2606). edge(b3067,b2607). edge(b3067,b2608). edge(b3067,b2609). edge(b3067,b2616). edge(b3067,b2661). edge(b3067,b2662). edge(b3067,b2663). edge(b3067,b2669). edge(b3067,b2677). edge(b3067,b2678). edge(b3067,b2679). edge(b3067,b2684). edge(b3067,b2685). edge(b3067,b2686). edge(b3067,b2691). edge(b3067,b2692). edge(b3067,b2693). edge(b3067,b2694). edge(b3067,b2695). edge(b3067,b2698). edge(b3067,b2699). edge(b3067,b2702). edge(b3067,b2703). edge(b3067,b2704). edge(b3067,b2705). edge(b3067,b2706). edge(b3067,b2707). edge(b3067,b2708). edge(b3067,b2712). edge(b3067,b2714). edge(b3067,b2715). edge(b3067,b2716). edge(b3067,b2741). edge(b3067,b2743). edge(b3067,b2744). edge(b3067,b2750). edge(b3067,b2751). edge(b3067,b2752). edge(b3067,b2762). edge(b3067,b2763). edge(b3067,b2764). edge(b3067,b2782). edge(b3067,b2783). edge(b3067,b2784). edge(b3067,b2796). edge(b3067,b2797). edge(b3067,b2799). edge(b3067,b2800). edge(b3067,b2801). edge(b3067,b2802). edge(b3067,b2803). edge(b3067,b2804). edge(b3067,b2805). edge(b3067,b2808). edge(b3067,b2814). edge(b3067,b2815). edge(b3067,b2816). edge(b3067,b2837). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)