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