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