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