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