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