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