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