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