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