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