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