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