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