[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 57 ] =
PL(SoP(16,8)).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 285}, {256, 288}, {256, 505}, {256, 508}, {1, 257}, {237,
493}, {236, 492}, {235, 491}, {226, 482}, {225, 481}, {205, 461}, {109, 365},
{108, 364}, {107, 363}, {98, 354}, {97, 353}, {77, 333}, {2, 258}, {5, 261},
{11, 267}, {12, 268}, {33, 289}, {34, 290}, {43, 299}, {44, 300}, {45, 301},
{65, 321}, {66, 322}, {75, 331}, {76, 332}, {129, 385}, {130, 386}, {139, 395},
{140, 396}, {141, 397}, {161, 417}, {162, 418}, {171, 427}, {172, 428}, {173,
429}, {193, 449}, {194, 450}, {203, 459}, {204, 460}, {4, 261}, {236, 493},
{232, 489}, {108, 365}, {104, 361}, {8, 265}, {40, 297}, {44, 301}, {72, 329},
{76, 333}, {136, 393}, {140, 397}, {168, 425}, {172, 429}, {200, 457}, {204,
461}, {4, 262}, {234, 488}, {232, 490}, {229, 487}, {228, 486}, {106, 360},
{104, 362}, {101, 359}, {100, 358}, {8, 266}, {10, 264}, {13, 271}, {36, 294},
{37, 295}, {40, 298}, {42, 296}, {68, 326}, {69, 327}, {72, 330}, {74, 328},
{132, 390}, {133, 391}, {136, 394}, {138, 392}, {164, 422}, {165, 423}, {168,
426}, {170, 424}, {196, 454}, {197, 455}, {200, 458}, {202, 456}, {1, 258},
{255, 508}, {235, 488}, {229, 486}, {228, 487}, {226, 481}, {225, 482}, {223,
476}, {107, 360}, {101, 358}, {100, 359}, {98, 353}, {97, 354}, {95, 348}, {2,
257}, {5, 262}, {11, 264}, {12, 271}, {31, 284}, {33, 290}, {34, 289}, {36,
295}, {37, 294}, {43, 296}, {63, 316}, {65, 322}, {66, 321}, {68, 327}, {69,
326}, {75, 328}, {127, 380}, {129, 386}, {130, 385}, {132, 391}, {133, 390},
{139, 392}, {159, 412}, {161, 418}, {162, 417}, {164, 423}, {165, 422}, {171,
424}, {191, 444}, {193, 450}, {194, 449}, {196, 455}, {197, 454}, {203, 456},
{22, 274}, {246, 498}, {214, 466}, {118, 370}, {86, 338}, {54, 306}, {150, 402},
{182, 434}, {22, 275}, {246, 499}, {214, 467}, {118, 371}, {86, 339}, {54, 307},
{150, 403}, {182, 435}, {21, 275}, {255, 505}, {245, 499}, {223, 473}, {213,
467}, {117, 371}, {95, 345}, {85, 339}, {31, 281}, {53, 307}, {63, 313}, {127,
377}, {149, 403}, {159, 409}, {181, 435}, {191, 441}, {11, 268}, {245, 498},
{236, 491}, {235, 492}, {213, 466}, {117, 370}, {108, 363}, {107, 364}, {85,
338}, {12, 267}, {21, 274}, {43, 300}, {44, 299}, {53, 306}, {75, 332}, {76,
331}, {139, 396}, {140, 395}, {149, 402}, {171, 428}, {172, 427}, {181, 434},
{203, 460}, {204, 459}, {19, 283}, {243, 507}, {211, 475}, {115, 379}, {83,
347}, {51, 315}, {147, 411}, {179, 443}, {10, 259}, {253, 500}, {243, 506},
{234, 483}, {221, 468}, {211, 474}, {125, 372}, {115, 378}, {106, 355}, {93,
340}, {83, 346}, {19, 282}, {29, 276}, {42, 291}, {51, 314}, {61, 308}, {74,
323}, {138, 387}, {147, 410}, {157, 404}, {170, 419}, {179, 442}, {189, 436},
{202, 451}, {9, 259}, {254, 500}, {233, 483}, {222, 468}, {105, 355}, {94, 340},
{30, 276}, {41, 291}, {62, 308}, {73, 323}, {126, 372}, {137, 387}, {158, 404},
{169, 419}, {190, 436}, {201, 451}, {16, 283}, {240, 507}, {208, 475}, {112,
379}, {80, 347}, {48, 315}, {144, 411}, {176, 443}, {2, 270}, {253, 497}, {240,
508}, {227, 495}, {226, 494}, {221, 465}, {208, 476}, {125, 369}, {112, 380},
{99, 367}, {98, 366}, {93, 337}, {80, 348}, {11, 263}, {16, 284}, {29, 273},
{34, 302}, {35, 303}, {48, 316}, {61, 305}, {66, 334}, {67, 335}, {130, 398},
{131, 399}, {144, 412}, {157, 401}, {162, 430}, {163, 431}, {176, 444}, {189,
433}, {194, 462}, {195, 463}, {3, 270}, {240, 509}, {233, 484}, {231, 490},
{227, 494}, {226, 495}, {208, 477}, {112, 381}, {105, 356}, {103, 362}, {99,
366}, {98, 367}, {80, 349}, {7, 266}, {9, 260}, {10, 263}, {34, 303}, {35, 302},
{39, 298}, {41, 292}, {48, 317}, {66, 335}, {67, 334}, {71, 330}, {73, 324},
{130, 399}, {131, 398}, {135, 394}, {137, 388}, {144, 413}, {162, 431}, {163,
430}, {167, 426}, {169, 420}, {176, 445}, {194, 463}, {195, 462}, {199, 458},
{201, 452}, {3, 269}, {244, 506}, {235, 485}, {234, 484}, {231, 489}, {212,
474}, {116, 378}, {107, 357}, {106, 356}, {103, 361}, {84, 346}, {7, 265}, {10,
260}, {20, 282}, {39, 297}, {42, 292}, {43, 293}, {52, 314}, {71, 329}, {74,
324}, {75, 325}, {135, 393}, {138, 388}, {139, 389}, {148, 410}, {167, 425},
{170, 420}, {171, 421}, {180, 442}, {199, 457}, {202, 452}, {203, 453}, {2,
269}, {254, 497}, {244, 507}, {234, 485}, {222, 465}, {212, 475}, {116, 379},
{106, 357}, {94, 337}, {84, 347}, {16, 287}, {20, 283}, {30, 273}, {42, 293},
{52, 315}, {62, 305}, {74, 325}, {126, 369}, {138, 389}, {148, 411}, {158, 401},
{170, 421}, {180, 443}, {190, 433}, {202, 453}, {18, 258}, {252, 492}, {242,
482}, {220, 460}, {210, 450}, {124, 364}, {114, 354}, {92, 332}, {82, 322}, {28,
268}, {50, 290}, {60, 300}, {146, 386}, {156, 396}, {178, 418}, {188, 428}, {18,
259}, {242, 483}, {210, 451}, {114, 355}, {82, 323}, {50, 291}, {146, 387},
{178, 419}, {17, 259}, {251, 489}, {248, 490}, {241, 483}, {219, 457}, {216,
458}, {209, 451}, {123, 361}, {120, 362}, {113, 355}, {91, 329}, {88, 330}, {81,
323}, {24, 266}, {27, 265}, {49, 291}, {56, 298}, {59, 297}, {145, 387}, {152,
394}, {155, 393}, {177, 419}, {184, 426}, {187, 425}, {15, 284}, {248, 491},
{241, 482}, {239, 508}, {216, 459}, {209, 450}, {207, 476}, {120, 363}, {113,
354}, {111, 380}, {88, 331}, {81, 322}, {79, 348}, {17, 258}, {24, 267}, {47,
316}, {49, 290}, {56, 299}, {143, 412}, {145, 386}, {152, 395}, {175, 444},
{177, 418}, {184, 427}, {1, 277}, {239, 507}, {233, 509}, {230, 498}, {229,
497}, {207, 475}, {111, 379}, {105, 381}, {102, 370}, {101, 369}, {79, 347}, {5,
273}, {6, 274}, {15, 283}, {37, 305}, {38, 306}, {41, 317}, {47, 315}, {69,
337}, {70, 338}, {73, 349}, {133, 401}, {134, 402}, {137, 413}, {143, 411},
{165, 433}, {166, 434}, {169, 445}, {175, 443}, {197, 465}, {198, 466}, {201,
477}, {28, 265}, {252, 489}, {220, 457}, {124, 361}, {92, 329}, {60, 297}, {156,
393}, {188, 425}, {9, 287}, {238, 504}, {225, 503}, {206, 472}, {110, 376}, {97,
375}, {78, 344}, {14, 280}, {33, 311}, {46, 312}, {65, 343}, {129, 407}, {142,
408}, {161, 439}, {174, 440}, {193, 471}, {1, 278}, {251, 492}, {239, 504},
{230, 497}, {229, 498}, {225, 502}, {219, 460}, {207, 472}, {123, 364}, {111,
376}, {102, 369}, {101, 370}, {97, 374}, {91, 332}, {79, 344}, {5, 274}, {6,
273}, {15, 280}, {27, 268}, {33, 310}, {37, 306}, {38, 305}, {47, 312}, {59,
300}, {65, 342}, {69, 338}, {70, 337}, {129, 406}, {133, 402}, {134, 401}, {143,
408}, {155, 396}, {161, 438}, {165, 434}, {166, 433}, {175, 440}, {187, 428},
{193, 470}, {197, 466}, {198, 465}, {6, 286}, {249, 481}, {231, 511}, {230,
510}, {217, 449}, {121, 353}, {103, 383}, {102, 382}, {89, 321}, {15, 279}, {25,
257}, {38, 318}, {39, 319}, {57, 289}, {70, 350}, {71, 351}, {134, 414}, {135,
415}, {153, 385}, {166, 446}, {167, 447}, {185, 417}, {198, 478}, {199, 479},
{3, 282}, {237, 500}, {231, 510}, {230, 511}, {227, 506}, {205, 468}, {109,
372}, {103, 382}, {102, 383}, {99, 378}, {77, 340}, {7, 286}, {13, 276}, {14,
279}, {35, 314}, {38, 319}, {39, 318}, {45, 308}, {67, 346}, {70, 351}, {71,
350}, {131, 410}, {134, 415}, {135, 414}, {141, 404}, {163, 442}, {166, 447},
{167, 446}, {173, 436}, {195, 474}, {198, 479}, {199, 478}, {3, 281}, {239,
501}, {238, 500}, {227, 505}, {207, 469}, {206, 468}, {111, 373}, {110, 372},
{99, 377}, {79, 341}, {78, 340}, {7, 285}, {14, 276}, {35, 313}, {46, 308}, {47,
309}, {67, 345}, {131, 409}, {142, 404}, {143, 405}, {163, 441}, {174, 436},
{175, 437}, {195, 473}, {6, 285}, {250, 481}, {238, 501}, {218, 449}, {206,
469}, {122, 353}, {110, 373}, {90, 321}, {78, 341}, {26, 257}, {46, 309}, {58,
289}, {142, 405}, {154, 385}, {174, 437}, {186, 417}, {12, 272}, {247, 491},
{236, 496}, {215, 459}, {204, 464}, {119, 363}, {108, 368}, {87, 331}, {76,
336}, {23, 267}, {44, 304}, {55, 299}, {140, 400}, {151, 395}, {172, 432}, {183,
427}, {4, 281}, {249, 484}, {247, 490}, {238, 499}, {237, 496}, {228, 505},
{217, 452}, {215, 458}, {206, 467}, {205, 464}, {121, 356}, {119, 362}, {110,
371}, {109, 368}, {100, 377}, {89, 324}, {87, 330}, {78, 339}, {77, 336}, {8,
277}, {13, 272}, {14, 275}, {23, 266}, {25, 260}, {36, 313}, {45, 304}, {46,
307}, {55, 298}, {57, 292}, {68, 345}, {132, 409}, {141, 400}, {142, 403}, {151,
394}, {153, 388}, {164, 441}, {173, 432}, {174, 435}, {183, 426}, {185, 420},
{196, 473}, {4, 282}, {250, 484}, {237, 499}, {232, 502}, {228, 506}, {218,
452}, {205, 467}, {122, 356}, {109, 371}, {104, 374}, {100, 378}, {90, 324},
{77, 339}, {8, 278}, {13, 275}, {26, 260}, {36, 314}, {40, 310}, {45, 307}, {58,
292}, {68, 346}, {72, 342}, {132, 410}, {136, 406}, {141, 403}, {154, 388},
{164, 442}, {168, 438}, {173, 435}, {186, 420}, {196, 474}, {200, 470}, {32,
319}, {232, 503}, {224, 511}, {104, 375}, {96, 383}, {40, 311}, {64, 351}, {72,
343}, {128, 415}, {136, 407}, {160, 447}, {168, 439}, {192, 479}, {200, 471},
{64, 352}, {128, 416}, {192, 480}, {17, 309}, {209, 501}, {81, 373}, {145, 437},
{25, 319}, {222, 504}, {217, 511}, {94, 376}, {89, 383}, {30, 312}, {153, 447},
{158, 440}, {17, 310}, {223, 504}, {209, 502}, {95, 376}, {81, 374}, {31, 312},
{145, 438}, {159, 440}, {22, 318}, {223, 503}, {214, 510}, {95, 375}, {86, 382},
{31, 311}, {150, 446}, {159, 439}, {9, 288}, {222, 503}, {215, 510}, {94, 375},
{87, 382}, {23, 318}, {30, 311}, {73, 352}, {137, 416}, {151, 446}, {158, 439},
{201, 480}, {23, 317}, {215, 509}, {87, 381}, {151, 445}, {22, 317}, {214, 509},
{86, 381}, {150, 445}, {28, 304}, {220, 496}, {92, 368}, {156, 432}, {24, 309},
{221, 496}, {216, 501}, {93, 368}, {88, 373}, {29, 304}, {152, 437}, {157, 432},
{24, 310}, {216, 502}, {88, 374}, {152, 438}, {16, 288}, {213, 485}, {208, 480},
{85, 357}, {80, 352}, {21, 293}, {144, 416}, {149, 421}, {20, 293}, {212, 485},
{84, 357}, {148, 421}, {20, 294}, {221, 495}, {218, 488}, {212, 486}, {93, 367},
{90, 360}, {84, 358}, {26, 296}, {29, 303}, {148, 422}, {154, 424}, {157, 431},
{21, 294}, {220, 495}, {219, 488}, {213, 486}, {92, 367}, {91, 360}, {85, 358},
{27, 296}, {28, 303}, {149, 422}, {155, 424}, {156, 431}, {32, 281}, {224, 473},
{96, 345}, {160, 409}, {18, 302}, {224, 476}, {219, 487}, {210, 494}, {96, 348},
{91, 359}, {82, 366}, {27, 295}, {32, 284}, {146, 430}, {155, 423}, {160, 412},
{19, 302}, {218, 487}, {211, 494}, {90, 359}, {83, 366}, {26, 295}, {147, 430},
{154, 423}, {19, 301}, {211, 493}, {83, 365}, {147, 429}, {18, 301}, {210, 493},
{82, 365}, {146, 429}, {25, 320}, {57, 352}, {153, 448}, {185, 480}, {32, 320},
{160, 448}, {49, 341}, {177, 469}, {57, 351}, {62, 344}, {185, 479}, {190, 472},
{49, 342}, {63, 344}, {177, 470}, {191, 472}, {54, 350}, {63, 343}, {182, 478},
{191, 471}, {41, 320}, {55, 350}, {62, 343}, {169, 448}, {183, 478}, {190, 471},
{55, 349}, {183, 477}, {54, 349}, {182, 477}, {60, 336}, {188, 464}, {56, 341},
{61, 336}, {184, 469}, {189, 464}, {56, 342}, {184, 470}, {48, 320}, {53, 325},
{176, 448}, {181, 453}, {52, 325}, {180, 453}, {52, 326}, {58, 328}, {61, 335},
{180, 454}, {186, 456}, {189, 463}, {53, 326}, {59, 328}, {60, 335}, {181, 454},
{187, 456}, {188, 463}, {64, 313}, {192, 441}, {50, 334}, {59, 327}, {64, 316},
{178, 462}, {187, 455}, {192, 444}, {51, 334}, {58, 327}, {179, 462}, {186,
455}, {51, 333}, {179, 461}, {50, 333}, {178, 461}, {89, 384}, {249, 288}, {121,
416}, {96, 384}, {113, 405}, {249, 285}, {121, 415}, {254, 280}, {241, 279},
{126, 408}, {113, 406}, {255, 280}, {241, 278}, {127, 408}, {118, 414}, {247,
287}, {246, 286}, {127, 407}, {105, 384}, {247, 286}, {246, 287}, {119, 414},
{126, 407}, {119, 413}, {255, 277}, {118, 413}, {254, 277}, {124, 400}, {252,
272}, {120, 405}, {253, 272}, {125, 400}, {120, 406}, {248, 278}, {248, 279},
{112, 384}, {253, 269}, {117, 389}, {116, 389}, {252, 269}, {116, 390}, {250,
264}, {245, 263}, {244, 262}, {125, 399}, {122, 392}, {117, 390}, {251, 264},
{245, 262}, {244, 263}, {124, 399}, {123, 392}, {128, 377}, {114, 398}, {243,
271}, {242, 270}, {123, 391}, {128, 380}, {115, 398}, {243, 270}, {242, 271},
{122, 391}, {115, 397}, {251, 261}, {114, 397}, {250, 261}, {217, 512}, {224,
512}, {233, 512}, {240, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 285}
under the group generated by the following permutations:
a: (225, 238)(226, 237)(227, 236)(228, 235)(229, 234)(230, 233)(231, 240)(232,
239)(241, 254)(242, 253)(243, 252)(244, 251)(245, 250)(246, 249)(247, 256)(248,
255)(261, 262)(263, 264)(269, 270)(271, 272)(277, 278)(279, 280)(285, 286)(287,
288)(481, 499)(482, 500)(483, 497)(484, 498)(485, 486)(487, 488)(489, 507)(490,
508)(491, 505)(492, 506)(493, 494)(495, 496)(501, 502)(503, 504)(509, 510)(511,
512) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (33, 46)(34, 45)(35, 44)(36, 43)(37, 42)(38, 41)(39, 48)(40, 47)(49, 62)(50,
61)(51, 60)(52, 59)(53, 58)(54, 57)(55, 64)(56, 63)(65, 78)(66, 77)(67, 76)(68,
75)(69, 74)(70, 73)(71, 80)(72, 79)(81, 94)(82, 93)(83, 92)(84, 91)(85, 90)(86,
89)(87, 96)(88, 95)(289, 307)(290, 308)(291, 305)(292, 306)(293, 294)(295,
296)(297, 315)(298, 316)(299, 313)(300, 314)(301, 302)(303, 304)(309, 310)(311,
312)(317, 318)(319, 320)(321, 339)(322, 340)(323, 337)(324, 338)(325, 327)(326,
328)(329, 347)(330, 348)(331, 345)(332, 346)(333, 335)(334, 336)(341, 343)(342,
344)(349, 351)(350, 352)(357, 360)(358, 359)(365, 368)(366, 367)(373, 376)(374,
375)(381, 384)(382, 383)
c: (129, 142)(130, 141)(131, 140)(132, 139)(133, 138)(134, 137)(135, 144)(136,
143)(145, 149)(146, 150)(147, 151)(148, 152)(153, 157)(154, 158)(155, 159)(156,
160)(161, 165)(162, 166)(163, 167)(164, 168)(169, 173)(170, 174)(171, 175)(172,
176)(177, 181)(178, 182)(179, 183)(180, 184)(185, 189)(186, 190)(187, 191)(188,
192)(193, 202)(194, 201)(195, 208)(196, 207)(197, 206)(198, 205)(199, 204)(200,
203)(385, 404)(386, 403)(387, 402)(388, 401)(389, 390)(391, 392)(393, 412)(394,
411)(395, 410)(396, 409)(397, 398)(399, 400)(405, 406)(407, 408)(413, 414)(415,
416)(417, 433)(418, 434)(419, 435)(420, 436)(421, 437)(422, 438)(423, 439)(424,
440)(425, 441)(426, 442)(427, 443)(428, 444)(429, 445)(430, 446)(431, 447)(432,
448)(449, 452)(450, 451)(453, 470)(454, 469)(455, 472)(456, 471)(457, 460)(458,
459)(461, 478)(462, 477)(463, 480)(464, 479)(465, 468)(466, 467)(473, 476)(474,
475)
d: (193, 206)(194, 205)(195, 204)(196, 203)(197, 202)(198, 201)(199, 208)(200,
207)(209, 213)(210, 214)(211, 215)(212, 216)(217, 221)(218, 222)(219, 223)(220,
224)(225, 229)(226, 230)(227, 231)(228, 232)(233, 237)(234, 238)(235, 239)(236,
240)(241, 254)(242, 253)(243, 252)(244, 251)(245, 250)(246, 249)(247, 256)(248,
255)(261, 262)(263, 264)(269, 270)(271, 272)(277, 278)(279, 280)(285, 286)(287,
288)(449, 468)(450, 467)(451, 466)(452, 465)(453, 454)(455, 456)(457, 476)(458,
475)(459, 474)(460, 473)(461, 462)(463, 464)(469, 470)(471, 472)(477, 478)(479,
480)(481, 498)(482, 497)(483, 500)(484, 499)(485, 501)(486, 502)(487, 503)(488,
504)(489, 506)(490, 505)(491, 508)(492, 507)(493, 509)(494, 510)(495, 511)(496,
512)
e: (161, 174)(162, 173)(163, 172)(164, 171)(165, 170)(166, 169)(167, 176)(168,
175)(177, 181)(178, 182)(179, 183)(180, 184)(185, 189)(186, 190)(187, 191)(188,
192)(193, 202)(194, 201)(195, 208)(196, 207)(197, 206)(198, 205)(199, 204)(200,
203)(417, 436)(418, 435)(419, 434)(420, 433)(421, 422)(423, 424)(425, 444)(426,
443)(427, 442)(428, 441)(429, 430)(431, 432)(437, 438)(439, 440)(445, 446)(447,
448)(449, 452)(450, 451)(453, 470)(454, 469)(455, 472)(456, 471)(457, 460)(458,
459)(461, 478)(462, 477)(463, 480)(464, 479)(465, 468)(466, 467)(473, 476)(474,
475)
f: (81, 90)(82, 89)(83, 96)(84, 95)(85, 94)(86, 93)(87, 92)(88, 91)(97, 106)(98,
105)(99, 112)(100, 111)(101, 110)(102, 109)(103, 108)(104, 107)(113, 122)(114,
121)(115, 128)(116, 127)(117, 126)(118, 125)(119, 124)(120, 123)(129, 133)(130,
134)(131, 135)(132, 136)(137, 141)(138, 142)(139, 143)(140, 144)(145, 149)(146,
150)(147, 151)(148, 152)(153, 157)(154, 158)(155, 159)(156, 160)(161, 165)(162,
166)(163, 167)(164, 168)(169, 173)(170, 174)(171, 175)(172, 176)(177, 181)(178,
182)(179, 183)(180, 184)(185, 189)(186, 190)(187, 191)(188, 192)(193, 202)(194,
201)(195, 208)(196, 207)(197, 206)(198, 205)(199, 204)(200, 203)(321, 322)(323,
324)(329, 330)(331, 332)(337, 338)(339, 340)(345, 346)(347, 348)(353, 355)(354,
356)(357, 375)(358, 376)(359, 373)(360, 374)(361, 363)(362, 364)(365, 383)(366,
384)(367, 381)(368, 382)(369, 371)(370, 372)(377, 379)(378, 380)(385, 401)(386,
402)(387, 403)(388, 404)(389, 408)(390, 407)(391, 406)(392, 405)(393, 409)(394,
410)(395, 411)(396, 412)(397, 416)(398, 415)(399, 414)(400, 413)(417, 433)(418,
434)(419, 435)(420, 436)(421, 437)(422, 438)(423, 439)(424, 440)(425, 441)(426,
442)(427, 443)(428, 444)(429, 445)(430, 446)(431, 447)(432, 448)(449, 452)(450,
451)(453, 470)(454, 469)(455, 472)(456, 471)(457, 460)(458, 459)(461, 478)(462,
477)(463, 480)(464, 479)(465, 468)(466, 467)(473, 476)(474, 475)
g: (193, 206)(194, 205)(195, 204)(196, 203)(197, 202)(198, 201)(199, 208)(200,
207)(209, 222)(210, 221)(211, 220)(212, 219)(213, 218)(214, 217)(215, 224)(216,
223)(225, 238)(226, 237)(227, 236)(228, 235)(229, 234)(230, 233)(231, 240)(232,
239)(241, 254)(242, 253)(243, 252)(244, 251)(245, 250)(246, 249)(247, 256)(248,
255)(261, 262)(263, 264)(269, 270)(271, 272)(277, 278)(279, 280)(285, 286)(287,
288)(449, 467)(450, 468)(451, 465)(452, 466)(453, 454)(455, 456)(457, 475)(458,
476)(459, 473)(460, 474)(461, 462)(463, 464)(469, 470)(471, 472)(477, 478)(479,
480)(481, 499)(482, 500)(483, 497)(484, 498)(485, 487)(486, 488)(489, 507)(490,
508)(491, 505)(492, 506)(493, 495)(494, 496)(501, 503)(502, 504)(509, 511)(510,
512)
h: (17, 26)(18, 25)(19, 32)(20, 31)(21, 30)(22, 29)(23, 28)(24, 27)(33, 42)(34,
41)(35, 48)(36, 47)(37, 46)(38, 45)(39, 44)(40, 43)(257, 258)(259, 260)(265,
266)(267, 268)(273, 274)(275, 276)(281, 282)(283, 284)(289, 292)(290, 291)(293,
311)(294, 312)(295, 309)(296, 310)(297, 300)(298, 299)(301, 319)(302, 320)(303,
317)(304, 318)(305, 308)(306, 307)(313, 316)(314, 315)
m: (33, 46)(34, 45)(35, 44)(36, 43)(37, 42)(38, 41)(39, 48)(40, 47)(49, 53)(50,
54)(51, 55)(52, 56)(57, 61)(58, 62)(59, 63)(60, 64)(65, 69)(66, 70)(67, 71)(68,
72)(73, 77)(74, 78)(75, 79)(76, 80)(81, 94)(82, 93)(83, 92)(84, 91)(85, 90)(86,
89)(87, 96)(88, 95)(289, 308)(290, 307)(291, 306)(292, 305)(293, 294)(295,
296)(297, 316)(298, 315)(299, 314)(300, 313)(301, 302)(303, 304)(309, 310)(311,
312)(317, 318)(319, 320)(321, 338)(322, 337)(323, 340)(324, 339)(325, 341)(326,
342)(327, 343)(328, 344)(329, 346)(330, 345)(331, 348)(332, 347)(333, 349)(334,
350)(335, 351)(336, 352)(357, 360)(358, 359)(365, 368)(366, 367)(373, 376)(374,
375)(381, 384)(382, 383)
n1: (65, 78)(66, 77)(67, 76)(68, 75)(69, 74)(70, 73)(71, 80)(72, 79)(81, 94)(82,
93)(83, 92)(84, 91)(85, 90)(86, 89)(87, 96)(88, 95)(321, 339)(322, 340)(323,
337)(324, 338)(325, 326)(327, 328)(329, 347)(330, 348)(331, 345)(332, 346)(333,
334)(335, 336)(341, 342)(343, 344)(349, 350)(351, 352)(357, 360)(358, 359)(365,
368)(366, 367)(373, 376)(374, 375)(381, 384)(382, 383)
a1: (145, 154)(146, 153)(147, 160)(148, 159)(149, 158)(150, 157)(151, 156)(152,
155)(161, 165)(162, 166)(163, 167)(164, 168)(169, 173)(170, 174)(171, 175)(172,
176)(177, 181)(178, 182)(179, 183)(180, 184)(185, 189)(186, 190)(187, 191)(188,
192)(193, 202)(194, 201)(195, 208)(196, 207)(197, 206)(198, 205)(199, 204)(200,
203)(385, 386)(387, 388)(393, 394)(395, 396)(401, 402)(403, 404)(409, 410)(411,
412)(417, 433)(418, 434)(419, 435)(420, 436)(421, 440)(422, 439)(423, 438)(424,
437)(425, 441)(426, 442)(427, 443)(428, 444)(429, 448)(430, 447)(431, 446)(432,
445)(449, 452)(450, 451)(453, 470)(454, 469)(455, 472)(456, 471)(457, 460)(458,
459)(461, 478)(462, 477)(463, 480)(464, 479)(465, 468)(466, 467)(473, 476)(474,
475)
b1: (177, 186)(178, 185)(179, 192)(180, 191)(181, 190)(182, 189)(183, 188)(184,
187)(193, 202)(194, 201)(195, 208)(196, 207)(197, 206)(198, 205)(199, 204)(200,
203)(417, 418)(419, 420)(425, 426)(427, 428)(433, 434)(435, 436)(441, 442)(443,
444)(449, 452)(450, 451)(453, 471)(454, 472)(455, 469)(456, 470)(457, 460)(458,
459)(461, 479)(462, 480)(463, 477)(464, 478)(465, 468)(466, 467)(473, 476)(474,
475)
c1: (113, 122)(114, 121)(115, 128)(116, 127)(117, 126)(118, 125)(119, 124)(120,
123)(129, 133)(130, 134)(131, 135)(132, 136)(137, 141)(138, 142)(139, 143)(140,
144)(145, 149)(146, 150)(147, 151)(148, 152)(153, 157)(154, 158)(155, 159)(156,
160)(161, 165)(162, 166)(163, 167)(164, 168)(169, 173)(170, 174)(171, 175)(172,
176)(177, 181)(178, 182)(179, 183)(180, 184)(185, 189)(186, 190)(187, 191)(188,
192)(193, 202)(194, 201)(195, 208)(196, 207)(197, 206)(198, 205)(199, 204)(200,
203)(353, 354)(355, 356)(361, 362)(363, 364)(369, 370)(371, 372)(377, 378)(379,
380)(385, 401)(386, 402)(387, 403)(388, 404)(389, 408)(390, 407)(391, 406)(392,
405)(393, 409)(394, 410)(395, 411)(396, 412)(397, 416)(398, 415)(399, 414)(400,
413)(417, 433)(418, 434)(419, 435)(420, 436)(421, 437)(422, 438)(423, 439)(424,
440)(425, 441)(426, 442)(427, 443)(428, 444)(429, 445)(430, 446)(431, 447)(432,
448)(449, 452)(450, 451)(453, 470)(454, 469)(455, 472)(456, 471)(457, 460)(458,
459)(461, 478)(462, 477)(463, 480)(464, 479)(465, 468)(466, 467)(473, 476)(474,
475)
d1: (81, 90)(82, 89)(83, 96)(84, 95)(85, 94)(86, 93)(87, 92)(88, 91)(97,
101)(98, 102)(99, 103)(100, 104)(105, 109)(106, 110)(107, 111)(108, 112)(113,
117)(114, 118)(115, 119)(116, 120)(121, 125)(122, 126)(123, 127)(124, 128)(129,
133)(130, 134)(131, 135)(132, 136)(137, 141)(138, 142)(139, 143)(140, 144)(145,
149)(146, 150)(147, 151)(148, 152)(153, 157)(154, 158)(155, 159)(156, 160)(161,
165)(162, 166)(163, 167)(164, 168)(169, 173)(170, 174)(171, 175)(172, 176)(177,
181)(178, 182)(179, 183)(180, 184)(185, 189)(186, 190)(187, 191)(188, 192)(193,
202)(194, 201)(195, 208)(196, 207)(197, 206)(198, 205)(199, 204)(200, 203)(321,
322)(323, 324)(329, 330)(331, 332)(337, 338)(339, 340)(345, 346)(347, 348)(353,
369)(354, 370)(355, 371)(356, 372)(357, 376)(358, 375)(359, 374)(360, 373)(361,
377)(362, 378)(363, 379)(364, 380)(365, 384)(366, 383)(367, 382)(368, 381)(385,
401)(386, 402)(387, 403)(388, 404)(389, 405)(390, 406)(391, 407)(392, 408)(393,
409)(394, 410)(395, 411)(396, 412)(397, 413)(398, 414)(399, 415)(400, 416)(417,
433)(418, 434)(419, 435)(420, 436)(421, 437)(422, 438)(423, 439)(424, 440)(425,
441)(426, 442)(427, 443)(428, 444)(429, 445)(430, 446)(431, 447)(432, 448)(449,
452)(450, 451)(453, 470)(454, 469)(455, 472)(456, 471)(457, 460)(458, 459)(461,
478)(462, 477)(463, 480)(464, 479)(465, 468)(466, 467)(473, 476)(474, 475)
e1: (1, 17, 10, 26)(2, 18, 9, 25)(3, 19, 16, 32)(4, 20, 15, 31)(5, 21, 14,
30)(6, 22, 13, 29)(7, 23, 12, 28)(8, 24, 11, 27)(33, 245, 42, 254)(34, 246, 41,
253)(35, 247, 48, 252)(36, 248, 47, 251)(37, 241, 46, 250)(38, 242, 45, 249)(39,
243, 44, 256)(40, 244, 43, 255)(49, 238)(50, 237)(51, 236)(52, 235)(53, 234)(54,
233)(55, 240)(56, 239)(57, 230)(58, 229)(59, 228)(60, 227)(61, 226)(62, 225)(63,
232)(64, 231)(65, 222)(66, 221)(67, 220)(68, 219)(69, 218)(70, 217)(71, 224)(72,
223)(73, 214)(74, 213)(75, 212)(76, 211)(77, 210)(78, 209)(79, 216)(80, 215)(81,
197)(82, 198)(83, 199)(84, 200)(85, 193)(86, 194)(87, 195)(88, 196)(89, 205)(90,
206)(91, 207)(92, 208)(93, 201)(94, 202)(95, 203)(96, 204)(97, 186, 110,
181)(98, 185, 109, 182)(99, 192, 108, 183)(100, 191, 107, 184)(101, 190, 106,
177)(102, 189, 105, 178)(103, 188, 112, 179)(104, 187, 111, 180)(113, 170, 126,
165)(114, 169, 125, 166)(115, 176, 124, 167)(116, 175, 123, 168)(117, 174, 122,
161)(118, 173, 121, 162)(119, 172, 128, 163)(120, 171, 127, 164)(129, 149)(130,
150)(131, 151)(132, 152)(133, 145)(134, 146)(135, 147)(136, 148)(137, 157)(138,
158)(139, 159)(140, 160)(141, 153)(142, 154)(143, 155)(144, 156)(257, 258, 259,
260)(261, 294, 279, 312)(262, 293, 280, 311)(263, 296, 277, 310)(264, 295, 278,
309)(265, 266, 267, 268)(269, 302, 287, 320)(270, 301, 288, 319)(271, 304, 285,
318)(272, 303, 286, 317)(273, 274, 275, 276)(281, 282, 283, 284)(289, 498, 292,
497)(290, 499, 291, 500)(297, 506, 300, 505)(298, 507, 299, 508)(305, 482, 308,
481)(306, 483, 307, 484)(313, 490, 316, 489)(314, 491, 315, 492)(321, 468)(322,
465)(323, 466)(324, 467)(325, 485)(326, 488)(327, 487)(328, 486)(329, 476)(330,
473)(331, 474)(332, 475)(333, 493)(334, 496)(335, 495)(336, 494)(337, 452)(338,
449)(339, 450)(340, 451)(341, 501)(342, 504)(343, 503)(344, 502)(345, 460)(346,
457)(347, 458)(348, 459)(349, 509)(350, 512)(351, 511)(352, 510)(353, 417, 371,
435)(354, 420, 372, 434)(355, 419, 369, 433)(356, 418, 370, 436)(357, 470, 358,
471)(359, 472, 360, 469)(361, 425, 379, 443)(362, 428, 380, 442)(363, 427, 377,
441)(364, 426, 378, 444)(365, 478, 366, 479)(367, 480, 368, 477)(373, 454, 374,
455)(375, 456, 376, 453)(381, 462, 382, 463)(383, 464, 384, 461)(385, 403)(386,
402)(387, 401)(388, 404)(389, 440, 392, 439)(390, 437, 391, 438)(393, 411)(394,
410)(395, 409)(396, 412)(397, 448, 400, 447)(398, 445, 399, 446)(405, 424, 408,
423)(406, 421, 407, 422)(413, 432, 416, 431)(414, 429, 415, 430)
f1: (1, 2, 3, 4, 5, 6, 7, 8)(9, 12, 15, 10, 13, 16, 11, 14)(17, 242, 19, 244,
21, 246, 23, 248)(18, 243, 20, 245, 22, 247, 24, 241)(25, 252, 31, 250, 29, 256,
27, 254)(26, 253, 32, 251, 30, 249, 28, 255)(33, 226, 44, 239, 37, 230, 48,
235)(34, 227, 43, 238, 38, 231, 47, 234)(35, 228, 42, 237, 39, 232, 46, 233)(36,
229, 41, 236, 40, 225, 45, 240)(49, 221, 55, 223, 53, 217, 51, 219)(50, 220, 56,
222, 54, 224, 52, 218)(57, 211, 59, 209, 61, 215, 63, 213)(58, 210, 60, 216, 62,
214, 64, 212)(65, 205, 71, 207, 69, 201, 67, 203)(66, 204, 72, 206, 70, 208, 68,
202)(73, 195, 75, 193, 77, 199, 79, 197)(74, 194, 76, 200, 78, 198, 80, 196)(81,
189, 92, 184, 85, 185, 96, 180)(82, 188, 91, 177, 86, 192, 95, 181)(83, 187, 90,
178, 87, 191, 94, 182)(84, 186, 89, 179, 88, 190, 93, 183)(97, 173, 108, 168,
101, 169, 112, 164)(98, 172, 107, 161, 102, 176, 111, 165)(99, 171, 106, 162,
103, 175, 110, 166)(100, 170, 105, 163, 104, 174, 109, 167)(113, 157, 124, 152,
117, 153, 128, 148)(114, 156, 123, 145, 118, 160, 127, 149)(115, 155, 122, 146,
119, 159, 126, 150)(116, 154, 121, 147, 120, 158, 125, 151)(129, 134, 131, 136,
133, 130, 135, 132)(137, 144, 143, 142, 141, 140, 139, 138)(257, 269, 281, 261,
273, 285, 265, 277)(258, 270, 282, 262, 274, 286, 266, 278)(259, 271, 283, 263,
275, 287, 267, 279)(260, 272, 284, 264, 276, 288, 268, 280)(289, 494, 300, 501,
305, 510, 316, 485)(290, 495, 299, 504, 306, 511, 315, 488)(291, 496, 298, 503,
307, 512, 314, 487)(292, 493, 297, 502, 308, 509, 313, 486)(293, 499, 318, 490,
309, 483, 302, 506)(294, 498, 317, 491, 310, 482, 301, 507)(295, 497, 320, 492,
311, 481, 304, 508)(296, 500, 319, 489, 312, 484, 303, 505)(321, 461, 330, 472,
337, 477, 346, 456)(322, 464, 329, 469, 338, 480, 345, 453)(323, 463, 332, 470,
339, 479, 348, 454)(324, 462, 331, 471, 340, 478, 347, 455)(325, 449, 333, 457,
341, 465, 349, 473)(326, 452, 334, 460, 342, 468, 350, 476)(327, 451, 335, 459,
343, 467, 351, 475)(328, 450, 336, 458, 344, 466, 352, 474)(353, 429, 363, 439,
369, 445, 379, 423)(354, 432, 364, 438, 370, 448, 380, 422)(355, 431, 361, 437,
371, 447, 377, 421)(356, 430, 362, 440, 372, 446, 378, 424)(357, 417, 383, 443,
373, 433, 367, 427)(358, 420, 384, 442, 374, 436, 368, 426)(359, 419, 381, 441,
375, 435, 365, 425)(360, 418, 382, 444, 376, 434, 366, 428)(385, 415, 410, 406,
401, 399, 394, 390)(386, 414, 409, 407, 402, 398, 393, 391)(387, 413, 412, 408,
403, 397, 396, 392)(388, 416, 411, 405, 404, 400, 395, 389)
g1: (2, 8)(3, 7)(4, 6)(9, 15)(10, 14)(11, 13)(17, 241)(18, 248)(19, 247)(20,
246)(21, 245)(22, 244)(23, 243)(24, 242)(25, 255)(26, 254)(27, 253)(28, 252)(29,
251)(30, 250)(31, 249)(32, 256)(33, 225, 46, 234)(34, 232, 45, 235)(35, 231, 44,
236)(36, 230, 43, 237)(37, 229, 42, 238)(38, 228, 41, 239)(39, 227, 48, 240)(40,
226, 47, 233)(49, 222, 53, 218)(50, 223, 54, 219)(51, 224, 55, 220)(52, 217, 56,
221)(57, 216, 61, 212)(58, 209, 62, 213)(59, 210, 63, 214)(60, 211, 64, 215)(65,
206, 74, 193)(66, 207, 73, 200)(67, 208, 80, 199)(68, 201, 79, 198)(69, 202, 78,
197)(70, 203, 77, 196)(71, 204, 76, 195)(72, 205, 75, 194)(81, 177)(82, 184)(83,
183)(84, 182)(85, 181)(86, 180)(87, 179)(88, 178)(89, 191)(90, 190)(91, 189)(92,
188)(93, 187)(94, 186)(95, 185)(96, 192)(97, 170, 110, 161)(98, 171, 109,
168)(99, 172, 108, 167)(100, 173, 107, 166)(101, 174, 106, 165)(102, 175, 105,
164)(103, 176, 112, 163)(104, 169, 111, 162)(113, 154, 126, 145)(114, 155, 125,
152)(115, 156, 124, 151)(116, 157, 123, 150)(117, 158, 122, 149)(118, 159, 121,
148)(119, 160, 128, 147)(120, 153, 127, 146)(130, 136)(131, 135)(132, 134)(137,
143)(138, 142)(139, 141)(257, 277)(258, 278)(259, 279)(260, 280)(261, 273)(262,
274)(263, 275)(264, 276)(265, 269)(266, 270)(267, 271)(268, 272)(281, 285)(282,
286)(283, 287)(284, 288)(289, 502, 308, 485)(290, 503, 307, 488)(291, 504, 306,
487)(292, 501, 305, 486)(293, 499, 294, 498)(295, 497, 296, 500)(297, 494, 316,
509)(298, 495, 315, 512)(299, 496, 314, 511)(300, 493, 313, 510)(301, 491, 302,
490)(303, 489, 304, 492)(309, 483, 310, 482)(311, 481, 312, 484)(317, 507, 318,
506)(319, 505, 320, 508)(321, 472, 324, 471)(322, 469, 323, 470)(325, 449, 342,
468)(326, 452, 341, 465)(327, 451, 344, 466)(328, 450, 343, 467)(329, 464, 332,
463)(330, 461, 331, 462)(333, 473, 350, 460)(334, 476, 349, 457)(335, 475, 352,
458)(336, 474, 351, 459)(337, 456, 340, 455)(338, 453, 339, 454)(345, 480, 348,
479)(346, 477, 347, 478)(353, 421, 371, 439)(354, 424, 372, 438)(355, 423, 369,
437)(356, 422, 370, 440)(357, 434, 358, 435)(359, 436, 360, 433)(361, 445, 379,
431)(362, 448, 380, 430)(363, 447, 377, 429)(364, 446, 378, 432)(365, 426, 366,
427)(367, 428, 368, 425)(373, 418, 374, 419)(375, 420, 376, 417)(381, 442, 382,
443)(383, 444, 384, 441)(385, 407, 386, 406)(387, 405, 388, 408)(389, 404, 392,
403)(390, 401, 391, 402)(393, 399, 394, 398)(395, 397, 396, 400)(409, 415, 410,
414)(411, 413, 412, 416)
h1: (1, 9, 7, 11, 5, 13, 3, 15)(2, 16, 8, 10, 6, 12, 4, 14)(17, 249, 28, 244,
21, 253, 32, 248)(18, 256, 27, 245, 22, 252, 31, 241)(19, 255, 26, 246, 23, 251,
30, 242)(20, 254, 25, 247, 24, 250, 29, 243)(33, 226, 44, 239, 37, 230, 48,
235)(34, 227, 43, 238, 38, 231, 47, 234)(35, 228, 42, 237, 39, 232, 46, 233)(36,
229, 41, 236, 40, 225, 45, 240)(49, 221, 55, 223, 53, 217, 51, 219)(50, 220, 56,
222, 54, 224, 52, 218)(57, 211, 59, 209, 61, 215, 63, 213)(58, 210, 60, 216, 62,
214, 64, 212)(65, 205, 71, 207, 69, 201, 67, 203)(66, 204, 72, 206, 70, 208, 68,
202)(73, 195, 75, 193, 77, 199, 79, 197)(74, 194, 76, 200, 78, 198, 80, 196)(81,
189, 92, 184, 85, 185, 96, 180)(82, 188, 91, 177, 86, 192, 95, 181)(83, 187, 90,
178, 87, 191, 94, 182)(84, 186, 89, 179, 88, 190, 93, 183)(97, 173, 108, 168,
101, 169, 112, 164)(98, 172, 107, 161, 102, 176, 111, 165)(99, 171, 106, 162,
103, 175, 110, 166)(100, 170, 105, 163, 104, 174, 109, 167)(113, 157, 124, 152,
117, 153, 128, 148)(114, 156, 123, 145, 118, 160, 127, 149)(115, 155, 122, 146,
119, 159, 126, 150)(116, 154, 121, 147, 120, 158, 125, 151)(129, 134, 131, 136,
133, 130, 135, 132)(137, 144, 143, 142, 141, 140, 139, 138)(257, 287, 266, 264,
273, 271, 282, 280)(258, 288, 265, 263, 274, 272, 281, 279)(259, 285, 268, 262,
275, 269, 284, 278)(260, 286, 267, 261, 276, 270, 283, 277)(289, 494, 300, 501,
305, 510, 316, 485)(290, 495, 299, 504, 306, 511, 315, 488)(291, 496, 298, 503,
307, 512, 314, 487)(292, 493, 297, 502, 308, 509, 313, 486)(293, 500, 319, 490,
309, 484, 303, 506)(294, 497, 320, 491, 310, 481, 304, 507)(295, 498, 317, 492,
311, 482, 301, 508)(296, 499, 318, 489, 312, 483, 302, 505)(321, 461, 330, 472,
337, 477, 346, 456)(322, 464, 329, 469, 338, 480, 345, 453)(323, 463, 332, 470,
339, 479, 348, 454)(324, 462, 331, 471, 340, 478, 347, 455)(325, 449, 333, 457,
341, 465, 349, 473)(326, 452, 334, 460, 342, 468, 350, 476)(327, 451, 335, 459,
343, 467, 351, 475)(328, 450, 336, 458, 344, 466, 352, 474)(353, 429, 363, 439,
369, 445, 379, 423)(354, 432, 364, 438, 370, 448, 380, 422)(355, 431, 361, 437,
371, 447, 377, 421)(356, 430, 362, 440, 372, 446, 378, 424)(357, 417, 383, 443,
373, 433, 367, 427)(358, 420, 384, 442, 374, 436, 368, 426)(359, 419, 381, 441,
375, 435, 365, 425)(360, 418, 382, 444, 376, 434, 366, 428)(385, 415, 410, 406,
401, 399, 394, 390)(386, 414, 409, 407, 402, 398, 393, 391)(387, 413, 412, 408,
403, 397, 396, 392)(388, 416, 411, 405, 404, 400, 395, 389)
C4[ 512, 57 ]
512
-1 277 278 257 258
-2 257 258 269 270
-3 269 270 281 282
-4 281 282 261 262
-5 261 262 273 274
-6 286 273 274 285
-7 286 265 266 285
-8 265 266 277 278
-9 287 288 259 260
-10 264 259 260 263
-11 264 267 268 263
-12 267 268 271 272
-13 275 276 271 272
-14 275 276 279 280
-15 279 280 283 284
-16 287 288 283 284
-17 309 310 258 259
-18 301 258 302 259
-19 301 302 282 283
-20 282 293 283 294
-21 275 293 294 274
-22 275 317 274 318
-23 266 267 317 318
-24 309 266 310 267
-25 319 320 257 260
-26 257 260 295 296
-27 265 268 295 296
-28 265 268 303 304
-29 276 303 304 273
-30 276 311 312 273
-31 311 312 281 284
-32 319 320 281 284
-33 310 289 311 290
-34 289 290 302 303
-35 302 313 303 314
-36 313 314 294 295
-37 294 305 295 306
-38 319 305 306 318
-39 297 319 298 318
-40 297 298 310 311
-41 320 291 292 317
-42 291 292 293 296
-43 299 300 293 296
-44 299 300 301 304
-45 308 301 304 307
-46 308 309 312 307
-47 309 312 315 316
-48 320 315 316 317
-49 341 342 290 291
-50 333 290 334 291
-51 333 334 314 315
-52 314 325 315 326
-53 325 326 306 307
-54 349 306 350 307
-55 298 299 349 350
-56 341 298 342 299
-57 352 289 292 351
-58 289 292 327 328
-59 297 300 327 328
-60 297 300 335 336
-61 308 335 336 305
-62 308 343 344 305
-63 343 344 313 316
-64 352 313 316 351
-65 342 321 343 322
-66 321 322 334 335
-67 334 345 335 346
-68 345 346 326 327
-69 326 337 327 338
-70 337 338 350 351
-71 330 350 329 351
-72 330 342 343 329
-73 352 323 324 349
-74 323 324 325 328
-75 331 332 325 328
-76 331 332 333 336
-77 333 336 339 340
-78 341 344 339 340
-79 341 344 347 348
-80 352 347 348 349
-81 374 322 323 373
-82 365 322 366 323
-83 365 366 346 347
-84 346 357 347 358
-85 357 358 338 339
-86 381 338 382 339
-87 330 331 381 382
-88 330 374 331 373
-89 321 324 383 384
-90 321 324 359 360
-91 332 359 360 329
-92 332 367 368 329
-93 367 368 337 340
-94 375 376 337 340
-95 375 376 345 348
-96 345 348 383 384
-97 374 353 375 354
-98 353 354 366 367
-99 366 377 367 378
-100 377 378 358 359
-101 358 369 359 370
-102 369 370 382 383
-103 382 361 383 362
-104 374 375 361 362
-105 355 356 381 384
-106 355 356 357 360
-107 363 364 357 360
-108 363 364 365 368
-109 365 368 371 372
-110 376 371 372 373
-111 376 379 380 373
-112 379 380 381 384
-113 354 355 405 406
-114 397 354 398 355
-115 397 398 378 379
-116 378 389 379 390
-117 389 390 370 371
-118 413 370 414 371
-119 363 413 414 362
-120 363 405 362 406
-121 353 356 415 416
-122 353 356 391 392
-123 364 391 392 361
-124 364 399 400 361
-125 399 400 369 372
-126 407 408 369 372
-127 407 408 377 380
-128 377 380 415 416
-129 385 407 386 406
-130 385 386 398 399
-131 398 409 399 410
-132 409 410 390 391
-133 390 401 391 402
-134 401 402 414 415
-135 414 393 415 394
-136 407 393 394 406
-137 387 388 413 416
-138 387 388 389 392
-139 396 389 392 395
-140 396 397 400 395
-141 397 400 403 404
-142 408 403 404 405
-143 408 411 412 405
-144 411 412 413 416
-145 386 387 437 438
-146 429 386 430 387
-147 429 430 410 411
-148 410 421 411 422
-149 421 422 402 403
-150 445 402 446 403
-151 445 446 394 395
-152 437 394 438 395
-153 385 388 447 448
-154 385 388 423 424
-155 396 423 424 393
-156 396 431 432 393
-157 431 432 401 404
-158 440 401 404 439
-159 440 409 412 439
-160 409 412 447 448
-161 418 438 417 439
-162 418 430 431 417
-163 430 441 431 442
-164 441 442 422 423
-165 422 433 423 434
-166 433 434 446 447
-167 446 425 447 426
-168 425 426 438 439
-169 419 420 445 448
-170 419 420 421 424
-171 421 424 427 428
-172 429 432 427 428
-173 429 432 435 436
-174 440 435 436 437
-175 440 443 444 437
-176 443 444 445 448
-177 418 419 469 470
-178 418 462 419 461
-179 462 442 443 461
-180 442 453 443 454
-181 453 454 434 435
-182 477 434 478 435
-183 477 478 426 427
-184 469 426 470 427
-185 420 479 480 417
-186 420 455 456 417
-187 455 456 425 428
-188 463 464 425 428
-189 463 464 433 436
-190 433 436 471 472
-191 441 444 471 472
-192 441 444 479 480
-193 470 449 471 450
-194 462 463 449 450
-195 462 473 463 474
-196 473 474 454 455
-197 454 465 455 466
-198 465 466 478 479
-199 478 457 479 458
-200 457 458 470 471
-201 451 452 477 480
-202 451 452 453 456
-203 453 456 459 460
-204 464 459 460 461
-205 464 467 468 461
-206 467 468 469 472
-207 475 476 469 472
-208 475 476 477 480
-209 451 501 502 450
-210 451 493 450 494
-211 474 475 493 494
-212 474 485 475 486
-213 485 486 466 467
-214 509 466 510 467
-215 509 510 458 459
-216 501 458 502 459
-217 452 511 512 449
-218 452 487 488 449
-219 487 488 457 460
-220 495 496 457 460
-221 495 496 465 468
-222 465 468 503 504
-223 473 476 503 504
-224 473 476 511 512
-225 502 481 503 482
-226 495 481 482 494
-227 495 506 494 505
-228 506 486 487 505
-229 486 497 487 498
-230 497 498 510 511
-231 510 489 511 490
-232 489 490 502 503
-233 484 509 512 483
-234 484 485 488 483
-235 485 488 491 492
-236 496 491 492 493
-237 496 499 500 493
-238 499 500 501 504
-239 507 508 501 504
-240 507 508 509 512
-241 278 279 482 483
-242 270 271 482 483
-243 506 507 270 271
-244 506 507 262 263
-245 498 499 262 263
-246 286 287 498 499
-247 286 287 490 491
-248 278 279 490 491
-249 484 288 481 285
-250 264 484 261 481
-251 264 489 261 492
-252 269 489 272 492
-253 497 269 500 272
-254 277 497 280 500
-255 277 508 280 505
-256 288 508 285 505
-257 1 2 25 26
-258 1 2 17 18
-259 17 18 9 10
-260 25 26 9 10
-261 4 5 250 251
-262 244 245 4 5
-263 11 244 245 10
-264 11 250 251 10
-265 27 28 7 8
-266 23 24 7 8
-267 11 12 23 24
-268 11 12 27 28
-269 253 2 3 252
-270 242 243 2 3
-271 242 12 243 13
-272 253 12 13 252
-273 5 6 29 30
-274 22 5 6 21
-275 22 13 14 21
-276 13 14 29 30
-277 1 254 255 8
-278 1 248 8 241
-279 14 15 248 241
-280 254 255 14 15
-281 3 4 31 32
-282 3 4 19 20
-283 15 16 19 20
-284 15 16 31 32
-285 256 6 7 249
-286 246 247 6 7
-287 246 16 247 9
-288 256 16 249 9
-289 33 34 57 58
-290 33 34 49 50
-291 49 50 41 42
-292 57 58 41 42
-293 20 42 21 43
-294 36 37 20 21
-295 36 26 37 27
-296 26 27 42 43
-297 59 60 39 40
-298 55 56 39 40
-299 44 55 56 43
-300 44 59 60 43
-301 44 45 18 19
-302 34 35 18 19
-303 34 35 28 29
-304 44 45 28 29
-305 37 38 61 62
-306 37 38 53 54
-307 45 46 53 54
-308 45 46 61 62
-309 24 46 47 17
-310 33 24 17 40
-311 33 40 30 31
-312 46 47 30 31
-313 35 36 63 64
-314 35 36 51 52
-315 47 48 51 52
-316 47 48 63 64
-317 22 23 48 41
-318 22 23 38 39
-319 25 38 39 32
-320 25 48 41 32
-321 66 89 90 65
-322 66 81 82 65
-323 81 82 73 74
-324 89 90 73 74
-325 52 74 53 75
-326 68 69 52 53
-327 68 58 69 59
-328 58 59 74 75
-329 91 92 71 72
-330 88 71 72 87
-331 88 75 76 87
-332 91 92 75 76
-333 77 50 51 76
-334 66 67 50 51
-335 66 67 60 61
-336 77 60 61 76
-337 69 70 93 94
-338 69 70 85 86
-339 77 78 85 86
-340 77 78 93 94
-341 56 78 79 49
-342 56 49 72 65
-343 72 62 63 65
-344 78 79 62 63
-345 67 68 95 96
-346 67 68 83 84
-347 79 80 83 84
-348 79 80 95 96
-349 55 80 73 54
-350 55 70 71 54
-351 57 70 71 64
-352 57 80 73 64
-353 121 122 97 98
-354 113 114 97 98
-355 113 114 105 106
-356 121 122 105 106
-357 84 106 85 107
-358 100 101 84 85
-359 100 90 101 91
-360 90 91 106 107
-361 123 124 103 104
-362 103 104 119 120
-363 107 108 119 120
-364 123 124 107 108
-365 82 83 108 109
-366 99 82 83 98
-367 99 92 93 98
-368 92 93 108 109
-369 101 102 125 126
-370 101 102 117 118
-371 110 117 118 109
-372 110 125 126 109
-373 88 110 111 81
-374 88 81 104 97
-375 104 94 95 97
-376 110 111 94 95
-377 99 100 127 128
-378 99 100 115 116
-379 111 112 115 116
-380 111 112 127 128
-381 112 105 86 87
-382 102 103 86 87
-383 89 102 103 96
-384 89 112 105 96
-385 154 129 130 153
-386 145 146 129 130
-387 145 146 137 138
-388 154 137 138 153
-389 116 138 117 139
-390 132 133 116 117
-391 132 122 133 123
-392 122 123 138 139
-393 155 156 135 136
-394 135 136 151 152
-395 139 140 151 152
-396 155 156 139 140
-397 114 115 140 141
-398 114 115 130 131
-399 124 125 130 131
-400 124 125 140 141
-401 133 134 157 158
-402 133 134 149 150
-403 149 150 141 142
-404 157 158 141 142
-405 143 113 120 142
-406 113 136 129 120
-407 136 126 127 129
-408 143 126 127 142
-409 132 159 160 131
-410 132 147 148 131
-411 143 144 147 148
-412 143 144 159 160
-413 144 137 118 119
-414 134 135 118 119
-415 121 134 135 128
-416 121 144 137 128
-417 161 162 185 186
-418 177 178 161 162
-419 177 178 169 170
-420 169 170 185 186
-421 148 170 149 171
-422 165 148 149 164
-423 154 165 155 164
-424 154 155 170 171
-425 187 188 167 168
-426 167 168 183 184
-427 171 172 183 184
-428 187 188 171 172
-429 146 147 172 173
-430 146 147 162 163
-431 156 157 162 163
-432 156 157 172 173
-433 165 166 189 190
-434 165 166 181 182
-435 181 182 173 174
-436 189 190 173 174
-437 145 152 174 175
-438 145 168 161 152
-439 168 158 159 161
-440 158 159 174 175
-441 191 192 163 164
-442 179 180 163 164
-443 176 179 180 175
-444 176 191 192 175
-445 176 169 150 151
-446 166 167 150 151
-447 166 167 160 153
-448 176 169 160 153
-449 193 194 217 218
-450 209 210 193 194
-451 209 210 201 202
-452 201 202 217 218
-453 180 202 181 203
-454 180 181 196 197
-455 187 196 186 197
-456 187 202 203 186
-457 220 199 200 219
-458 199 200 215 216
-459 203 204 215 216
-460 220 203 204 219
-461 178 179 204 205
-462 178 179 194 195
-463 188 189 194 195
-464 188 189 204 205
-465 198 221 222 197
-466 198 213 214 197
-467 213 214 205 206
-468 221 222 205 206
-469 177 184 206 207
-470 177 200 193 184
-471 200 190 191 193
-472 190 191 206 207
-473 223 224 195 196
-474 211 212 195 196
-475 211 212 207 208
-476 223 224 207 208
-477 201 182 183 208
-478 198 199 182 183
-479 198 199 192 185
-480 201 192 185 208
-481 225 226 249 250
-482 242 225 226 241
-483 242 233 234 241
-484 233 234 249 250
-485 212 234 213 235
-486 212 213 228 229
-487 228 218 229 219
-488 234 235 218 219
-489 231 232 251 252
-490 231 232 247 248
-491 235 236 247 248
-492 235 236 251 252
-493 210 211 236 237
-494 210 211 226 227
-495 220 221 226 227
-496 220 221 236 237
-497 253 254 229 230
-498 245 246 229 230
-499 245 246 237 238
-500 253 254 237 238
-501 209 216 238 239
-502 209 232 225 216
-503 232 222 223 225
-504 222 223 238 239
-505 255 256 227 228
-506 243 244 227 228
-507 243 244 239 240
-508 255 256 239 240
-509 233 214 215 240
-510 231 214 215 230
-511 231 224 217 230
-512 233 224 217 240
0