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