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