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