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