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