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