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