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