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