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