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