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