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