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