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