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