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