Graph forms
for C4 [ 384, 36 ] = PX(12,5)
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 384, 36 ] =
PX(12,5).
(I) Following is a form readable by MAGMA:
g:=Graph<384|{ {32, 63}, {352, 383}, {160, 191}, {128, 159}, {64, 95}, {96,
127}, {192, 223}, {224, 255}, {256, 287}, {288, 319}, {320, 351}, {1, 33}, {129,
161}, {128, 160}, {64, 96}, {65, 97}, {192, 224}, {193, 225}, {256, 288}, {257,
289}, {320, 352}, {321, 353}, {2, 35}, {351, 382}, {159, 190}, {130, 163}, {31,
62}, {66, 99}, {95, 126}, {194, 227}, {223, 254}, {258, 291}, {287, 318}, {322,
355}, {30, 60}, {351, 381}, {350, 380}, {159, 189}, {158, 188}, {31, 61}, {94,
124}, {95, 125}, {222, 252}, {223, 253}, {286, 316}, {287, 317}, {1, 34}, {324,
359}, {132, 167}, {129, 162}, {4, 39}, {65, 98}, {68, 103}, {193, 226}, {196,
231}, {257, 290}, {260, 295}, {321, 354}, {28, 56}, {349, 377}, {348, 376},
{157, 185}, {156, 184}, {29, 57}, {92, 120}, {93, 121}, {220, 248}, {221, 249},
{284, 312}, {285, 313}, {3, 38}, {350, 379}, {323, 358}, {158, 187}, {131, 166},
{30, 59}, {67, 102}, {94, 123}, {195, 230}, {222, 251}, {259, 294}, {286, 315},
{2, 36}, {131, 165}, {130, 164}, {3, 37}, {66, 100}, {67, 101}, {194, 228},
{195, 229}, {258, 292}, {259, 293}, {322, 356}, {323, 357}, {8, 47}, {349, 378},
{328, 367}, {157, 186}, {136, 175}, {29, 58}, {72, 111}, {93, 122}, {200, 239},
{221, 250}, {264, 303}, {285, 314}, {24, 48}, {345, 369}, {344, 368}, {153,
177}, {152, 176}, {25, 49}, {88, 112}, {89, 113}, {216, 240}, {217, 241}, {280,
304}, {281, 305}, {7, 46}, {346, 371}, {327, 366}, {154, 179}, {135, 174}, {26,
51}, {71, 110}, {90, 115}, {199, 238}, {218, 243}, {263, 302}, {282, 307}, {6,
44}, {327, 365}, {326, 364}, {135, 173}, {134, 172}, {7, 45}, {70, 108}, {71,
109}, {198, 236}, {199, 237}, {262, 300}, {263, 301}, {25, 50}, {348, 375},
{345, 370}, {156, 183}, {153, 178}, {28, 55}, {89, 114}, {92, 119}, {217, 242},
{220, 247}, {281, 306}, {284, 311}, {4, 40}, {325, 361}, {324, 360}, {133, 169},
{132, 168}, {5, 41}, {68, 104}, {69, 105}, {196, 232}, {197, 233}, {260, 296},
{261, 297}, {6, 43}, {347, 374}, {326, 363}, {155, 182}, {134, 171}, {27, 54},
{70, 107}, {91, 118}, {198, 235}, {219, 246}, {262, 299}, {283, 310}, {26, 52},
{347, 373}, {346, 372}, {155, 181}, {154, 180}, {27, 53}, {90, 116}, {91, 117},
{218, 244}, {219, 245}, {282, 308}, {283, 309}, {5, 42}, {336, 383}, {325, 362},
{144, 191}, {133, 170}, {16, 63}, {69, 106}, {80, 127}, {197, 234}, {208, 255},
{261, 298}, {272, 319}, {17, 33}, {337, 353}, {145, 161}, {81, 97}, {209, 225},
{273, 289}, {15, 62}, {338, 355}, {335, 382}, {146, 163}, {143, 190}, {18, 35},
{79, 126}, {82, 99}, {207, 254}, {210, 227}, {271, 318}, {274, 291}, {14, 60},
{335, 381}, {334, 380}, {143, 189}, {142, 188}, {15, 61}, {78, 124}, {79, 125},
{206, 252}, {207, 253}, {270, 316}, {271, 317}, {17, 34}, {340, 359}, {337,
354}, {148, 167}, {145, 162}, {20, 39}, {81, 98}, {84, 103}, {209, 226}, {212,
231}, {273, 290}, {276, 295}, {12, 56}, {333, 377}, {332, 376}, {141, 185},
{140, 184}, {13, 57}, {76, 120}, {77, 121}, {204, 248}, {205, 249}, {268, 312},
{269, 313}, {14, 59}, {339, 358}, {334, 379}, {147, 166}, {142, 187}, {19, 38},
{78, 123}, {83, 102}, {206, 251}, {211, 230}, {270, 315}, {275, 294}, {18, 36},
{339, 357}, {338, 356}, {147, 165}, {146, 164}, {19, 37}, {82, 100}, {83, 101},
{210, 228}, {211, 229}, {274, 292}, {275, 293}, {13, 58}, {344, 367}, {333,
378}, {152, 175}, {141, 186}, {24, 47}, {77, 122}, {88, 111}, {205, 250}, {216,
239}, {269, 314}, {280, 303}, {8, 48}, {329, 369}, {328, 368}, {137, 177}, {136,
176}, {9, 49}, {72, 112}, {73, 113}, {200, 240}, {201, 241}, {264, 304}, {265,
305}, {10, 51}, {343, 366}, {330, 371}, {151, 174}, {138, 179}, {23, 46}, {74,
115}, {87, 110}, {202, 243}, {215, 238}, {266, 307}, {279, 302}, {22, 44}, {343,
365}, {342, 364}, {151, 173}, {150, 172}, {23, 45}, {86, 108}, {87, 109}, {214,
236}, {215, 237}, {278, 300}, {279, 301}, {9, 50}, {332, 375}, {329, 370}, {140,
183}, {137, 178}, {12, 55}, {73, 114}, {76, 119}, {201, 242}, {204, 247}, {265,
306}, {268, 311}, {20, 40}, {341, 361}, {340, 360}, {149, 169}, {148, 168}, {21,
41}, {84, 104}, {85, 105}, {212, 232}, {213, 233}, {276, 296}, {277, 297}, {11,
54}, {342, 363}, {331, 374}, {150, 171}, {139, 182}, {22, 43}, {75, 118}, {86,
107}, {203, 246}, {214, 235}, {267, 310}, {278, 299}, {10, 52}, {331, 373},
{330, 372}, {139, 181}, {138, 180}, {11, 53}, {74, 116}, {75, 117}, {202, 244},
{203, 245}, {266, 308}, {267, 309}, {21, 42}, {341, 362}, {149, 170}, {85, 106},
{213, 234}, {277, 298}, {16, 64}, {176, 224}, {144, 192}, {48, 96}, {272, 320},
{304, 352}, {32, 64}, {161, 193}, {160, 192}, {33, 65}, {288, 320}, {289, 321},
{34, 67}, {162, 195}, {63, 94}, {191, 222}, {290, 323}, {319, 350}, {62, 92},
{63, 93}, {190, 220}, {191, 221}, {318, 348}, {319, 349}, {33, 66}, {164, 199},
{161, 194}, {36, 71}, {289, 322}, {292, 327}, {60, 88}, {189, 217}, {188, 216},
{61, 89}, {316, 344}, {317, 345}, {35, 70}, {163, 198}, {62, 91}, {190, 219},
{291, 326}, {318, 347}, {34, 68}, {163, 197}, {162, 196}, {35, 69}, {290, 324},
{291, 325}, {40, 79}, {189, 218}, {168, 207}, {61, 90}, {296, 335}, {317, 346},
{56, 80}, {185, 209}, {184, 208}, {57, 81}, {312, 336}, {313, 337}, {39, 78},
{186, 211}, {167, 206}, {58, 83}, {295, 334}, {314, 339}, {38, 76}, {167, 205},
{166, 204}, {39, 77}, {294, 332}, {295, 333}, {57, 82}, {188, 215}, {185, 210},
{60, 87}, {313, 338}, {316, 343}, {36, 72}, {165, 201}, {164, 200}, {37, 73},
{292, 328}, {293, 329}, {38, 75}, {187, 214}, {166, 203}, {59, 86}, {294, 331},
{315, 342}, {58, 84}, {187, 213}, {186, 212}, {59, 85}, {314, 340}, {315, 341},
{37, 74}, {176, 223}, {165, 202}, {48, 95}, {293, 330}, {304, 351}, {49, 65},
{177, 193}, {305, 321}, {47, 94}, {178, 195}, {175, 222}, {50, 67}, {303, 350},
{306, 323}, {46, 92}, {175, 221}, {174, 220}, {47, 93}, {302, 348}, {303, 349},
{49, 66}, {180, 199}, {177, 194}, {52, 71}, {305, 322}, {308, 327}, {44, 88},
{173, 217}, {172, 216}, {45, 89}, {300, 344}, {301, 345}, {46, 91}, {179, 198},
{174, 219}, {51, 70}, {302, 347}, {307, 326}, {50, 68}, {179, 197}, {178, 196},
{51, 69}, {306, 324}, {307, 325}, {45, 90}, {184, 207}, {173, 218}, {56, 79},
{301, 346}, {312, 335}, {40, 80}, {169, 209}, {168, 208}, {41, 81}, {296, 336},
{297, 337}, {42, 83}, {183, 206}, {170, 211}, {55, 78}, {298, 339}, {311, 334},
{54, 76}, {183, 205}, {182, 204}, {55, 77}, {310, 332}, {311, 333}, {41, 82},
{172, 215}, {169, 210}, {44, 87}, {297, 338}, {300, 343}, {52, 72}, {181, 201},
{180, 200}, {53, 73}, {308, 328}, {309, 329}, {43, 86}, {182, 203}, {171, 214},
{54, 75}, {299, 342}, {310, 331}, {42, 84}, {171, 213}, {170, 212}, {43, 85},
{298, 340}, {299, 341}, {53, 74}, {181, 202}, {309, 330}, {80, 128}, {336, 384},
{112, 160}, {96, 128}, {352, 384}, {97, 129}, {98, 131}, {127, 158}, {126, 156},
{127, 157}, {97, 130}, {100, 135}, {124, 152}, {125, 153}, {99, 134}, {126,
155}, {98, 132}, {99, 133}, {104, 143}, {125, 154}, {120, 144}, {121, 145},
{103, 142}, {122, 147}, {102, 140}, {103, 141}, {121, 146}, {124, 151}, {100,
136}, {101, 137}, {102, 139}, {123, 150}, {122, 148}, {123, 149}, {101, 138},
{112, 159}, {113, 129}, {111, 158}, {114, 131}, {110, 156}, {111, 157}, {113,
130}, {116, 135}, {108, 152}, {109, 153}, {110, 155}, {115, 134}, {114, 132},
{115, 133}, {109, 154}, {120, 143}, {104, 144}, {105, 145}, {106, 147}, {119,
142}, {118, 140}, {119, 141}, {105, 146}, {108, 151}, {116, 136}, {117, 137},
{107, 150}, {118, 139}, {106, 148}, {107, 149}, {117, 138}, {32, 368}, {1, 353},
{3, 354}, {30, 383}, {28, 382}, {29, 383}, {2, 353}, {7, 356}, {24, 380}, {25,
381}, {6, 355}, {27, 382}, {4, 354}, {5, 355}, {15, 360}, {26, 381}, {16, 376},
{17, 377}, {14, 359}, {19, 378}, {12, 358}, {13, 359}, {18, 377}, {23, 380}, {8,
356}, {9, 357}, {11, 358}, {22, 379}, {20, 378}, {21, 379}, {10, 357}, {31,
368}, {1, 369}, {3, 370}, {30, 367}, {28, 366}, {29, 367}, {2, 369}, {7, 372},
{24, 364}, {25, 365}, {6, 371}, {27, 366}, {4, 370}, {5, 371}, {15, 376}, {26,
365}, {16, 360}, {17, 361}, {14, 375}, {19, 362}, {12, 374}, {13, 375}, {18,
361}, {23, 364}, {8, 372}, {9, 373}, {11, 374}, {22, 363}, {20, 362}, {21, 363},
{10, 373}, {31, 384}, {32, 384}, {208, 256}, {240, 288}, {224, 256}, {225, 257},
{226, 259}, {255, 286}, {254, 284}, {255, 285}, {225, 258}, {228, 263}, {252,
280}, {253, 281}, {227, 262}, {254, 283}, {226, 260}, {227, 261}, {232, 271},
{253, 282}, {248, 272}, {249, 273}, {231, 270}, {250, 275}, {230, 268}, {231,
269}, {249, 274}, {252, 279}, {228, 264}, {229, 265}, {230, 267}, {251, 278},
{250, 276}, {251, 277}, {229, 266}, {240, 287}, {241, 257}, {239, 286}, {242,
259}, {238, 284}, {239, 285}, {241, 258}, {244, 263}, {236, 280}, {237, 281},
{238, 283}, {243, 262}, {242, 260}, {243, 261}, {237, 282}, {248, 271}, {232,
272}, {233, 273}, {234, 275}, {247, 270}, {246, 268}, {247, 269}, {233, 274},
{236, 279}, {244, 264}, {245, 265}, {235, 278}, {246, 267}, {234, 276}, {235,
277}, {245, 266} }>;
(II) A more general form is to represent the graph as the orbit of {32, 63}
under the group generated by the following permutations:
a: (2, 17)(3, 9)(4, 25)(6, 21)(7, 13)(8, 29)(10, 19)(12, 27)(14, 23)(16, 31)(20,
26)(24, 30)(33, 353)(34, 369)(35, 361)(36, 377)(37, 357)(38, 373)(39, 365)(40,
381)(41, 355)(42, 371)(43, 363)(44, 379)(45, 359)(46, 375)(47, 367)(48, 383)(49,
354)(50, 370)(51, 362)(52, 378)(53, 358)(54, 374)(55, 366)(56, 382)(57, 356)(58,
372)(59, 364)(60, 380)(61, 360)(62, 376)(63, 368)(64, 384)(65, 321)(66, 337)(67,
329)(68, 345)(69, 325)(70, 341)(71, 333)(72, 349)(73, 323)(74, 339)(75, 331)(76,
347)(77, 327)(78, 343)(79, 335)(80, 351)(81, 322)(82, 338)(83, 330)(84, 346)(85,
326)(86, 342)(87, 334)(88, 350)(89, 324)(90, 340)(91, 332)(92, 348)(93, 328)(94,
344)(95, 336)(96, 352)(97, 289)(98, 305)(99, 297)(100, 313)(101, 293)(102,
309)(103, 301)(104, 317)(105, 291)(106, 307)(107, 299)(108, 315)(109, 295)(110,
311)(111, 303)(112, 319)(113, 290)(114, 306)(115, 298)(116, 314)(117, 294)(118,
310)(119, 302)(120, 318)(121, 292)(122, 308)(123, 300)(124, 316)(125, 296)(126,
312)(127, 304)(128, 320)(129, 257)(130, 273)(131, 265)(132, 281)(133, 261)(134,
277)(135, 269)(136, 285)(137, 259)(138, 275)(139, 267)(140, 283)(141, 263)(142,
279)(143, 271)(144, 287)(145, 258)(146, 274)(147, 266)(148, 282)(149, 262)(150,
278)(151, 270)(152, 286)(153, 260)(154, 276)(155, 268)(156, 284)(157, 264)(158,
280)(159, 272)(160, 288)(161, 225)(162, 241)(163, 233)(164, 249)(165, 229)(166,
245)(167, 237)(168, 253)(169, 227)(170, 243)(171, 235)(172, 251)(173, 231)(174,
247)(175, 239)(176, 255)(177, 226)(178, 242)(179, 234)(180, 250)(181, 230)(182,
246)(183, 238)(184, 254)(185, 228)(186, 244)(187, 236)(188, 252)(189, 232)(190,
248)(191, 240)(192, 256)(194, 209)(195, 201)(196, 217)(198, 213)(199, 205)(200,
221)(202, 211)(204, 219)(206, 215)(208, 223)(212, 218)(216, 222) (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, 33, 65, 97, 129, 161, 193, 225, 257, 289, 321, 353)(2, 34, 66, 98, 130,
162, 194, 226, 258, 290, 322, 354)(3, 35, 67, 99, 131, 163, 195, 227, 259, 291,
323, 355)(4, 36, 68, 100, 132, 164, 196, 228, 260, 292, 324, 356)(5, 37, 69,
101, 133, 165, 197, 229, 261, 293, 325, 357)(6, 38, 70, 102, 134, 166, 198, 230,
262, 294, 326, 358)(7, 39, 71, 103, 135, 167, 199, 231, 263, 295, 327, 359)(8,
40, 72, 104, 136, 168, 200, 232, 264, 296, 328, 360)(9, 41, 73, 105, 137, 169,
201, 233, 265, 297, 329, 361)(10, 42, 74, 106, 138, 170, 202, 234, 266, 298,
330, 362)(11, 43, 75, 107, 139, 171, 203, 235, 267, 299, 331, 363)(12, 44, 76,
108, 140, 172, 204, 236, 268, 300, 332, 364)(13, 45, 77, 109, 141, 173, 205,
237, 269, 301, 333, 365)(14, 46, 78, 110, 142, 174, 206, 238, 270, 302, 334,
366)(15, 47, 79, 111, 143, 175, 207, 239, 271, 303, 335, 367)(16, 48, 80, 112,
144, 176, 208, 240, 272, 304, 336, 368)(17, 49, 81, 113, 145, 177, 209, 241,
273, 305, 337, 369)(18, 50, 82, 114, 146, 178, 210, 242, 274, 306, 338, 370)(19,
51, 83, 115, 147, 179, 211, 243, 275, 307, 339, 371)(20, 52, 84, 116, 148, 180,
212, 244, 276, 308, 340, 372)(21, 53, 85, 117, 149, 181, 213, 245, 277, 309,
341, 373)(22, 54, 86, 118, 150, 182, 214, 246, 278, 310, 342, 374)(23, 55, 87,
119, 151, 183, 215, 247, 279, 311, 343, 375)(24, 56, 88, 120, 152, 184, 216,
248, 280, 312, 344, 376)(25, 57, 89, 121, 153, 185, 217, 249, 281, 313, 345,
377)(26, 58, 90, 122, 154, 186, 218, 250, 282, 314, 346, 378)(27, 59, 91, 123,
155, 187, 219, 251, 283, 315, 347, 379)(28, 60, 92, 124, 156, 188, 220, 252,
284, 316, 348, 380)(29, 61, 93, 125, 157, 189, 221, 253, 285, 317, 349, 381)(30,
62, 94, 126, 158, 190, 222, 254, 286, 318, 350, 382)(31, 63, 95, 127, 159, 191,
223, 255, 287, 319, 351, 383)(32, 64, 96, 128, 160, 192, 224, 256, 288, 320,
352, 384)
c: (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, 259)(258, 260)(261, 263)(262, 264)(265, 267)(266, 268)(269, 271)(270,
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, 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)(337, 345)(338, 346)(339, 347)(340, 348)(341, 349)(342, 350)(343, 351)(344,
352)(353, 369)(354, 370)(355, 371)(356, 372)(357, 373)(358, 374)(359, 375)(360,
376)(361, 377)(362, 378)(363, 379)(364, 380)(365, 381)(366, 382)(367, 383)(368,
384)
d: (1, 3)(2, 4)(5, 7)(6, 8)(9, 11)(10, 12)(13, 15)(14, 16)(17, 19)(18, 20)(21,
23)(22, 24)(25, 27)(26, 28)(29, 31)(30, 32)(33, 37)(34, 38)(35, 39)(36, 40)(41,
45)(42, 46)(43, 47)(44, 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)(81,
89)(82, 90)(83, 91)(84, 92)(85, 93)(86, 94)(87, 95)(88, 96)(97, 113)(98,
114)(99, 115)(100, 116)(101, 117)(102, 118)(103, 119)(104, 120)(105, 121)(106,
122)(107, 123)(108, 124)(109, 125)(110, 126)(111, 127)(112, 128)(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)
e: (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, 35)(34, 36)(37, 39)(38, 40)(41,
43)(42, 44)(45, 47)(46, 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,
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)(113, 121)(114,
122)(115, 123)(116, 124)(117, 125)(118, 126)(119, 127)(120, 128)(129, 145)(130,
146)(131, 147)(132, 148)(133, 149)(134, 150)(135, 151)(136, 152)(137, 153)(138,
154)(139, 155)(140, 156)(141, 157)(142, 158)(143, 159)(144, 160)
f: (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, 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)
g: (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, 163)(162, 164)(165, 167)(166, 168)(169, 171)(170, 172)(173, 175)(174,
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, 213)(210, 214)(211, 215)(212, 216)(217, 221)(218, 222)(219, 223)(220,
224)(225, 233)(226, 234)(227, 235)(228, 236)(229, 237)(230, 238)(231, 239)(232,
240)(241, 249)(242, 250)(243, 251)(244, 252)(245, 253)(246, 254)(247, 255)(248,
256)(257, 273)(258, 274)(259, 275)(260, 276)(261, 277)(262, 278)(263, 279)(264,
280)(265, 281)(266, 282)(267, 283)(268, 284)(269, 285)(270, 286)(271, 287)(272,
288)
h: (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, 195)(194, 196)(197, 199)(198, 200)(201, 203)(202, 204)(205, 207)(206,
208)(209, 211)(210, 212)(213, 215)(214, 216)(217, 219)(218, 220)(221, 223)(222,
224)(225, 229)(226, 230)(227, 231)(228, 232)(233, 237)(234, 238)(235, 239)(236,
240)(241, 245)(242, 246)(243, 247)(244, 248)(249, 253)(250, 254)(251, 255)(252,
256)(257, 265)(258, 266)(259, 267)(260, 268)(261, 269)(262, 270)(263, 271)(264,
272)(273, 281)(274, 282)(275, 283)(276, 284)(277, 285)(278, 286)(279, 287)(280,
288)(289, 305)(290, 306)(291, 307)(292, 308)(293, 309)(294, 310)(295, 311)(296,
312)(297, 313)(298, 314)(299, 315)(300, 316)(301, 317)(302, 318)(303, 319)(304,
320)
m: (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, 227)(226, 228)(229, 231)(230, 232)(233, 235)(234, 236)(237, 239)(238,
240)(241, 243)(242, 244)(245, 247)(246, 248)(249, 251)(250, 252)(253, 255)(254,
256)(257, 261)(258, 262)(259, 263)(260, 264)(265, 269)(266, 270)(267, 271)(268,
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)(305, 313)(306, 314)(307, 315)(308, 316)(309, 317)(310, 318)(311, 319)(312,
320)(321, 337)(322, 338)(323, 339)(324, 340)(325, 341)(326, 342)(327, 343)(328,
344)(329, 345)(330, 346)(331, 347)(332, 348)(333, 349)(334, 350)(335, 351)(336,
352)
n1: (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)(225, 241)(226, 242)(227, 243)(228, 244)(229, 245)(230, 246)(231, 247)(232,
248)(233, 249)(234, 250)(235, 251)(236, 252)(237, 253)(238, 254)(239, 255)(240,
256)
a1: (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)
b1: (1, 5)(2, 6)(3, 7)(4, 8)(9, 13)(10, 14)(11, 15)(12, 16)(17, 21)(18, 22)(19,
23)(20, 24)(25, 29)(26, 30)(27, 31)(28, 32)(33, 41)(34, 42)(35, 43)(36, 44)(37,
45)(38, 46)(39, 47)(40, 48)(49, 57)(50, 58)(51, 59)(52, 60)(53, 61)(54, 62)(55,
63)(56, 64)(65, 81)(66, 82)(67, 83)(68, 84)(69, 85)(70, 86)(71, 87)(72, 88)(73,
89)(74, 90)(75, 91)(76, 92)(77, 93)(78, 94)(79, 95)(80, 96)(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, 355)(354,
356)(357, 359)(358, 360)(361, 363)(362, 364)(365, 367)(366, 368)(369, 371)(370,
372)(373, 375)(374, 376)(377, 379)(378, 380)(381, 383)(382, 384)
C4[ 384, 36 ]
384
-1 33 34 353 369
-2 353 35 36 369
-3 354 37 38 370
-4 354 39 40 370
-5 355 41 371 42
-6 44 355 371 43
-7 45 46 356 372
-8 47 48 356 372
-9 49 357 50 373
-10 357 51 52 373
-11 374 358 53 54
-12 55 374 56 358
-13 375 57 58 359
-14 375 59 60 359
-15 376 61 62 360
-16 376 63 360 64
-17 33 34 377 361
-18 35 36 377 361
-19 37 378 38 362
-20 378 39 40 362
-21 363 379 41 42
-22 44 363 379 43
-23 45 364 46 380
-24 364 47 48 380
-25 365 49 50 381
-26 365 51 381 52
-27 366 382 53 54
-28 55 56 366 382
-29 57 58 367 383
-30 59 367 60 383
-31 368 61 62 384
-32 368 63 64 384
-33 66 1 17 65
-34 1 67 68 17
-35 2 69 70 18
-36 2 71 72 18
-37 3 73 19 74
-38 3 19 75 76
-39 77 78 4 20
-40 79 80 4 20
-41 81 5 82 21
-42 5 83 84 21
-43 22 6 85 86
-44 22 88 6 87
-45 23 89 90 7
-46 23 91 92 7
-47 24 93 94 8
-48 24 95 8 96
-49 66 25 9 65
-50 67 68 25 9
-51 69 26 70 10
-52 26 71 72 10
-53 11 27 73 74
-54 11 27 75 76
-55 77 12 78 28
-56 12 79 80 28
-57 13 81 82 29
-58 13 83 29 84
-59 14 30 85 86
-60 88 14 30 87
-61 89 90 15 31
-62 91 15 92 31
-63 16 93 94 32
-64 16 95 96 32
-65 33 49 97 98
-66 33 99 100 49
-67 34 101 102 50
-68 34 103 104 50
-69 35 105 51 106
-70 35 51 107 108
-71 110 36 52 109
-72 111 112 36 52
-73 113 37 114 53
-74 37 115 116 53
-75 38 117 118 54
-76 38 119 54 120
-77 55 121 122 39
-78 55 123 124 39
-79 56 125 126 40
-80 56 127 40 128
-81 57 41 97 98
-82 99 100 57 41
-83 101 58 102 42
-84 58 103 104 42
-85 59 105 106 43
-86 59 107 108 43
-87 44 110 60 109
-88 44 111 112 60
-89 45 113 114 61
-90 45 115 61 116
-91 46 62 117 118
-92 46 62 119 120
-93 121 122 47 63
-94 123 47 124 63
-95 48 125 126 64
-96 48 127 128 64
-97 81 129 130 65
-98 132 81 65 131
-99 66 133 134 82
-100 66 135 136 82
-101 67 137 83 138
-102 67 83 139 140
-103 68 84 141 142
-104 143 144 68 84
-105 145 69 146 85
-106 69 147 148 85
-107 70 149 150 86
-108 70 151 86 152
-109 154 71 87 153
-110 155 156 71 87
-111 88 157 158 72
-112 88 159 72 160
-113 89 73 129 130
-114 132 89 73 131
-115 133 90 134 74
-116 90 135 136 74
-117 91 137 138 75
-118 91 139 140 75
-119 92 141 76 142
-120 143 144 92 76
-121 77 145 146 93
-122 77 147 93 148
-123 78 94 149 150
-124 78 94 151 152
-125 154 79 95 153
-126 155 79 156 95
-127 80 157 158 96
-128 80 159 160 96
-129 113 161 162 97
-130 113 97 163 164
-131 165 166 114 98
-132 167 168 114 98
-133 99 169 115 170
-134 99 115 171 172
-135 100 116 173 174
-136 176 100 116 175
-137 177 101 178 117
-138 101 179 180 117
-139 102 181 182 118
-140 102 183 118 184
-141 103 119 185 186
-142 187 188 103 119
-143 189 190 104 120
-144 191 104 192 120
-145 121 105 161 162
-146 121 105 163 164
-147 165 122 166 106
-148 122 167 168 106
-149 123 169 170 107
-150 123 171 172 107
-151 124 173 108 174
-152 176 124 108 175
-153 177 178 125 109
-154 179 125 180 109
-155 110 126 181 182
-156 110 126 183 184
-157 111 127 185 186
-158 187 111 188 127
-159 112 189 190 128
-160 112 191 192 128
-161 145 193 194 129
-162 145 129 195 196
-163 198 146 130 197
-164 199 200 146 130
-165 201 147 202 131
-166 147 203 204 131
-167 132 148 205 206
-168 132 148 207 208
-169 209 133 210 149
-170 133 211 212 149
-171 134 213 214 150
-172 134 215 150 216
-173 135 151 217 218
-174 220 135 151 219
-175 221 222 136 152
-176 223 136 224 152
-177 137 193 194 153
-178 137 195 196 153
-179 154 198 138 197
-180 154 199 200 138
-181 155 201 202 139
-182 155 203 204 139
-183 156 205 140 206
-184 156 140 207 208
-185 209 210 157 141
-186 211 157 212 141
-187 158 213 214 142
-188 158 215 216 142
-189 143 159 217 218
-190 143 220 159 219
-191 144 221 222 160
-192 144 223 224 160
-193 177 225 226 161
-194 177 161 227 228
-195 178 162 229 230
-196 231 232 178 162
-197 233 179 234 163
-198 179 235 236 163
-199 180 237 238 164
-200 180 239 240 164
-201 165 242 181 241
-202 165 243 244 181
-203 166 245 246 182
-204 166 247 182 248
-205 167 183 249 250
-206 167 183 251 252
-207 253 254 168 184
-208 255 168 256 184
-209 169 225 226 185
-210 169 227 228 185
-211 170 229 186 230
-212 231 232 170 186
-213 187 233 234 171
-214 187 235 236 171
-215 188 237 172 238
-216 188 172 239 240
-217 242 189 173 241
-218 243 189 244 173
-219 190 245 246 174
-220 190 247 248 174
-221 191 249 250 175
-222 191 251 175 252
-223 176 253 254 192
-224 176 255 256 192
-225 209 257 258 193
-226 209 193 259 260
-227 210 194 261 262
-228 264 210 194 263
-229 265 211 266 195
-230 211 267 268 195
-231 212 269 270 196
-232 212 271 272 196
-233 213 273 197 274
-234 275 276 213 197
-235 198 277 278 214
-236 198 279 214 280
-237 199 215 281 282
-238 199 215 283 284
-239 286 200 216 285
-240 287 200 288 216
-241 201 257 258 217
-242 201 259 260 217
-243 202 261 218 262
-244 264 202 218 263
-245 265 266 203 219
-246 267 268 203 219
-247 220 269 204 270
-248 220 204 271 272
-249 221 205 273 274
-250 275 221 276 205
-251 222 277 278 206
-252 222 279 280 206
-253 223 281 282 207
-254 223 283 207 284
-255 286 224 208 285
-256 287 288 224 208
-257 289 290 225 241
-258 225 291 292 241
-259 242 226 293 294
-260 242 226 295 296
-261 297 243 298 227
-262 243 299 300 227
-263 244 301 302 228
-264 244 303 304 228
-265 245 305 229 306
-266 308 245 229 307
-267 309 310 246 230
-268 311 246 312 230
-269 231 247 313 314
-270 231 247 315 316
-271 232 248 317 318
-272 319 232 320 248
-273 233 289 290 249
-274 233 291 292 249
-275 234 293 250 294
-276 234 250 295 296
-277 297 298 235 251
-278 299 300 235 251
-279 301 236 302 252
-280 236 303 304 252
-281 253 237 305 306
-282 253 308 237 307
-283 254 309 310 238
-284 254 311 312 238
-285 255 313 314 239
-286 255 315 239 316
-287 256 240 317 318
-288 319 320 256 240
-289 321 322 257 273
-290 257 323 324 273
-291 258 325 326 274
-292 258 327 328 274
-293 275 330 259 329
-294 275 331 332 259
-295 276 333 334 260
-296 276 335 336 260
-297 277 337 261 338
-298 277 261 339 340
-299 341 342 278 262
-300 343 278 344 262
-301 279 345 346 263
-302 279 347 348 263
-303 264 280 349 350
-304 264 352 280 351
-305 265 321 322 281
-306 265 323 324 281
-307 266 325 282 326
-308 266 282 327 328
-309 330 267 283 329
-310 331 332 267 283
-311 333 268 334 284
-312 268 335 336 284
-313 269 337 338 285
-314 269 339 285 340
-315 286 341 342 270
-316 286 343 344 270
-317 287 345 346 271
-318 287 347 271 348
-319 288 272 349 350
-320 352 288 272 351
-321 353 354 289 305
-322 289 355 356 305
-323 290 357 358 306
-324 290 359 360 306
-325 291 361 307 362
-326 363 364 291 307
-327 308 365 366 292
-328 308 367 368 292
-329 309 369 293 370
-330 309 293 371 372
-331 374 310 294 373
-332 375 310 376 294
-333 311 377 378 295
-334 311 379 380 295
-335 312 381 382 296
-336 312 383 296 384
-337 297 353 354 313
-338 297 355 356 313
-339 298 357 314 358
-340 298 314 359 360
-341 299 315 361 362
-342 363 364 299 315
-343 365 300 366 316
-344 300 367 368 316
-345 301 369 370 317
-346 301 371 317 372
-347 374 302 318 373
-348 375 376 302 318
-349 319 377 378 303
-350 319 379 303 380
-351 320 304 381 382
-352 320 304 383 384
-353 1 2 321 337
-354 321 3 4 337
-355 322 5 6 338
-356 322 7 8 338
-357 323 9 339 10
-358 11 12 323 339
-359 13 14 324 340
-360 15 16 324 340
-361 341 17 325 18
-362 341 325 19 20
-363 22 342 326 21
-364 23 342 24 326
-365 343 25 26 327
-366 343 27 28 327
-367 344 29 30 328
-368 344 31 328 32
-369 1 2 345 329
-370 3 4 345 329
-371 330 5 346 6
-372 330 346 7 8
-373 331 347 9 10
-374 11 12 331 347
-375 13 332 14 348
-376 332 15 16 348
-377 333 17 18 349
-378 333 19 349 20
-379 22 334 350 21
-380 23 24 334 350
-381 25 26 335 351
-382 27 335 28 351
-383 352 336 29 30
-384 352 336 31 32
0