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