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