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