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