(defrule startup => (assert (stage (value duplicate)) (line (p1 50003) (p2 60003)) (line (p1 30005) (p2 30006)) (line (p1 80005) (p2 80006)) (line (p1 50008) (p2 60008)) (line (p1 0) (p2 20000)) (line (p1 20000) (p2 30000)) (line (p1 30000) (p2 40000)) (line (p1 0) (p2 2)) (line (p1 2) (p2 3)) (line (p1 3) (p2 4)) (line (p1 4) (p2 40004)) (line (p1 40004) (p2 40000)) (line (p1 40000) (p2 50001)) (line (p1 50001) (p2 50002)) (line (p1 50002) (p2 50003)) (line (p1 50003) (p2 50005)) (line (p1 50005) (p2 40004)) (line (p1 50005) (p2 30005)) (line (p1 30005) (p2 20005)) (line (p1 20005) (p2 10005)) (line (p1 10005) (p2 4)) (line (p1 60000) (p2 80000)) (line (p1 80000) (p2 90000)) (line (p1 90000) (p2 100000)) (line (p1 60000) (p2 60002)) (line (p1 60002) (p2 60003)) (line (p1 60003) (p2 60004)) (line (p1 60004) (p2 100004)) (line (p1 100004) (p2 100000)) (line (p1 100000) (p2 110001)) (line (p1 110001) (p2 110002)) (line (p1 110002) (p2 110003)) (line (p1 110003) (p2 110005)) (line (p1 110005) (p2 100004)) (line (p1 110005) (p2 90005)) (line (p1 90005) (p2 80005)) (line (p1 80005) (p2 70005)) (line (p1 70005) (p2 60004)) (line (p1 6) (p2 20006)) (line (p1 20006) (p2 30006)) (line (p1 30006) (p2 40006)) (line (p1 6) (p2 8)) (line (p1 8) (p2 9)) (line (p1 9) (p2 10)) (line (p1 10) (p2 40010)) (line (p1 40010) (p2 40006)) (line (p1 40006) (p2 50007)) (line (p1 50007) (p2 50008)) (line (p1 50008) (p2 50009)) (line (p1 50009) (p2 50011)) (line (p1 50011) (p2 40010)) (line (p1 50011) (p2 30011)) (line (p1 30011) (p2 20011)) (line (p1 20011) (p2 10011)) (line (p1 10011) (p2 10)) (line (p1 60006) (p2 80006)) (line (p1 80006) (p2 90006)) (line (p1 90006) (p2 100006)) (line (p1 60006) (p2 60008)) (line (p1 60008) (p2 60009)) (line (p1 60009) (p2 60010)) (line (p1 60010) (p2 100010)) (line (p1 100010) (p2 100006)) (line (p1 100006) (p2 110007)) (line (p1 110007) (p2 110008)) (line (p1 110008) (p2 110009)) (line (p1 110009) (p2 110011)) (line (p1 110011) (p2 100010)) (line (p1 110011) (p2 90011)) (line (p1 90011) (p2 80011)) (line (p1 80011) (p2 70011)) (line (p1 70011) (p2 60010)) (line (p1 170003) (p2 180003)) (line (p1 150005) (p2 150006)) (line (p1 200005) (p2 200006)) (line (p1 170008) (p2 180008)) (line (p1 120000) (p2 140000)) (line (p1 140000) (p2 150000)) (line (p1 150000) (p2 160000)) (line (p1 120000) (p2 120002)) (line (p1 120002) (p2 120003)) (line (p1 120003) (p2 120004)) (line (p1 120004) (p2 160004)) (line (p1 160004) (p2 160000)) (line (p1 160000) (p2 170001)) (line (p1 170001) (p2 170002)) (line (p1 170002) (p2 170003)) (line (p1 170003) (p2 170005)) (line (p1 170005) (p2 160004)) (line (p1 170005) (p2 150005)) (line (p1 150005) (p2 140005)) (line (p1 140005) (p2 130005)) (line (p1 130005) (p2 120004)) (line (p1 180000) (p2 200000)) (line (p1 200000) (p2 210000)) (line (p1 210000) (p2 220000)) (line (p1 180000) (p2 180002)) (line (p1 180002) (p2 180003)) (line (p1 180003) (p2 180004)) (line (p1 180004) (p2 220004)) (line (p1 220004) (p2 220000)) (line (p1 220000) (p2 230001)) (line (p1 230001) (p2 230002)) (line (p1 230002) (p2 230003)) (line (p1 230003) (p2 230005)) (line (p1 230005) (p2 220004)) (line (p1 230005) (p2 210005)) (line (p1 210005) (p2 200005)) (line (p1 200005) (p2 190005)) (line (p1 190005) (p2 180004)) (line (p1 120006) (p2 140006)) (line (p1 140006) (p2 150006)) (line (p1 150006) (p2 160006)) (line (p1 120006) (p2 120008)) (line (p1 120008) (p2 120009)) (line (p1 120009) (p2 120010)) (line (p1 120010) (p2 160010)) (line (p1 160010) (p2 160006)) (line (p1 160006) (p2 170007)) (line (p1 170007) (p2 170008)) (line (p1 170008) (p2 170009)) (line (p1 170009) (p2 170011)) (line (p1 170011) (p2 160010)) (line (p1 170011) (p2 150011)) (line (p1 150011) (p2 140011)) (line (p1 140011) (p2 130011)) (line (p1 130011) (p2 120010)) (line (p1 180006) (p2 200006)) (line (p1 200006) (p2 210006)) (line (p1 210006) (p2 220006)) (line (p1 180006) (p2 180008)) (line (p1 180008) (p2 180009)) (line (p1 180009) (p2 180010)) (line (p1 180010) (p2 220010)) (line (p1 220010) (p2 220006)) (line (p1 220006) (p2 230007)) (line (p1 230007) (p2 230008)) (line (p1 230008) (p2 230009)) (line (p1 230009) (p2 230011)) (line (p1 230011) (p2 220010)) (line (p1 230011) (p2 210011)) (line (p1 210011) (p2 200011)) (line (p1 200011) (p2 190011)) (line (p1 190011) (p2 180010)) (line (p1 110003) (p2 120003)) (line (p1 90005) (p2 90006)) (line (p1 140005) (p2 140006)) (line (p1 110008) (p2 120008)) (line (p1 290003) (p2 300003)) (line (p1 270005) (p2 270006)) (line (p1 320005) (p2 320006)) (line (p1 290008) (p2 300008)) (line (p1 240000) (p2 260000)) (line (p1 260000) (p2 270000)) (line (p1 270000) (p2 280000)) (line (p1 240000) (p2 240002)) (line (p1 240002) (p2 240003)) (line (p1 240003) (p2 240004)) (line (p1 240004) (p2 280004)) (line (p1 280004) (p2 280000)) (line (p1 280000) (p2 290001)) (line (p1 290001) (p2 290002)) (line (p1 290002) (p2 290003)) (line (p1 290003) (p2 290005)) (line (p1 290005) (p2 280004)) (line (p1 290005) (p2 270005)) (line (p1 270005) (p2 260005)) (line (p1 260005) (p2 250005)) (line (p1 250005) (p2 240004)) (line (p1 300000) (p2 320000)) (line (p1 320000) (p2 330000)) (line (p1 330000) (p2 340000)) (line (p1 300000) (p2 300002)) (line (p1 300002) (p2 300003)) (line (p1 300003) (p2 300004)) (line (p1 300004) (p2 340004)) (line (p1 340004) (p2 340000)) (line (p1 340000) (p2 350001)) (line (p1 350001) (p2 350002)) (line (p1 350002) (p2 350003)) (line (p1 350003) (p2 350005)) (line (p1 350005) (p2 340004)) (line (p1 350005) (p2 330005)) (line (p1 330005) (p2 320005)) (line (p1 320005) (p2 310005)) (line (p1 310005) (p2 300004)) (line (p1 240006) (p2 260006)) (line (p1 260006) (p2 270006)) (line (p1 270006) (p2 280006)) (line (p1 240006) (p2 240008)) (line (p1 240008) (p2 240009)) (line (p1 240009) (p2 240010)) (line (p1 240010) (p2 280010)) (line (p1 280010) (p2 280006)) (line (p1 280006) (p2 290007)) (line (p1 290007) (p2 290008)) (line (p1 290008) (p2 290009)) (line (p1 290009) (p2 290011)) (line (p1 290011) (p2 280010)) (line (p1 290011) (p2 270011)) (line (p1 270011) (p2 260011)) (line (p1 260011) (p2 250011)) (line (p1 250011) (p2 240010)) (line (p1 300006) (p2 320006)) (line (p1 320006) (p2 330006)) (line (p1 330006) (p2 340006)) (line (p1 300006) (p2 300008)) (line (p1 300008) (p2 300009)) (line (p1 300009) (p2 300010)) (line (p1 300010) (p2 340010)) (line (p1 340010) (p2 340006)) (line (p1 340006) (p2 350007)) (line (p1 350007) (p2 350008)) (line (p1 350008) (p2 350009)) (line (p1 350009) (p2 350011)) (line (p1 350011) (p2 340010)) (line (p1 350011) (p2 330011)) (line (p1 330011) (p2 320011)) (line (p1 320011) (p2 310011)) (line (p1 310011) (p2 300010)) (line (p1 230003) (p2 240003)) (line (p1 210005) (p2 210006)) (line (p1 260005) (p2 260006)) (line (p1 230008) (p2 240008)) (line (p1 410003) (p2 420003)) (line (p1 390005) (p2 390006)) (line (p1 440005) (p2 440006)) (line (p1 410008) (p2 420008)) (line (p1 360000) (p2 380000)) (line (p1 380000) (p2 390000)) (line (p1 390000) (p2 400000)) (line (p1 360000) (p2 360002)) (line (p1 360002) (p2 360003)) (line (p1 360003) (p2 360004)) (line (p1 360004) (p2 400004)) (line (p1 400004) (p2 400000)) (line (p1 400000) (p2 410001)) (line (p1 410001) (p2 410002)) (line (p1 410002) (p2 410003)) (line (p1 410003) (p2 410005)) (line (p1 410005) (p2 400004)) (line (p1 410005) (p2 390005)) (line (p1 390005) (p2 380005)) (line (p1 380005) (p2 370005)) (line (p1 370005) (p2 360004)) (line (p1 420000) (p2 440000)) (line (p1 440000) (p2 450000)) (line (p1 450000) (p2 460000)) (line (p1 420000) (p2 420002)) (line (p1 420002) (p2 420003)) (line (p1 420003) (p2 420004)) (line (p1 420004) (p2 460004)) (line (p1 460004) (p2 460000)) (line (p1 460000) (p2 470001)) (line (p1 470001) (p2 470002)) (line (p1 470002) (p2 470003)) (line (p1 470003) (p2 470005)) (line (p1 470005) (p2 460004)) (line (p1 470005) (p2 450005)) (line (p1 450005) (p2 440005)) (line (p1 440005) (p2 430005)) (line (p1 430005) (p2 420004)) (line (p1 360006) (p2 380006)) (line (p1 380006) (p2 390006)) (line (p1 390006) (p2 400006)) (line (p1 360006) (p2 360008)) (line (p1 360008) (p2 360009)) (line (p1 360009) (p2 360010)) (line (p1 360010) (p2 400010)) (line (p1 400010) (p2 400006)) (line (p1 400006) (p2 410007)) (line (p1 410007) (p2 410008)) (line (p1 410008) (p2 410009)) (line (p1 410009) (p2 410011)) (line (p1 410011) (p2 400010)) (line (p1 410011) (p2 390011)) (line (p1 390011) (p2 380011)) (line (p1 380011) (p2 370011)) (line (p1 370011) (p2 360010)) (line (p1 420006) (p2 440006)) (line (p1 440006) (p2 450006)) (line (p1 450006) (p2 460006)) (line (p1 420006) (p2 420008)) (line (p1 420008) (p2 420009)) (line (p1 420009) (p2 420010)) (line (p1 420010) (p2 460010)) (line (p1 460010) (p2 460006)) (line (p1 460006) (p2 470007)) (line (p1 470007) (p2 470008)) (line (p1 470008) (p2 470009)) (line (p1 470009) (p2 470011)) (line (p1 470011) (p2 460010)) (line (p1 470011) (p2 450011)) (line (p1 450011) (p2 440011)) (line (p1 440011) (p2 430011)) (line (p1 430011) (p2 420010)) (line (p1 350003) (p2 360003)) (line (p1 330005) (p2 330006)) (line (p1 380005) (p2 380006)) (line (p1 350008) (p2 360008)) (line (p1 530003) (p2 540003)) (line (p1 510005) (p2 510006)) (line (p1 560005) (p2 560006)) (line (p1 530008) (p2 540008)) (line (p1 480000) (p2 500000)) (line (p1 500000) (p2 510000)) (line (p1 510000) (p2 520000)) (line (p1 480000) (p2 480002)) (line (p1 480002) (p2 480003)) (line (p1 480003) (p2 480004)) (line (p1 480004) (p2 520004)) (line (p1 520004) (p2 520000)) (line (p1 520000) (p2 530001)) (line (p1 530001) (p2 530002)) (line (p1 530002) (p2 530003)) (line (p1 530003) (p2 530005)) (line (p1 530005) (p2 520004)) (line (p1 530005) (p2 510005)) (line (p1 510005) (p2 500005)) (line (p1 500005) (p2 490005)) (line (p1 490005) (p2 480004)) (line (p1 540000) (p2 560000)) (line (p1 560000) (p2 570000)) (line (p1 570000) (p2 580000)) (line (p1 540000) (p2 540002)) (line (p1 540002) (p2 540003)) (line (p1 540003) (p2 540004)) (line (p1 540004) (p2 580004)) (line (p1 580004) (p2 580000)) (line (p1 580000) (p2 590001)) (line (p1 590001) (p2 590002)) (line (p1 590002) (p2 590003)) (line (p1 590003) (p2 590005)) (line (p1 590005) (p2 580004)) (line (p1 590005) (p2 570005)) (line (p1 570005) (p2 560005)) (line (p1 560005) (p2 550005)) (line (p1 550005) (p2 540004)) (line (p1 480006) (p2 500006)) (line (p1 500006) (p2 510006)) (line (p1 510006) (p2 520006)) (line (p1 480006) (p2 480008)) (line (p1 480008) (p2 480009)) (line (p1 480009) (p2 480010)) (line (p1 480010) (p2 520010)) (line (p1 520010) (p2 520006)) (line (p1 520006) (p2 530007)) (line (p1 530007) (p2 530008)) (line (p1 530008) (p2 530009)) (line (p1 530009) (p2 530011)) (line (p1 530011) (p2 520010)) (line (p1 530011) (p2 510011)) (line (p1 510011) (p2 500011)) (line (p1 500011) (p2 490011)) (line (p1 490011) (p2 480010)) (line (p1 540006) (p2 560006)) (line (p1 560006) (p2 570006)) (line (p1 570006) (p2 580006)) (line (p1 540006) (p2 540008)) (line (p1 540008) (p2 540009)) (line (p1 540009) (p2 540010)) (line (p1 540010) (p2 580010)) (line (p1 580010) (p2 580006)) (line (p1 580006) (p2 590007)) (line (p1 590007) (p2 590008)) (line (p1 590008) (p2 590009)) (line (p1 590009) (p2 590011)) (line (p1 590011) (p2 580010)) (line (p1 590011) (p2 570011)) (line (p1 570011) (p2 560011)) (line (p1 560011) (p2 550011)) (line (p1 550011) (p2 540010)) (line (p1 470003) (p2 480003)) (line (p1 450005) (p2 450006)) (line (p1 500005) (p2 500006)) (line (p1 470008) (p2 480008)) (line (p1 650003) (p2 660003)) (line (p1 630005) (p2 630006)) (line (p1 680005) (p2 680006)) (line (p1 650008) (p2 660008)) (line (p1 600000) (p2 620000)) (line (p1 620000) (p2 630000)) (line (p1 630000) (p2 640000)) (line (p1 600000) (p2 600002)) (line (p1 600002) (p2 600003)) (line (p1 600003) (p2 600004)) (line (p1 600004) (p2 640004)) (line (p1 640004) (p2 640000)) (line (p1 640000) (p2 650001)) (line (p1 650001) (p2 650002)) (line (p1 650002) (p2 650003)) (line (p1 650003) (p2 650005)) (line (p1 650005) (p2 640004)) (line (p1 650005) (p2 630005)) (line (p1 630005) (p2 620005)) (line (p1 620005) (p2 610005)) (line (p1 610005) (p2 600004)) (line (p1 660000) (p2 680000)) (line (p1 680000) (p2 690000)) (line (p1 690000) (p2 700000)) (line (p1 660000) (p2 660002)) (line (p1 660002) (p2 660003)) (line (p1 660003) (p2 660004)) (line (p1 660004) (p2 700004)) (line (p1 700004) (p2 700000)) (line (p1 700000) (p2 710001)) (line (p1 710001) (p2 710002)) (line (p1 710002) (p2 710003)) (line (p1 710003) (p2 710005)) (line (p1 710005) (p2 700004)) (line (p1 710005) (p2 690005)) (line (p1 690005) (p2 680005)) (line (p1 680005) (p2 670005)) (line (p1 670005) (p2 660004)) (line (p1 600006) (p2 620006)) (line (p1 620006) (p2 630006)) (line (p1 630006) (p2 640006)) (line (p1 600006) (p2 600008)) (line (p1 600008) (p2 600009)) (line (p1 600009) (p2 600010)) (line (p1 600010) (p2 640010)) (line (p1 640010) (p2 640006)) (line (p1 640006) (p2 650007)) (line (p1 650007) (p2 650008)) (line (p1 650008) (p2 650009)) (line (p1 650009) (p2 650011)) (line (p1 650011) (p2 640010)) (line (p1 650011) (p2 630011)) (line (p1 630011) (p2 620011)) (line (p1 620011) (p2 610011)) (line (p1 610011) (p2 600010)) (line (p1 660006) (p2 680006)) (line (p1 680006) (p2 690006)) (line (p1 690006) (p2 700006)) (line (p1 660006) (p2 660008)) (line (p1 660008) (p2 660009)) (line (p1 660009) (p2 660010)) (line (p1 660010) (p2 700010)) (line (p1 700010) (p2 700006)) (line (p1 700006) (p2 710007)) (line (p1 710007) (p2 710008)) (line (p1 710008) (p2 710009)) (line (p1 710009) (p2 710011)) (line (p1 710011) (p2 700010)) (line (p1 710011) (p2 690011)) (line (p1 690011) (p2 680011)) (line (p1 680011) (p2 670011)) (line (p1 670011) (p2 660010)) (line (p1 590003) (p2 600003)) (line (p1 570005) (p2 570006)) (line (p1 620005) (p2 620006)) (line (p1 590008) (p2 600008)) (line (p1 770003) (p2 780003)) (line (p1 750005) (p2 750006)) (line (p1 800005) (p2 800006)) (line (p1 770008) (p2 780008)) (line (p1 720000) (p2 740000)) (line (p1 740000) (p2 750000)) (line (p1 750000) (p2 760000)) (line (p1 720000) (p2 720002)) (line (p1 720002) (p2 720003)) (line (p1 720003) (p2 720004)) (line (p1 720004) (p2 760004)) (line (p1 760004) (p2 760000)) (line (p1 760000) (p2 770001)) (line (p1 770001) (p2 770002)) (line (p1 770002) (p2 770003)) (line (p1 770003) (p2 770005)) (line (p1 770005) (p2 760004)) (line (p1 770005) (p2 750005)) (line (p1 750005) (p2 740005)) (line (p1 740005) (p2 730005)) (line (p1 730005) (p2 720004)) (line (p1 780000) (p2 800000)) (line (p1 800000) (p2 810000)) (line (p1 810000) (p2 820000)) (line (p1 780000) (p2 780002)) (line (p1 780002) (p2 780003)) (line (p1 780003) (p2 780004)) (line (p1 780004) (p2 820004)) (line (p1 820004) (p2 820000)) (line (p1 820000) (p2 830001)) (line (p1 830001) (p2 830002)) (line (p1 830002) (p2 830003)) (line (p1 830003) (p2 830005)) (line (p1 830005) (p2 820004)) (line (p1 830005) (p2 810005)) (line (p1 810005) (p2 800005)) (line (p1 800005) (p2 790005)) (line (p1 790005) (p2 780004)) (line (p1 720006) (p2 740006)) (line (p1 740006) (p2 750006)) (line (p1 750006) (p2 760006)) (line (p1 720006) (p2 720008)) (line (p1 720008) (p2 720009)) (line (p1 720009) (p2 720010)) (line (p1 720010) (p2 760010)) (line (p1 760010) (p2 760006)) (line (p1 760006) (p2 770007)) (line (p1 770007) (p2 770008)) (line (p1 770008) (p2 770009)) (line (p1 770009) (p2 770011)) (line (p1 770011) (p2 760010)) (line (p1 770011) (p2 750011)) (line (p1 750011) (p2 740011)) (line (p1 740011) (p2 730011)) (line (p1 730011) (p2 720010)) (line (p1 780006) (p2 800006)) (line (p1 800006) (p2 810006)) (line (p1 810006) (p2 820006)) (line (p1 780006) (p2 780008)) (line (p1 780008) (p2 780009)) (line (p1 780009) (p2 780010)) (line (p1 780010) (p2 820010)) (line (p1 820010) (p2 820006)) (line (p1 820006) (p2 830007)) (line (p1 830007) (p2 830008)) (line (p1 830008) (p2 830009)) (line (p1 830009) (p2 830011)) (line (p1 830011) (p2 820010)) (line (p1 830011) (p2 810011)) (line (p1 810011) (p2 800011)) (line (p1 800011) (p2 790011)) (line (p1 790011) (p2 780010)) (line (p1 710003) (p2 720003)) (line (p1 690005) (p2 690006)) (line (p1 740005) (p2 740006)) (line (p1 710008) (p2 720008)) (line (p1 890003) (p2 900003)) (line (p1 870005) (p2 870006)) (line (p1 920005) (p2 920006)) (line (p1 890008) (p2 900008)) (line (p1 840000) (p2 860000)) (line (p1 860000) (p2 870000)) (line (p1 870000) (p2 880000)) (line (p1 840000) (p2 840002)) (line (p1 840002) (p2 840003)) (line (p1 840003) (p2 840004)) (line (p1 840004) (p2 880004)) (line (p1 880004) (p2 880000)) (line (p1 880000) (p2 890001)) (line (p1 890001) (p2 890002)) (line (p1 890002) (p2 890003)) (line (p1 890003) (p2 890005)) (line (p1 890005) (p2 880004)) (line (p1 890005) (p2 870005)) (line (p1 870005) (p2 860005)) (line (p1 860005) (p2 850005)) (line (p1 850005) (p2 840004)) (line (p1 900000) (p2 920000)) (line (p1 920000) (p2 930000)) (line (p1 930000) (p2 940000)) (line (p1 900000) (p2 900002)) (line (p1 900002) (p2 900003)) (line (p1 900003) (p2 900004)) (line (p1 900004) (p2 940004)) (line (p1 940004) (p2 940000)) (line (p1 940000) (p2 950001)) (line (p1 950001) (p2 950002)) (line (p1 950002) (p2 950003)) (line (p1 950003) (p2 950005)) (line (p1 950005) (p2 940004)) (line (p1 950005) (p2 930005)) (line (p1 930005) (p2 920005)) (line (p1 920005) (p2 910005)) (line (p1 910005) (p2 900004)) (line (p1 840006) (p2 860006)) (line (p1 860006) (p2 870006)) (line (p1 870006) (p2 880006)) (line (p1 840006) (p2 840008)) (line (p1 840008) (p2 840009)) (line (p1 840009) (p2 840010)) (line (p1 840010) (p2 880010)) (line (p1 880010) (p2 880006)) (line (p1 880006) (p2 890007)) (line (p1 890007) (p2 890008)) (line (p1 890008) (p2 890009)) (line (p1 890009) (p2 890011)) (line (p1 890011) (p2 880010)) (line (p1 890011) (p2 870011)) (line (p1 870011) (p2 860011)) (line (p1 860011) (p2 850011)) (line (p1 850011) (p2 840010)) (line (p1 900006) (p2 920006)) (line (p1 920006) (p2 930006)) (line (p1 930006) (p2 940006)) (line (p1 900006) (p2 900008)) (line (p1 900008) (p2 900009)) (line (p1 900009) (p2 900010)) (line (p1 900010) (p2 940010)) (line (p1 940010) (p2 940006)) (line (p1 940006) (p2 950007)) (line (p1 950007) (p2 950008)) (line (p1 950008) (p2 950009)) (line (p1 950009) (p2 950011)) (line (p1 950011) (p2 940010)) (line (p1 950011) (p2 930011)) (line (p1 930011) (p2 920011)) (line (p1 920011) (p2 910011)) (line (p1 910011) (p2 900010)) (line (p1 830003) (p2 840003)) (line (p1 810005) (p2 810006)) (line (p1 860005) (p2 860006)) (line (p1 830008) (p2 840008)) (line (p1 1010003) (p2 1020003)) (line (p1 990005) (p2 990006)) (line (p1 1040005) (p2 1040006)) (line (p1 1010008) (p2 1020008)) (line (p1 960000) (p2 980000)) (line (p1 980000) (p2 990000)) (line (p1 990000) (p2 1000000)) (line (p1 960000) (p2 960002)) (line (p1 960002) (p2 960003)) (line (p1 960003) (p2 960004)) (line (p1 960004) (p2 1000004)) (line (p1 1000004) (p2 1000000)) (line (p1 1000000) (p2 1010001)) (line (p1 1010001) (p2 1010002)) (line (p1 1010002) (p2 1010003)) (line (p1 1010003) (p2 1010005)) (line (p1 1010005) (p2 1000004)) (line (p1 1010005) (p2 990005)) (line (p1 990005) (p2 980005)) (line (p1 980005) (p2 970005)) (line (p1 970005) (p2 960004)) (line (p1 1020000) (p2 1040000)) (line (p1 1040000) (p2 1050000)) (line (p1 1050000) (p2 1060000)) (line (p1 1020000) (p2 1020002)) (line (p1 1020002) (p2 1020003)) (line (p1 1020003) (p2 1020004)) (line (p1 1020004) (p2 1060004)) (line (p1 1060004) (p2 1060000)) (line (p1 1060000) (p2 1070001)) (line (p1 1070001) (p2 1070002)) (line (p1 1070002) (p2 1070003)) (line (p1 1070003) (p2 1070005)) (line (p1 1070005) (p2 1060004)) (line (p1 1070005) (p2 1050005)) (line (p1 1050005) (p2 1040005)) (line (p1 1040005) (p2 1030005)) (line (p1 1030005) (p2 1020004)) (line (p1 960006) (p2 980006)) (line (p1 980006) (p2 990006)) (line (p1 990006) (p2 1000006)) (line (p1 960006) (p2 960008)) (line (p1 960008) (p2 960009)) (line (p1 960009) (p2 960010)) (line (p1 960010) (p2 1000010)) (line (p1 1000010) (p2 1000006)) (line (p1 1000006) (p2 1010007)) (line (p1 1010007) (p2 1010008)) (line (p1 1010008) (p2 1010009)) (line (p1 1010009) (p2 1010011)) (line (p1 1010011) (p2 1000010)) (line (p1 1010011) (p2 990011)) (line (p1 990011) (p2 980011)) (line (p1 980011) (p2 970011)) (line (p1 970011) (p2 960010)) (line (p1 1020006) (p2 1040006)) (line (p1 1040006) (p2 1050006)) (line (p1 1050006) (p2 1060006)) (line (p1 1020006) (p2 1020008)) (line (p1 1020008) (p2 1020009)) (line (p1 1020009) (p2 1020010)) (line (p1 1020010) (p2 1060010)) (line (p1 1060010) (p2 1060006)) (line (p1 1060006) (p2 1070007)) (line (p1 1070007) (p2 1070008)) (line (p1 1070008) (p2 1070009)) (line (p1 1070009) (p2 1070011)) (line (p1 1070011) (p2 1060010)) (line (p1 1070011) (p2 1050011)) (line (p1 1050011) (p2 1040011)) (line (p1 1040011) (p2 1030011)) (line (p1 1030011) (p2 1020010)) (line (p1 950003) (p2 960003)) (line (p1 930005) (p2 930006)) (line (p1 980005) (p2 980006)) (line (p1 950008) (p2 960008)) (line (p1 1130003) (p2 1140003)) (line (p1 1110005) (p2 1110006)) (line (p1 1160005) (p2 1160006)) (line (p1 1130008) (p2 1140008)) (line (p1 1080000) (p2 1100000)) (line (p1 1100000) (p2 1110000)) (line (p1 1110000) (p2 1120000)) (line (p1 1080000) (p2 1080002)) (line (p1 1080002) (p2 1080003)) (line (p1 1080003) (p2 1080004)) (line (p1 1080004) (p2 1120004)) (line (p1 1120004) (p2 1120000)) (line (p1 1120000) (p2 1130001)) (line (p1 1130001) (p2 1130002)) (line (p1 1130002) (p2 1130003)) (line (p1 1130003) (p2 1130005)) (line (p1 1130005) (p2 1120004)) (line (p1 1130005) (p2 1110005)) (line (p1 1110005) (p2 1100005)) (line (p1 1100005) (p2 1090005)) (line (p1 1090005) (p2 1080004)) (line (p1 1140000) (p2 1160000)) (line (p1 1160000) (p2 1170000)) (line (p1 1170000) (p2 1180000)) (line (p1 1140000) (p2 1140002)) (line (p1 1140002) (p2 1140003)) (line (p1 1140003) (p2 1140004)) (line (p1 1140004) (p2 1180004)) (line (p1 1180004) (p2 1180000)) (line (p1 1180000) (p2 1190001)) (line (p1 1190001) (p2 1190002)) (line (p1 1190002) (p2 1190003)) (line (p1 1190003) (p2 1190005)) (line (p1 1190005) (p2 1180004)) (line (p1 1190005) (p2 1170005)) (line (p1 1170005) (p2 1160005)) (line (p1 1160005) (p2 1150005)) (line (p1 1150005) (p2 1140004)) (line (p1 1080006) (p2 1100006)) (line (p1 1100006) (p2 1110006)) (line (p1 1110006) (p2 1120006)) (line (p1 1080006) (p2 1080008)) (line (p1 1080008) (p2 1080009)) (line (p1 1080009) (p2 1080010)) (line (p1 1080010) (p2 1120010)) (line (p1 1120010) (p2 1120006)) (line (p1 1120006) (p2 1130007)) (line (p1 1130007) (p2 1130008)) (line (p1 1130008) (p2 1130009)) (line (p1 1130009) (p2 1130011)) (line (p1 1130011) (p2 1120010)) (line (p1 1130011) (p2 1110011)) (line (p1 1110011) (p2 1100011)) (line (p1 1100011) (p2 1090011)) (line (p1 1090011) (p2 1080010)) (line (p1 1140006) (p2 1160006)) (line (p1 1160006) (p2 1170006)) (line (p1 1170006) (p2 1180006)) (line (p1 1140006) (p2 1140008)) (line (p1 1140008) (p2 1140009)) (line (p1 1140009) (p2 1140010)) (line (p1 1140010) (p2 1180010)) (line (p1 1180010) (p2 1180006)) (line (p1 1180006) (p2 1190007)) (line (p1 1190007) (p2 1190008)) (line (p1 1190008) (p2 1190009)) (line (p1 1190009) (p2 1190011)) (line (p1 1190011) (p2 1180010)) (line (p1 1190011) (p2 1170011)) (line (p1 1170011) (p2 1160011)) (line (p1 1160011) (p2 1150011)) (line (p1 1150011) (p2 1140010)) (line (p1 1070003) (p2 1080003)) (line (p1 1050005) (p2 1050006)) (line (p1 1100005) (p2 1100006)) (line (p1 1070008) (p2 1080008)) (line (p1 1250003) (p2 1260003)) (line (p1 1230005) (p2 1230006)) (line (p1 1280005) (p2 1280006)) (line (p1 1250008) (p2 1260008)) (line (p1 1200000) (p2 1220000)) (line (p1 1220000) (p2 1230000)) (line (p1 1230000) (p2 1240000)) (line (p1 1200000) (p2 1200002)) (line (p1 1200002) (p2 1200003)) (line (p1 1200003) (p2 1200004)) (line (p1 1200004) (p2 1240004)) (line (p1 1240004) (p2 1240000)) (line (p1 1240000) (p2 1250001)) (line (p1 1250001) (p2 1250002)) (line (p1 1250002) (p2 1250003)) (line (p1 1250003) (p2 1250005)) (line (p1 1250005) (p2 1240004)) (line (p1 1250005) (p2 1230005)) (line (p1 1230005) (p2 1220005)) (line (p1 1220005) (p2 1210005)) (line (p1 1210005) (p2 1200004)) (line (p1 1260000) (p2 1280000)) (line (p1 1280000) (p2 1290000)) (line (p1 1290000) (p2 1300000)) (line (p1 1260000) (p2 1260002)) (line (p1 1260002) (p2 1260003)) (line (p1 1260003) (p2 1260004)) (line (p1 1260004) (p2 1300004)) (line (p1 1300004) (p2 1300000)) (line (p1 1300000) (p2 1310001)) (line (p1 1310001) (p2 1310002)) (line (p1 1310002) (p2 1310003)) (line (p1 1310003) (p2 1310005)) (line (p1 1310005) (p2 1300004)) (line (p1 1310005) (p2 1290005)) (line (p1 1290005) (p2 1280005)) (line (p1 1280005) (p2 1270005)) (line (p1 1270005) (p2 1260004)) (line (p1 1200006) (p2 1220006)) (line (p1 1220006) (p2 1230006)) (line (p1 1230006) (p2 1240006)) (line (p1 1200006) (p2 1200008)) (line (p1 1200008) (p2 1200009)) (line (p1 1200009) (p2 1200010)) (line (p1 1200010) (p2 1240010)) (line (p1 1240010) (p2 1240006)) (line (p1 1240006) (p2 1250007)) (line (p1 1250007) (p2 1250008)) (line (p1 1250008) (p2 1250009)) (line (p1 1250009) (p2 1250011)) (line (p1 1250011) (p2 1240010)) (line (p1 1250011) (p2 1230011)) (line (p1 1230011) (p2 1220011)) (line (p1 1220011) (p2 1210011)) (line (p1 1210011) (p2 1200010)) (line (p1 1260006) (p2 1280006)) (line (p1 1280006) (p2 1290006)) (line (p1 1290006) (p2 1300006)) (line (p1 1260006) (p2 1260008)) (line (p1 1260008) (p2 1260009)) (line (p1 1260009) (p2 1260010)) (line (p1 1260010) (p2 1300010)) (line (p1 1300010) (p2 1300006)) (line (p1 1300006) (p2 1310007)) (line (p1 1310007) (p2 1310008)) (line (p1 1310008) (p2 1310009)) (line (p1 1310009) (p2 1310011)) (line (p1 1310011) (p2 1300010)) (line (p1 1310011) (p2 1290011)) (line (p1 1290011) (p2 1280011)) (line (p1 1280011) (p2 1270011)) (line (p1 1270011) (p2 1260010)) (line (p1 1190003) (p2 1200003)) (line (p1 1170005) (p2 1170006)) (line (p1 1220005) (p2 1220006)) (line (p1 1190008) (p2 1200008)) (line (p1 1370003) (p2 1380003)) (line (p1 1350005) (p2 1350006)) (line (p1 1400005) (p2 1400006)) (line (p1 1370008) (p2 1380008)) (line (p1 1320000) (p2 1340000)) (line (p1 1340000) (p2 1350000)) (line (p1 1350000) (p2 1360000)) (line (p1 1320000) (p2 1320002)) (line (p1 1320002) (p2 1320003)) (line (p1 1320003) (p2 1320004)) (line (p1 1320004) (p2 1360004)) (line (p1 1360004) (p2 1360000)) (line (p1 1360000) (p2 1370001)) (line (p1 1370001) (p2 1370002)) (line (p1 1370002) (p2 1370003)) (line (p1 1370003) (p2 1370005)) (line (p1 1370005) (p2 1360004)) (line (p1 1370005) (p2 1350005)) (line (p1 1350005) (p2 1340005)) (line (p1 1340005) (p2 1330005)) (line (p1 1330005) (p2 1320004)) (line (p1 1380000) (p2 1400000)) (line (p1 1400000) (p2 1410000)) (line (p1 1410000) (p2 1420000)) (line (p1 1380000) (p2 1380002)) (line (p1 1380002) (p2 1380003)) (line (p1 1380003) (p2 1380004)) (line (p1 1380004) (p2 1420004)) (line (p1 1420004) (p2 1420000)) (line (p1 1420000) (p2 1430001)) (line (p1 1430001) (p2 1430002)) (line (p1 1430002) (p2 1430003)) (line (p1 1430003) (p2 1430005)) (line (p1 1430005) (p2 1420004)) (line (p1 1430005) (p2 1410005)) (line (p1 1410005) (p2 1400005)) (line (p1 1400005) (p2 1390005)) (line (p1 1390005) (p2 1380004)) (line (p1 1320006) (p2 1340006)) (line (p1 1340006) (p2 1350006)) (line (p1 1350006) (p2 1360006)) (line (p1 1320006) (p2 1320008)) (line (p1 1320008) (p2 1320009)) (line (p1 1320009) (p2 1320010)) (line (p1 1320010) (p2 1360010)) (line (p1 1360010) (p2 1360006)) (line (p1 1360006) (p2 1370007)) (line (p1 1370007) (p2 1370008)) (line (p1 1370008) (p2 1370009)) (line (p1 1370009) (p2 1370011)) (line (p1 1370011) (p2 1360010)) (line (p1 1370011) (p2 1350011)) (line (p1 1350011) (p2 1340011)) (line (p1 1340011) (p2 1330011)) (line (p1 1330011) (p2 1320010)) (line (p1 1380006) (p2 1400006)) (line (p1 1400006) (p2 1410006)) (line (p1 1410006) (p2 1420006)) (line (p1 1380006) (p2 1380008)) (line (p1 1380008) (p2 1380009)) (line (p1 1380009) (p2 1380010)) (line (p1 1380010) (p2 1420010)) (line (p1 1420010) (p2 1420006)) (line (p1 1420006) (p2 1430007)) (line (p1 1430007) (p2 1430008)) (line (p1 1430008) (p2 1430009)) (line (p1 1430009) (p2 1430011)) (line (p1 1430011) (p2 1420010)) (line (p1 1430011) (p2 1410011)) (line (p1 1410011) (p2 1400011)) (line (p1 1400011) (p2 1390011)) (line (p1 1390011) (p2 1380010)) (line (p1 1310003) (p2 1320003)) (line (p1 1290005) (p2 1290006)) (line (p1 1340005) (p2 1340006)) (line (p1 1310008) (p2 1320008)) (line (p1 1490003) (p2 1500003)) (line (p1 1470005) (p2 1470006)) (line (p1 1520005) (p2 1520006)) (line (p1 1490008) (p2 1500008)) (line (p1 1440000) (p2 1460000)) (line (p1 1460000) (p2 1470000)) (line (p1 1470000) (p2 1480000)) (line (p1 1440000) (p2 1440002)) (line (p1 1440002) (p2 1440003)) (line (p1 1440003) (p2 1440004)) (line (p1 1440004) (p2 1480004)) (line (p1 1480004) (p2 1480000)) (line (p1 1480000) (p2 1490001)) (line (p1 1490001) (p2 1490002)) (line (p1 1490002) (p2 1490003)) (line (p1 1490003) (p2 1490005)) (line (p1 1490005) (p2 1480004)) (line (p1 1490005) (p2 1470005)) (line (p1 1470005) (p2 1460005)) (line (p1 1460005) (p2 1450005)) (line (p1 1450005) (p2 1440004)) (line (p1 1500000) (p2 1520000)) (line (p1 1520000) (p2 1530000)) (line (p1 1530000) (p2 1540000)) (line (p1 1500000) (p2 1500002)) (line (p1 1500002) (p2 1500003)) (line (p1 1500003) (p2 1500004)) (line (p1 1500004) (p2 1540004)) (line (p1 1540004) (p2 1540000)) (line (p1 1540000) (p2 1550001)) (line (p1 1550001) (p2 1550002)) (line (p1 1550002) (p2 1550003)) (line (p1 1550003) (p2 1550005)) (line (p1 1550005) (p2 1540004)) (line (p1 1550005) (p2 1530005)) (line (p1 1530005) (p2 1520005)) (line (p1 1520005) (p2 1510005)) (line (p1 1510005) (p2 1500004)) (line (p1 1440006) (p2 1460006)) (line (p1 1460006) (p2 1470006)) (line (p1 1470006) (p2 1480006)) (line (p1 1440006) (p2 1440008)) (line (p1 1440008) (p2 1440009)) (line (p1 1440009) (p2 1440010)) (line (p1 1440010) (p2 1480010)) (line (p1 1480010) (p2 1480006)) (line (p1 1480006) (p2 1490007)) (line (p1 1490007) (p2 1490008)) (line (p1 1490008) (p2 1490009)) (line (p1 1490009) (p2 1490011)) (line (p1 1490011) (p2 1480010)) (line (p1 1490011) (p2 1470011)) (line (p1 1470011) (p2 1460011)) (line (p1 1460011) (p2 1450011)) (line (p1 1450011) (p2 1440010)) (line (p1 1500006) (p2 1520006)) (line (p1 1520006) (p2 1530006)) (line (p1 1530006) (p2 1540006)) (line (p1 1500006) (p2 1500008)) (line (p1 1500008) (p2 1500009)) (line (p1 1500009) (p2 1500010)) (line (p1 1500010) (p2 1540010)) (line (p1 1540010) (p2 1540006)) (line (p1 1540006) (p2 1550007)) (line (p1 1550007) (p2 1550008)) (line (p1 1550008) (p2 1550009)) (line (p1 1550009) (p2 1550011)) (line (p1 1550011) (p2 1540010)) (line (p1 1550011) (p2 1530011)) (line (p1 1530011) (p2 1520011)) (line (p1 1520011) (p2 1510011)) (line (p1 1510011) (p2 1500010)) (line (p1 1430003) (p2 1440003)) (line (p1 1410005) (p2 1410006)) (line (p1 1460005) (p2 1460006)) (line (p1 1430008) (p2 1440008)) (line (p1 1610003) (p2 1620003)) (line (p1 1590005) (p2 1590006)) (line (p1 1640005) (p2 1640006)) (line (p1 1610008) (p2 1620008)) (line (p1 1560000) (p2 1580000)) (line (p1 1580000) (p2 1590000)) (line (p1 1590000) (p2 1600000)) (line (p1 1560000) (p2 1560002)) (line (p1 1560002) (p2 1560003)) (line (p1 1560003) (p2 1560004)) (line (p1 1560004) (p2 1600004)) (line (p1 1600004) (p2 1600000)) (line (p1 1600000) (p2 1610001)) (line (p1 1610001) (p2 1610002)) (line (p1 1610002) (p2 1610003)) (line (p1 1610003) (p2 1610005)) (line (p1 1610005) (p2 1600004)) (line (p1 1610005) (p2 1590005)) (line (p1 1590005) (p2 1580005)) (line (p1 1580005) (p2 1570005)) (line (p1 1570005) (p2 1560004)) (line (p1 1620000) (p2 1640000)) (line (p1 1640000) (p2 1650000)) (line (p1 1650000) (p2 1660000)) (line (p1 1620000) (p2 1620002)) (line (p1 1620002) (p2 1620003)) (line (p1 1620003) (p2 1620004)) (line (p1 1620004) (p2 1660004)) (line (p1 1660004) (p2 1660000)) (line (p1 1660000) (p2 1670001)) (line (p1 1670001) (p2 1670002)) (line (p1 1670002) (p2 1670003)) (line (p1 1670003) (p2 1670005)) (line (p1 1670005) (p2 1660004)) (line (p1 1670005) (p2 1650005)) (line (p1 1650005) (p2 1640005)) (line (p1 1640005) (p2 1630005)) (line (p1 1630005) (p2 1620004)) (line (p1 1560006) (p2 1580006)) (line (p1 1580006) (p2 1590006)) (line (p1 1590006) (p2 1600006)) (line (p1 1560006) (p2 1560008)) (line (p1 1560008) (p2 1560009)) (line (p1 1560009) (p2 1560010)) (line (p1 1560010) (p2 1600010)) (line (p1 1600010) (p2 1600006)) (line (p1 1600006) (p2 1610007)) (line (p1 1610007) (p2 1610008)) (line (p1 1610008) (p2 1610009)) (line (p1 1610009) (p2 1610011)) (line (p1 1610011) (p2 1600010)) (line (p1 1610011) (p2 1590011)) (line (p1 1590011) (p2 1580011)) (line (p1 1580011) (p2 1570011)) (line (p1 1570011) (p2 1560010)) (line (p1 1620006) (p2 1640006)) (line (p1 1640006) (p2 1650006)) (line (p1 1650006) (p2 1660006)) (line (p1 1620006) (p2 1620008)) (line (p1 1620008) (p2 1620009)) (line (p1 1620009) (p2 1620010)) (line (p1 1620010) (p2 1660010)) (line (p1 1660010) (p2 1660006)) (line (p1 1660006) (p2 1670007)) (line (p1 1670007) (p2 1670008)) (line (p1 1670008) (p2 1670009)) (line (p1 1670009) (p2 1670011)) (line (p1 1670011) (p2 1660010)) (line (p1 1670011) (p2 1650011)) (line (p1 1650011) (p2 1640011)) (line (p1 1640011) (p2 1630011)) (line (p1 1630011) (p2 1620010)) (line (p1 1550003) (p2 1560003)) (line (p1 1530005) (p2 1530006)) (line (p1 1580005) (p2 1580006)) (line (p1 1550008) (p2 1560008)) (line (p1 1730003) (p2 1740003)) (line (p1 1710005) (p2 1710006)) (line (p1 1760005) (p2 1760006)) (line (p1 1730008) (p2 1740008)) (line (p1 1680000) (p2 1700000)) (line (p1 1700000) (p2 1710000)) (line (p1 1710000) (p2 1720000)) (line (p1 1680000) (p2 1680002)) (line (p1 1680002) (p2 1680003)) (line (p1 1680003) (p2 1680004)) (line (p1 1680004) (p2 1720004)) (line (p1 1720004) (p2 1720000)) (line (p1 1720000) (p2 1730001)) (line (p1 1730001) (p2 1730002)) (line (p1 1730002) (p2 1730003)) (line (p1 1730003) (p2 1730005)) (line (p1 1730005) (p2 1720004)) (line (p1 1730005) (p2 1710005)) (line (p1 1710005) (p2 1700005)) (line (p1 1700005) (p2 1690005)) (line (p1 1690005) (p2 1680004)) (line (p1 1740000) (p2 1760000)) (line (p1 1760000) (p2 1770000)) (line (p1 1770000) (p2 1780000)) (line (p1 1740000) (p2 1740002)) (line (p1 1740002) (p2 1740003)) (line (p1 1740003) (p2 1740004)) (line (p1 1740004) (p2 1780004)) (line (p1 1780004) (p2 1780000)) (line (p1 1780000) (p2 1790001)) (line (p1 1790001) (p2 1790002)) (line (p1 1790002) (p2 1790003)) (line (p1 1790003) (p2 1790005)) (line (p1 1790005) (p2 1780004)) (line (p1 1790005) (p2 1770005)) (line (p1 1770005) (p2 1760005)) (line (p1 1760005) (p2 1750005)) (line (p1 1750005) (p2 1740004)) (line (p1 1680006) (p2 1700006)) (line (p1 1700006) (p2 1710006)) (line (p1 1710006) (p2 1720006)) (line (p1 1680006) (p2 1680008)) (line (p1 1680008) (p2 1680009)) (line (p1 1680009) (p2 1680010)) (line (p1 1680010) (p2 1720010)) (line (p1 1720010) (p2 1720006)) (line (p1 1720006) (p2 1730007)) (line (p1 1730007) (p2 1730008)) (line (p1 1730008) (p2 1730009)) (line (p1 1730009) (p2 1730011)) (line (p1 1730011) (p2 1720010)) (line (p1 1730011) (p2 1710011)) (line (p1 1710011) (p2 1700011)) (line (p1 1700011) (p2 1690011)) (line (p1 1690011) (p2 1680010)) (line (p1 1740006) (p2 1760006)) (line (p1 1760006) (p2 1770006)) (line (p1 1770006) (p2 1780006)) (line (p1 1740006) (p2 1740008)) (line (p1 1740008) (p2 1740009)) (line (p1 1740009) (p2 1740010)) (line (p1 1740010) (p2 1780010)) (line (p1 1780010) (p2 1780006)) (line (p1 1780006) (p2 1790007)) (line (p1 1790007) (p2 1790008)) (line (p1 1790008) (p2 1790009)) (line (p1 1790009) (p2 1790011)) (line (p1 1790011) (p2 1780010)) (line (p1 1790011) (p2 1770011)) (line (p1 1770011) (p2 1760011)) (line (p1 1760011) (p2 1750011)) (line (p1 1750011) (p2 1740010)) (line (p1 1670003) (p2 1680003)) (line (p1 1650005) (p2 1650006)) (line (p1 1700005) (p2 1700006)) (line (p1 1670008) (p2 1680008)) (line (p1 1850003) (p2 1860003)) (line (p1 1830005) (p2 1830006)) (line (p1 1880005) (p2 1880006)) (line (p1 1850008) (p2 1860008)) (line (p1 1800000) (p2 1820000)) (line (p1 1820000) (p2 1830000)) (line (p1 1830000) (p2 1840000)) (line (p1 1800000) (p2 1800002)) (line (p1 1800002) (p2 1800003)) (line (p1 1800003) (p2 1800004)) (line (p1 1800004) (p2 1840004)) (line (p1 1840004) (p2 1840000)) (line (p1 1840000) (p2 1850001)) (line (p1 1850001) (p2 1850002)) (line (p1 1850002) (p2 1850003)) (line (p1 1850003) (p2 1850005)) (line (p1 1850005) (p2 1840004)) (line (p1 1850005) (p2 1830005)) (line (p1 1830005) (p2 1820005)) (line (p1 1820005) (p2 1810005)) (line (p1 1810005) (p2 1800004)) (line (p1 1860000) (p2 1880000)) (line (p1 1880000) (p2 1890000)) (line (p1 1890000) (p2 1900000)) (line (p1 1860000) (p2 1860002)) (line (p1 1860002) (p2 1860003)) (line (p1 1860003) (p2 1860004)) (line (p1 1860004) (p2 1900004)) (line (p1 1900004) (p2 1900000)) (line (p1 1900000) (p2 1910001)) (line (p1 1910001) (p2 1910002)) (line (p1 1910002) (p2 1910003)) (line (p1 1910003) (p2 1910005)) (line (p1 1910005) (p2 1900004)) (line (p1 1910005) (p2 1890005)) (line (p1 1890005) (p2 1880005)) (line (p1 1880005) (p2 1870005)) (line (p1 1870005) (p2 1860004)) (line (p1 1800006) (p2 1820006)) (line (p1 1820006) (p2 1830006)) (line (p1 1830006) (p2 1840006)) (line (p1 1800006) (p2 1800008)) (line (p1 1800008) (p2 1800009)) (line (p1 1800009) (p2 1800010)) (line (p1 1800010) (p2 1840010)) (line (p1 1840010) (p2 1840006)) (line (p1 1840006) (p2 1850007)) (line (p1 1850007) (p2 1850008)) (line (p1 1850008) (p2 1850009)) (line (p1 1850009) (p2 1850011)) (line (p1 1850011) (p2 1840010)) (line (p1 1850011) (p2 1830011)) (line (p1 1830011) (p2 1820011)) (line (p1 1820011) (p2 1810011)) (line (p1 1810011) (p2 1800010)) (line (p1 1860006) (p2 1880006)) (line (p1 1880006) (p2 1890006)) (line (p1 1890006) (p2 1900006)) (line (p1 1860006) (p2 1860008)) (line (p1 1860008) (p2 1860009)) (line (p1 1860009) (p2 1860010)) (line (p1 1860010) (p2 1900010)) (line (p1 1900010) (p2 1900006)) (line (p1 1900006) (p2 1910007)) (line (p1 1910007) (p2 1910008)) (line (p1 1910008) (p2 1910009)) (line (p1 1910009) (p2 1910011)) (line (p1 1910011) (p2 1900010)) (line (p1 1910011) (p2 1890011)) (line (p1 1890011) (p2 1880011)) (line (p1 1880011) (p2 1870011)) (line (p1 1870011) (p2 1860010)) (line (p1 1790003) (p2 1800003)) (line (p1 1770005) (p2 1770006)) (line (p1 1820005) (p2 1820006)) (line (p1 1790008) (p2 1800008)) (line (p1 1970003) (p2 1980003)) (line (p1 1950005) (p2 1950006)) (line (p1 2000005) (p2 2000006)) (line (p1 1970008) (p2 1980008)) (line (p1 1920000) (p2 1940000)) (line (p1 1940000) (p2 1950000)) (line (p1 1950000) (p2 1960000)) (line (p1 1920000) (p2 1920002)) (line (p1 1920002) (p2 1920003)) (line (p1 1920003) (p2 1920004)) (line (p1 1920004) (p2 1960004)) (line (p1 1960004) (p2 1960000)) (line (p1 1960000) (p2 1970001)) (line (p1 1970001) (p2 1970002)) (line (p1 1970002) (p2 1970003)) (line (p1 1970003) (p2 1970005)) (line (p1 1970005) (p2 1960004)) (line (p1 1970005) (p2 1950005)) (line (p1 1950005) (p2 1940005)) (line (p1 1940005) (p2 1930005)) (line (p1 1930005) (p2 1920004)) (line (p1 1980000) (p2 2000000)) (line (p1 2000000) (p2 2010000)) (line (p1 2010000) (p2 2020000)) (line (p1 1980000) (p2 1980002)) (line (p1 1980002) (p2 1980003)) (line (p1 1980003) (p2 1980004)) (line (p1 1980004) (p2 2020004)) (line (p1 2020004) (p2 2020000)) (line (p1 2020000) (p2 2030001)) (line (p1 2030001) (p2 2030002)) (line (p1 2030002) (p2 2030003)) (line (p1 2030003) (p2 2030005)) (line (p1 2030005) (p2 2020004)) (line (p1 2030005) (p2 2010005)) (line (p1 2010005) (p2 2000005)) (line (p1 2000005) (p2 1990005)) (line (p1 1990005) (p2 1980004)) (line (p1 1920006) (p2 1940006)) (line (p1 1940006) (p2 1950006)) (line (p1 1950006) (p2 1960006)) (line (p1 1920006) (p2 1920008)) (line (p1 1920008) (p2 1920009)) (line (p1 1920009) (p2 1920010)) (line (p1 1920010) (p2 1960010)) (line (p1 1960010) (p2 1960006)) (line (p1 1960006) (p2 1970007)) (line (p1 1970007) (p2 1970008)) (line (p1 1970008) (p2 1970009)) (line (p1 1970009) (p2 1970011)) (line (p1 1970011) (p2 1960010)) (line (p1 1970011) (p2 1950011)) (line (p1 1950011) (p2 1940011)) (line (p1 1940011) (p2 1930011)) (line (p1 1930011) (p2 1920010)) (line (p1 1980006) (p2 2000006)) (line (p1 2000006) (p2 2010006)) (line (p1 2010006) (p2 2020006)) (line (p1 1980006) (p2 1980008)) (line (p1 1980008) (p2 1980009)) (line (p1 1980009) (p2 1980010)) (line (p1 1980010) (p2 2020010)) (line (p1 2020010) (p2 2020006)) (line (p1 2020006) (p2 2030007)) (line (p1 2030007) (p2 2030008)) (line (p1 2030008) (p2 2030009)) (line (p1 2030009) (p2 2030011)) (line (p1 2030011) (p2 2020010)) (line (p1 2030011) (p2 2010011)) (line (p1 2010011) (p2 2000011)) (line (p1 2000011) (p2 1990011)) (line (p1 1990011) (p2 1980010)) (line (p1 1910003) (p2 1920003)) (line (p1 1890005) (p2 1890006)) (line (p1 1940005) (p2 1940006)) (line (p1 1910008) (p2 1920008)) (line (p1 2090003) (p2 2100003)) (line (p1 2070005) (p2 2070006)) (line (p1 2120005) (p2 2120006)) (line (p1 2090008) (p2 2100008)) (line (p1 2040000) (p2 2060000)) (line (p1 2060000) (p2 2070000)) (line (p1 2070000) (p2 2080000)) (line (p1 2040000) (p2 2040002)) (line (p1 2040002) (p2 2040003)) (line (p1 2040003) (p2 2040004)) (line (p1 2040004) (p2 2080004)) (line (p1 2080004) (p2 2080000)) (line (p1 2080000) (p2 2090001)) (line (p1 2090001) (p2 2090002)) (line (p1 2090002) (p2 2090003)) (line (p1 2090003) (p2 2090005)) (line (p1 2090005) (p2 2080004)) (line (p1 2090005) (p2 2070005)) (line (p1 2070005) (p2 2060005)) (line (p1 2060005) (p2 2050005)) (line (p1 2050005) (p2 2040004)) (line (p1 2100000) (p2 2120000)) (line (p1 2120000) (p2 2130000)) (line (p1 2130000) (p2 2140000)) (line (p1 2100000) (p2 2100002)) (line (p1 2100002) (p2 2100003)) (line (p1 2100003) (p2 2100004)) (line (p1 2100004) (p2 2140004)) (line (p1 2140004) (p2 2140000)) (line (p1 2140000) (p2 2150001)) (line (p1 2150001) (p2 2150002)) (line (p1 2150002) (p2 2150003)) (line (p1 2150003) (p2 2150005)) (line (p1 2150005) (p2 2140004)) (line (p1 2150005) (p2 2130005)) (line (p1 2130005) (p2 2120005)) (line (p1 2120005) (p2 2110005)) (line (p1 2110005) (p2 2100004)) (line (p1 2040006) (p2 2060006)) (line (p1 2060006) (p2 2070006)) (line (p1 2070006) (p2 2080006)) (line (p1 2040006) (p2 2040008)) (line (p1 2040008) (p2 2040009)) (line (p1 2040009) (p2 2040010)) (line (p1 2040010) (p2 2080010)) (line (p1 2080010) (p2 2080006)) (line (p1 2080006) (p2 2090007)) (line (p1 2090007) (p2 2090008)) (line (p1 2090008) (p2 2090009)) (line (p1 2090009) (p2 2090011)) (line (p1 2090011) (p2 2080010)) (line (p1 2090011) (p2 2070011)) (line (p1 2070011) (p2 2060011)) (line (p1 2060011) (p2 2050011)) (line (p1 2050011) (p2 2040010)) (line (p1 2100006) (p2 2120006)) (line (p1 2120006) (p2 2130006)) (line (p1 2130006) (p2 2140006)) (line (p1 2100006) (p2 2100008)) (line (p1 2100008) (p2 2100009)) (line (p1 2100009) (p2 2100010)) (line (p1 2100010) (p2 2140010)) (line (p1 2140010) (p2 2140006)) (line (p1 2140006) (p2 2150007)) (line (p1 2150007) (p2 2150008)) (line (p1 2150008) (p2 2150009)) (line (p1 2150009) (p2 2150011)) (line (p1 2150011) (p2 2140010)) (line (p1 2150011) (p2 2130011)) (line (p1 2130011) (p2 2120011)) (line (p1 2120011) (p2 2110011)) (line (p1 2110011) (p2 2100010)) (line (p1 2030003) (p2 2040003)) (line (p1 2010005) (p2 2010006)) (line (p1 2060005) (p2 2060006)) (line (p1 2030008) (p2 2040008)) (line (p1 2210003) (p2 2220003)) (line (p1 2190005) (p2 2190006)) (line (p1 2240005) (p2 2240006)) (line (p1 2210008) (p2 2220008)) (line (p1 2160000) (p2 2180000)) (line (p1 2180000) (p2 2190000)) (line (p1 2190000) (p2 2200000)) (line (p1 2160000) (p2 2160002)) (line (p1 2160002) (p2 2160003)) (line (p1 2160003) (p2 2160004)) (line (p1 2160004) (p2 2200004)) (line (p1 2200004) (p2 2200000)) (line (p1 2200000) (p2 2210001)) (line (p1 2210001) (p2 2210002)) (line (p1 2210002) (p2 2210003)) (line (p1 2210003) (p2 2210005)) (line (p1 2210005) (p2 2200004)) (line (p1 2210005) (p2 2190005)) (line (p1 2190005) (p2 2180005)) (line (p1 2180005) (p2 2170005)) (line (p1 2170005) (p2 2160004)) (line (p1 2220000) (p2 2240000)) (line (p1 2240000) (p2 2250000)) (line (p1 2250000) (p2 2260000)) (line (p1 2220000) (p2 2220002)) (line (p1 2220002) (p2 2220003)) (line (p1 2220003) (p2 2220004)) (line (p1 2220004) (p2 2260004)) (line (p1 2260004) (p2 2260000)) (line (p1 2260000) (p2 2270001)) (line (p1 2270001) (p2 2270002)) (line (p1 2270002) (p2 2270003)) (line (p1 2270003) (p2 2270005)) (line (p1 2270005) (p2 2260004)) (line (p1 2270005) (p2 2250005)) (line (p1 2250005) (p2 2240005)) (line (p1 2240005) (p2 2230005)) (line (p1 2230005) (p2 2220004)) (line (p1 2160006) (p2 2180006)) (line (p1 2180006) (p2 2190006)) (line (p1 2190006) (p2 2200006)) (line (p1 2160006) (p2 2160008)) (line (p1 2160008) (p2 2160009)) (line (p1 2160009) (p2 2160010)) (line (p1 2160010) (p2 2200010)) (line (p1 2200010) (p2 2200006)) (line (p1 2200006) (p2 2210007)) (line (p1 2210007) (p2 2210008)) (line (p1 2210008) (p2 2210009)) (line (p1 2210009) (p2 2210011)) (line (p1 2210011) (p2 2200010)) (line (p1 2210011) (p2 2190011)) (line (p1 2190011) (p2 2180011)) (line (p1 2180011) (p2 2170011)) (line (p1 2170011) (p2 2160010)) (line (p1 2220006) (p2 2240006)) (line (p1 2240006) (p2 2250006)) (line (p1 2250006) (p2 2260006)) (line (p1 2220006) (p2 2220008)) (line (p1 2220008) (p2 2220009)) (line (p1 2220009) (p2 2220010)) (line (p1 2220010) (p2 2260010)) (line (p1 2260010) (p2 2260006)) (line (p1 2260006) (p2 2270007)) (line (p1 2270007) (p2 2270008)) (line (p1 2270008) (p2 2270009)) (line (p1 2270009) (p2 2270011)) (line (p1 2270011) (p2 2260010)) (line (p1 2270011) (p2 2250011)) (line (p1 2250011) (p2 2240011)) (line (p1 2240011) (p2 2230011)) (line (p1 2230011) (p2 2220010)) (line (p1 2150003) (p2 2160003)) (line (p1 2130005) (p2 2130006)) (line (p1 2180005) (p2 2180006)) (line (p1 2150008) (p2 2160008)) (line (p1 2330003) (p2 2340003)) (line (p1 2310005) (p2 2310006)) (line (p1 2360005) (p2 2360006)) (line (p1 2330008) (p2 2340008)) (line (p1 2280000) (p2 2300000)) (line (p1 2300000) (p2 2310000)) (line (p1 2310000) (p2 2320000)) (line (p1 2280000) (p2 2280002)) (line (p1 2280002) (p2 2280003)) (line (p1 2280003) (p2 2280004)) (line (p1 2280004) (p2 2320004)) (line (p1 2320004) (p2 2320000)) (line (p1 2320000) (p2 2330001)) (line (p1 2330001) (p2 2330002)) (line (p1 2330002) (p2 2330003)) (line (p1 2330003) (p2 2330005)) (line (p1 2330005) (p2 2320004)) (line (p1 2330005) (p2 2310005)) (line (p1 2310005) (p2 2300005)) (line (p1 2300005) (p2 2290005)) (line (p1 2290005) (p2 2280004)) (line (p1 2340000) (p2 2360000)) (line (p1 2360000) (p2 2370000)) (line (p1 2370000) (p2 2380000)) (line (p1 2340000) (p2 2340002)) (line (p1 2340002) (p2 2340003)) (line (p1 2340003) (p2 2340004)) (line (p1 2340004) (p2 2380004)) (line (p1 2380004) (p2 2380000)) (line (p1 2380000) (p2 2390001)) (line (p1 2390001) (p2 2390002)) (line (p1 2390002) (p2 2390003)) (line (p1 2390003) (p2 2390005)) (line (p1 2390005) (p2 2380004)) (line (p1 2390005) (p2 2370005)) (line (p1 2370005) (p2 2360005)) (line (p1 2360005) (p2 2350005)) (line (p1 2350005) (p2 2340004)) (line (p1 2280006) (p2 2300006)) (line (p1 2300006) (p2 2310006)) (line (p1 2310006) (p2 2320006)) (line (p1 2280006) (p2 2280008)) (line (p1 2280008) (p2 2280009)) (line (p1 2280009) (p2 2280010)) (line (p1 2280010) (p2 2320010)) (line (p1 2320010) (p2 2320006)) (line (p1 2320006) (p2 2330007)) (line (p1 2330007) (p2 2330008)) (line (p1 2330008) (p2 2330009)) (line (p1 2330009) (p2 2330011)) (line (p1 2330011) (p2 2320010)) (line (p1 2330011) (p2 2310011)) (line (p1 2310011) (p2 2300011)) (line (p1 2300011) (p2 2290011)) (line (p1 2290011) (p2 2280010)) (line (p1 2340006) (p2 2360006)) (line (p1 2360006) (p2 2370006)) (line (p1 2370006) (p2 2380006)) (line (p1 2340006) (p2 2340008)) (line (p1 2340008) (p2 2340009)) (line (p1 2340009) (p2 2340010)) (line (p1 2340010) (p2 2380010)) (line (p1 2380010) (p2 2380006)) (line (p1 2380006) (p2 2390007)) (line (p1 2390007) (p2 2390008)) (line (p1 2390008) (p2 2390009)) (line (p1 2390009) (p2 2390011)) (line (p1 2390011) (p2 2380010)) (line (p1 2390011) (p2 2370011)) (line (p1 2370011) (p2 2360011)) (line (p1 2360011) (p2 2350011)) (line (p1 2350011) (p2 2340010)) (line (p1 2270003) (p2 2280003)) (line (p1 2250005) (p2 2250006)) (line (p1 2300005) (p2 2300006)) (line (p1 2270008) (p2 2280008)) (line (p1 2450003) (p2 2460003)) (line (p1 2430005) (p2 2430006)) (line (p1 2480005) (p2 2480006)) (line (p1 2450008) (p2 2460008)) (line (p1 2400000) (p2 2420000)) (line (p1 2420000) (p2 2430000)) (line (p1 2430000) (p2 2440000)) (line (p1 2400000) (p2 2400002)) (line (p1 2400002) (p2 2400003)) (line (p1 2400003) (p2 2400004)) (line (p1 2400004) (p2 2440004)) (line (p1 2440004) (p2 2440000)) (line (p1 2440000) (p2 2450001)) (line (p1 2450001) (p2 2450002)) (line (p1 2450002) (p2 2450003)) (line (p1 2450003) (p2 2450005)) (line (p1 2450005) (p2 2440004)) (line (p1 2450005) (p2 2430005)) (line (p1 2430005) (p2 2420005)) (line (p1 2420005) (p2 2410005)) (line (p1 2410005) (p2 2400004)) (line (p1 2460000) (p2 2480000)) (line (p1 2480000) (p2 2490000)) (line (p1 2490000) (p2 2500000)) (line (p1 2460000) (p2 2460002)) (line (p1 2460002) (p2 2460003)) (line (p1 2460003) (p2 2460004)) (line (p1 2460004) (p2 2500004)) (line (p1 2500004) (p2 2500000)) (line (p1 2500000) (p2 2510001)) (line (p1 2510001) (p2 2510002)) (line (p1 2510002) (p2 2510003)) (line (p1 2510003) (p2 2510005)) (line (p1 2510005) (p2 2500004)) (line (p1 2510005) (p2 2490005)) (line (p1 2490005) (p2 2480005)) (line (p1 2480005) (p2 2470005)) (line (p1 2470005) (p2 2460004)) (line (p1 2400006) (p2 2420006)) (line (p1 2420006) (p2 2430006)) (line (p1 2430006) (p2 2440006)) (line (p1 2400006) (p2 2400008)) (line (p1 2400008) (p2 2400009)) (line (p1 2400009) (p2 2400010)) (line (p1 2400010) (p2 2440010)) (line (p1 2440010) (p2 2440006)) (line (p1 2440006) (p2 2450007)) (line (p1 2450007) (p2 2450008)) (line (p1 2450008) (p2 2450009)) (line (p1 2450009) (p2 2450011)) (line (p1 2450011) (p2 2440010)) (line (p1 2450011) (p2 2430011)) (line (p1 2430011) (p2 2420011)) (line (p1 2420011) (p2 2410011)) (line (p1 2410011) (p2 2400010)) (line (p1 2460006) (p2 2480006)) (line (p1 2480006) (p2 2490006)) (line (p1 2490006) (p2 2500006)) (line (p1 2460006) (p2 2460008)) (line (p1 2460008) (p2 2460009)) (line (p1 2460009) (p2 2460010)) (line (p1 2460010) (p2 2500010)) (line (p1 2500010) (p2 2500006)) (line (p1 2500006) (p2 2510007)) (line (p1 2510007) (p2 2510008)) (line (p1 2510008) (p2 2510009)) (line (p1 2510009) (p2 2510011)) (line (p1 2510011) (p2 2500010)) (line (p1 2510011) (p2 2490011)) (line (p1 2490011) (p2 2480011)) (line (p1 2480011) (p2 2470011)) (line (p1 2470011) (p2 2460010)) (line (p1 2390003) (p2 2400003)) (line (p1 2370005) (p2 2370006)) (line (p1 2420005) (p2 2420006)) (line (p1 2390008) (p2 2400008)) (line (p1 2570003) (p2 2580003)) (line (p1 2550005) (p2 2550006)) (line (p1 2600005) (p2 2600006)) (line (p1 2570008) (p2 2580008)) (line (p1 2520000) (p2 2540000)) (line (p1 2540000) (p2 2550000)) (line (p1 2550000) (p2 2560000)) (line (p1 2520000) (p2 2520002)) (line (p1 2520002) (p2 2520003)) (line (p1 2520003) (p2 2520004)) (line (p1 2520004) (p2 2560004)) (line (p1 2560004) (p2 2560000)) (line (p1 2560000) (p2 2570001)) (line (p1 2570001) (p2 2570002)) (line (p1 2570002) (p2 2570003)) (line (p1 2570003) (p2 2570005)) (line (p1 2570005) (p2 2560004)) (line (p1 2570005) (p2 2550005)) (line (p1 2550005) (p2 2540005)) (line (p1 2540005) (p2 2530005)) (line (p1 2530005) (p2 2520004)) (line (p1 2580000) (p2 2600000)) (line (p1 2600000) (p2 2610000)) (line (p1 2610000) (p2 2620000)) (line (p1 2580000) (p2 2580002)) (line (p1 2580002) (p2 2580003)) (line (p1 2580003) (p2 2580004)) (line (p1 2580004) (p2 2620004)) (line (p1 2620004) (p2 2620000)) (line (p1 2620000) (p2 2630001)) (line (p1 2630001) (p2 2630002)) (line (p1 2630002) (p2 2630003)) (line (p1 2630003) (p2 2630005)) (line (p1 2630005) (p2 2620004)) (line (p1 2630005) (p2 2610005)) (line (p1 2610005) (p2 2600005)) (line (p1 2600005) (p2 2590005)) (line (p1 2590005) (p2 2580004)) (line (p1 2520006) (p2 2540006)) (line (p1 2540006) (p2 2550006)) (line (p1 2550006) (p2 2560006)) (line (p1 2520006) (p2 2520008)) (line (p1 2520008) (p2 2520009)) (line (p1 2520009) (p2 2520010)) (line (p1 2520010) (p2 2560010)) (line (p1 2560010) (p2 2560006)) (line (p1 2560006) (p2 2570007)) (line (p1 2570007) (p2 2570008)) (line (p1 2570008) (p2 2570009)) (line (p1 2570009) (p2 2570011)) (line (p1 2570011) (p2 2560010)) (line (p1 2570011) (p2 2550011)) (line (p1 2550011) (p2 2540011)) (line (p1 2540011) (p2 2530011)) (line (p1 2530011) (p2 2520010)) (line (p1 2580006) (p2 2600006)) (line (p1 2600006) (p2 2610006)) (line (p1 2610006) (p2 2620006)) (line (p1 2580006) (p2 2580008)) (line (p1 2580008) (p2 2580009)) (line (p1 2580009) (p2 2580010)) (line (p1 2580010) (p2 2620010)) (line (p1 2620010) (p2 2620006)) (line (p1 2620006) (p2 2630007)) (line (p1 2630007) (p2 2630008)) (line (p1 2630008) (p2 2630009)) (line (p1 2630009) (p2 2630011)) (line (p1 2630011) (p2 2620010)) (line (p1 2630011) (p2 2610011)) (line (p1 2610011) (p2 2600011)) (line (p1 2600011) (p2 2590011)) (line (p1 2590011) (p2 2580010)) (line (p1 2510003) (p2 2520003)) (line (p1 2490005) (p2 2490006)) (line (p1 2540005) (p2 2540006)) (line (p1 2510008) (p2 2520008)) (line (p1 2690003) (p2 2700003)) (line (p1 2670005) (p2 2670006)) (line (p1 2720005) (p2 2720006)) (line (p1 2690008) (p2 2700008)) (line (p1 2640000) (p2 2660000)) (line (p1 2660000) (p2 2670000)) (line (p1 2670000) (p2 2680000)) (line (p1 2640000) (p2 2640002)) (line (p1 2640002) (p2 2640003)) (line (p1 2640003) (p2 2640004)) (line (p1 2640004) (p2 2680004)) (line (p1 2680004) (p2 2680000)) (line (p1 2680000) (p2 2690001)) (line (p1 2690001) (p2 2690002)) (line (p1 2690002) (p2 2690003)) (line (p1 2690003) (p2 2690005)) (line (p1 2690005) (p2 2680004)) (line (p1 2690005) (p2 2670005)) (line (p1 2670005) (p2 2660005)) (line (p1 2660005) (p2 2650005)) (line (p1 2650005) (p2 2640004)) (line (p1 2700000) (p2 2720000)) (line (p1 2720000) (p2 2730000)) (line (p1 2730000) (p2 2740000)) (line (p1 2700000) (p2 2700002)) (line (p1 2700002) (p2 2700003)) (line (p1 2700003) (p2 2700004)) (line (p1 2700004) (p2 2740004)) (line (p1 2740004) (p2 2740000)) (line (p1 2740000) (p2 2750001)) (line (p1 2750001) (p2 2750002)) (line (p1 2750002) (p2 2750003)) (line (p1 2750003) (p2 2750005)) (line (p1 2750005) (p2 2740004)) (line (p1 2750005) (p2 2730005)) (line (p1 2730005) (p2 2720005)) (line (p1 2720005) (p2 2710005)) (line (p1 2710005) (p2 2700004)) (line (p1 2640006) (p2 2660006)) (line (p1 2660006) (p2 2670006)) (line (p1 2670006) (p2 2680006)) (line (p1 2640006) (p2 2640008)) (line (p1 2640008) (p2 2640009)) (line (p1 2640009) (p2 2640010)) (line (p1 2640010) (p2 2680010)) (line (p1 2680010) (p2 2680006)) (line (p1 2680006) (p2 2690007)) (line (p1 2690007) (p2 2690008)) (line (p1 2690008) (p2 2690009)) (line (p1 2690009) (p2 2690011)) (line (p1 2690011) (p2 2680010)) (line (p1 2690011) (p2 2670011)) (line (p1 2670011) (p2 2660011)) (line (p1 2660011) (p2 2650011)) (line (p1 2650011) (p2 2640010)) (line (p1 2700006) (p2 2720006)) (line (p1 2720006) (p2 2730006)) (line (p1 2730006) (p2 2740006)) (line (p1 2700006) (p2 2700008)) (line (p1 2700008) (p2 2700009)) (line (p1 2700009) (p2 2700010)) (line (p1 2700010) (p2 2740010)) (line (p1 2740010) (p2 2740006)) (line (p1 2740006) (p2 2750007)) (line (p1 2750007) (p2 2750008)) (line (p1 2750008) (p2 2750009)) (line (p1 2750009) (p2 2750011)) (line (p1 2750011) (p2 2740010)) (line (p1 2750011) (p2 2730011)) (line (p1 2730011) (p2 2720011)) (line (p1 2720011) (p2 2710011)) (line (p1 2710011) (p2 2700010)) (line (p1 2630003) (p2 2640003)) (line (p1 2610005) (p2 2610006)) (line (p1 2660005) (p2 2660006)) (line (p1 2630008) (p2 2640008)) (line (p1 2810003) (p2 2820003)) (line (p1 2790005) (p2 2790006)) (line (p1 2840005) (p2 2840006)) (line (p1 2810008) (p2 2820008)) (line (p1 2760000) (p2 2780000)) (line (p1 2780000) (p2 2790000)) (line (p1 2790000) (p2 2800000)) (line (p1 2760000) (p2 2760002)) (line (p1 2760002) (p2 2760003)) (line (p1 2760003) (p2 2760004)) (line (p1 2760004) (p2 2800004)) (line (p1 2800004) (p2 2800000)) (line (p1 2800000) (p2 2810001)) (line (p1 2810001) (p2 2810002)) (line (p1 2810002) (p2 2810003)) (line (p1 2810003) (p2 2810005)) (line (p1 2810005) (p2 2800004)) (line (p1 2810005) (p2 2790005)) (line (p1 2790005) (p2 2780005)) (line (p1 2780005) (p2 2770005)) (line (p1 2770005) (p2 2760004)) (line (p1 2820000) (p2 2840000)) (line (p1 2840000) (p2 2850000)) (line (p1 2850000) (p2 2860000)) (line (p1 2820000) (p2 2820002)) (line (p1 2820002) (p2 2820003)) (line (p1 2820003) (p2 2820004)) (line (p1 2820004) (p2 2860004)) (line (p1 2860004) (p2 2860000)) (line (p1 2860000) (p2 2870001)) (line (p1 2870001) (p2 2870002)) (line (p1 2870002) (p2 2870003)) (line (p1 2870003) (p2 2870005)) (line (p1 2870005) (p2 2860004)) (line (p1 2870005) (p2 2850005)) (line (p1 2850005) (p2 2840005)) (line (p1 2840005) (p2 2830005)) (line (p1 2830005) (p2 2820004)) (line (p1 2760006) (p2 2780006)) (line (p1 2780006) (p2 2790006)) (line (p1 2790006) (p2 2800006)) (line (p1 2760006) (p2 2760008)) (line (p1 2760008) (p2 2760009)) (line (p1 2760009) (p2 2760010)) (line (p1 2760010) (p2 2800010)) (line (p1 2800010) (p2 2800006)) (line (p1 2800006) (p2 2810007)) (line (p1 2810007) (p2 2810008)) (line (p1 2810008) (p2 2810009)) (line (p1 2810009) (p2 2810011)) (line (p1 2810011) (p2 2800010)) (line (p1 2810011) (p2 2790011)) (line (p1 2790011) (p2 2780011)) (line (p1 2780011) (p2 2770011)) (line (p1 2770011) (p2 2760010)) (line (p1 2820006) (p2 2840006)) (line (p1 2840006) (p2 2850006)) (line (p1 2850006) (p2 2860006)) (line (p1 2820006) (p2 2820008)) (line (p1 2820008) (p2 2820009)) (line (p1 2820009) (p2 2820010)) (line (p1 2820010) (p2 2860010)) (line (p1 2860010) (p2 2860006)) (line (p1 2860006) (p2 2870007)) (line (p1 2870007) (p2 2870008)) (line (p1 2870008) (p2 2870009)) (line (p1 2870009) (p2 2870011)) (line (p1 2870011) (p2 2860010)) (line (p1 2870011) (p2 2850011)) (line (p1 2850011) (p2 2840011)) (line (p1 2840011) (p2 2830011)) (line (p1 2830011) (p2 2820010)) (line (p1 2750003) (p2 2760003)) (line (p1 2730005) (p2 2730006)) (line (p1 2780005) (p2 2780006)) (line (p1 2750008) (p2 2760008)) (line (p1 2930003) (p2 2940003)) (line (p1 2910005) (p2 2910006)) (line (p1 2960005) (p2 2960006)) (line (p1 2930008) (p2 2940008)) (line (p1 2880000) (p2 2900000)) (line (p1 2900000) (p2 2910000)) (line (p1 2910000) (p2 2920000)) (line (p1 2880000) (p2 2880002)) (line (p1 2880002) (p2 2880003)) (line (p1 2880003) (p2 2880004)) (line (p1 2880004) (p2 2920004)) (line (p1 2920004) (p2 2920000)) (line (p1 2920000) (p2 2930001)) (line (p1 2930001) (p2 2930002)) (line (p1 2930002) (p2 2930003)) (line (p1 2930003) (p2 2930005)) (line (p1 2930005) (p2 2920004)) (line (p1 2930005) (p2 2910005)) (line (p1 2910005) (p2 2900005)) (line (p1 2900005) (p2 2890005)) (line (p1 2890005) (p2 2880004)) (line (p1 2940000) (p2 2960000)) (line (p1 2960000) (p2 2970000)) (line (p1 2970000) (p2 2980000)) (line (p1 2940000) (p2 2940002)) (line (p1 2940002) (p2 2940003)) (line (p1 2940003) (p2 2940004)) (line (p1 2940004) (p2 2980004)) (line (p1 2980004) (p2 2980000)) (line (p1 2980000) (p2 2990001)) (line (p1 2990001) (p2 2990002)) (line (p1 2990002) (p2 2990003)) (line (p1 2990003) (p2 2990005)) (line (p1 2990005) (p2 2980004)) (line (p1 2990005) (p2 2970005)) (line (p1 2970005) (p2 2960005)) (line (p1 2960005) (p2 2950005)) (line (p1 2950005) (p2 2940004)) (line (p1 2880006) (p2 2900006)) (line (p1 2900006) (p2 2910006)) (line (p1 2910006) (p2 2920006)) (line (p1 2880006) (p2 2880008)) (line (p1 2880008) (p2 2880009)) (line (p1 2880009) (p2 2880010)) (line (p1 2880010) (p2 2920010)) (line (p1 2920010) (p2 2920006)) (line (p1 2920006) (p2 2930007)) (line (p1 2930007) (p2 2930008)) (line (p1 2930008) (p2 2930009)) (line (p1 2930009) (p2 2930011)) (line (p1 2930011) (p2 2920010)) (line (p1 2930011) (p2 2910011)) (line (p1 2910011) (p2 2900011)) (line (p1 2900011) (p2 2890011)) (line (p1 2890011) (p2 2880010)) (line (p1 2940006) (p2 2960006)) (line (p1 2960006) (p2 2970006)) (line (p1 2970006) (p2 2980006)) (line (p1 2940006) (p2 2940008)) (line (p1 2940008) (p2 2940009)) (line (p1 2940009) (p2 2940010)) (line (p1 2940010) (p2 2980010)) (line (p1 2980010) (p2 2980006)) (line (p1 2980006) (p2 2990007)) (line (p1 2990007) (p2 2990008)) (line (p1 2990008) (p2 2990009)) (line (p1 2990009) (p2 2990011)) (line (p1 2990011) (p2 2980010)) (line (p1 2990011) (p2 2970011)) (line (p1 2970011) (p2 2960011)) (line (p1 2960011) (p2 2950011)) (line (p1 2950011) (p2 2940010)) (line (p1 2870003) (p2 2880003)) (line (p1 2850005) (p2 2850006)) (line (p1 2900005) (p2 2900006)) (line (p1 2870008) (p2 2880008)) (line (p1 3050003) (p2 3060003)) (line (p1 3030005) (p2 3030006)) (line (p1 3080005) (p2 3080006)) (line (p1 3050008) (p2 3060008)) (line (p1 3000000) (p2 3020000)) (line (p1 3020000) (p2 3030000)) (line (p1 3030000) (p2 3040000)) (line (p1 3000000) (p2 3000002)) (line (p1 3000002) (p2 3000003)) (line (p1 3000003) (p2 3000004)) (line (p1 3000004) (p2 3040004)) (line (p1 3040004) (p2 3040000)) (line (p1 3040000) (p2 3050001)) (line (p1 3050001) (p2 3050002)) (line (p1 3050002) (p2 3050003)) (line (p1 3050003) (p2 3050005)) (line (p1 3050005) (p2 3040004)) (line (p1 3050005) (p2 3030005)) (line (p1 3030005) (p2 3020005)) (line (p1 3020005) (p2 3010005)) (line (p1 3010005) (p2 3000004)) (line (p1 3060000) (p2 3080000)) (line (p1 3080000) (p2 3090000)) (line (p1 3090000) (p2 3100000)) (line (p1 3060000) (p2 3060002)) (line (p1 3060002) (p2 3060003)) (line (p1 3060003) (p2 3060004)) (line (p1 3060004) (p2 3100004)) (line (p1 3100004) (p2 3100000)) (line (p1 3100000) (p2 3110001)) (line (p1 3110001) (p2 3110002)) (line (p1 3110002) (p2 3110003)) (line (p1 3110003) (p2 3110005)) (line (p1 3110005) (p2 3100004)) (line (p1 3110005) (p2 3090005)) (line (p1 3090005) (p2 3080005)) (line (p1 3080005) (p2 3070005)) (line (p1 3070005) (p2 3060004)) (line (p1 3000006) (p2 3020006)) (line (p1 3020006) (p2 3030006)) (line (p1 3030006) (p2 3040006)) (line (p1 3000006) (p2 3000008)) (line (p1 3000008) (p2 3000009)) (line (p1 3000009) (p2 3000010)) (line (p1 3000010) (p2 3040010)) (line (p1 3040010) (p2 3040006)) (line (p1 3040006) (p2 3050007)) (line (p1 3050007) (p2 3050008)) (line (p1 3050008) (p2 3050009)) (line (p1 3050009) (p2 3050011)) (line (p1 3050011) (p2 3040010)) (line (p1 3050011) (p2 3030011)) (line (p1 3030011) (p2 3020011)) (line (p1 3020011) (p2 3010011)) (line (p1 3010011) (p2 3000010)) (line (p1 3060006) (p2 3080006)) (line (p1 3080006) (p2 3090006)) (line (p1 3090006) (p2 3100006)) (line (p1 3060006) (p2 3060008)) (line (p1 3060008) (p2 3060009)) (line (p1 3060009) (p2 3060010)) (line (p1 3060010) (p2 3100010)) (line (p1 3100010) (p2 3100006)) (line (p1 3100006) (p2 3110007)) (line (p1 3110007) (p2 3110008)) (line (p1 3110008) (p2 3110009)) (line (p1 3110009) (p2 3110011)) (line (p1 3110011) (p2 3100010)) (line (p1 3110011) (p2 3090011)) (line (p1 3090011) (p2 3080011)) (line (p1 3080011) (p2 3070011)) (line (p1 3070011) (p2 3060010)) (line (p1 2990003) (p2 3000003)) (line (p1 2970005) (p2 2970006)) (line (p1 3020005) (p2 3020006)) (line (p1 2990008) (p2 3000008))))