var x1 = 1;
var x2 = 2;
var x3 = 3;
var x4 = 4;
var x5 = 5;
var x6 = 6;
var x7 = 7;
var x8 = 8;
var x9 = 9;
var x10 = 10;
var x11 = 11;
var x12 = 12;
var x13 = 13;
var x14 = 14;
var x15 = 15;
var x16 = 16;
var x17 = 17;
var x18 = 18;
var x19 = 19;
var x20 = 20;
var x21 = 21;
var x22 = 22;
var x23 = 23;
var x24 = 24;
var x25 = 25;
var x26 = 26;
var x27 = 27;
var x28 = 28;
var x29 = 29;
var x30 = 30;
var x31 = 31;
var x32 = 32;
var x33 = 33;
var x34 = 34;
var x35 = 35;
var x36 = 36;
var x37 = 37;
var x38 = 38;
var x39 = 39;
var x40 = 40;
var x41 = 41;
var x42 = 42;
var x43 = 43;
var x44 = 44;
var x45 = 45;
var x46 = 46;
var x47 = 47;
var x48 = 48;
var x49 = 49;
var x50 = 50;
var x51 = 51;
var x52 = 52;
var x53 = 53;
var x54 = 54;
var x55 = 55;
var x56 = 56;
var x57 = 57;
var x58 = 58;
var x59 = 59;
var x60 = 60;
var x61 = 61;
var x62 = 62;
var x63 = 63;
var x64 = 64;
var x65 = 65;
var x66 = 66;
var x67 = 67;
var x68 = 68;
var x69 = 69;
var x70 = 70;
var x71 = 71;
var x72 = 72;
var x73 = 73;
var x74 = 74;
var x75 = 75;
var x76 = 76;
var x77 = 77;
var x78 = 78;
var x79 = 79;
var x80 = 80;
var x81 = 81;
var x82 = 82;
var x83 = 83;
var x84 = 84;
var x85 = 85;
var x86 = 86;
var x87 = 87;
var x88 = 88;
var x89 = 89;
var x90 = 90;
var x91 = 91;
var x92 = 92;
var x93 = 93;
var x94 = 94;
var x95 = 95;
var x96 = 96;
var x97 = 97;
var x98 = 98;
var x99 = 99;
var x100 = 100;
var x101 = 101;
var x102 = 102;
var x103 = 103;
var x104 = 104;
var x105 = 105;
var x106 = 106;
var x107 = 107;
var x108 = 108;
var x109 = 109;
var x110 = 110;
var x111 = 111;
var x112 = 112;
var x113 = 113;
var x114 = 114;
var x115 = 115;
var x116 = 116;
var x117 = 117;
var x118 = 118;
var x119 = 119;
var x120 = 120;
var x121 = 121;
var x122 = 122;
var x123 = 123;
var x124 = 124;
var x125 = 125;
var x126 = 126;
var x127 = 127;
var x128 = 128;
var x129 = 129;
var x130 = 130;
var x131 = 131;
var x132 = 132;
var x133 = 133;
var x134 = 134;
var x135 = 135;
var x136 = 136;
var x137 = 137;
var x138 = 138;
var x139 = 139;
var x140 = 140;
var x141 = 141;
var x142 = 142;
var x143 = 143;
var x144 = 144;
var x145 = 145;
var x146 = 146;
var x147 = 147;
var x148 = 148;
var x149 = 149;
var x150 = 150;
var x151 = 151;
var x152 = 152;
var x153 = 153;
var x154 = 154;
var x155 = 155;
var x156 = 156;
var x157 = 157;
var x158 = 158;
var x159 = 159;
var x160 = 160;
var x161 = 161;
var x162 = 162;
var x163 = 163;
var x164 = 164;
var x165 = 165;
var x166 = 166;
var x167 = 167;
var x168 = 168;
var x169 = 169;
var x170 = 170;
var x171 = 171;
var x172 = 172;
var x173 = 173;
var x174 = 174;
var x175 = 175;
var x176 = 176;
var x177 = 177;
var x178 = 178;
var x179 = 179;
var x180 = 180;
var x181 = 181;
var x182 = 182;
var x183 = 183;
var x184 = 184;
var x185 = 185;
var x186 = 186;
var x187 = 187;
var x188 = 188;
var x189 = 189;
var x190 = 190;
var x191 = 191;
var x192 = 192;
var x193 = 193;
var x194 = 194;
var x195 = 195;
var x196 = 196;
var x197 = 197;
var x198 = 198;
var x199 = 199;
var x200 = 200;
var x201 = 201;
var x202 = 202;
var x203 = 203;
var x204 = 204;
var x205 = 205;
var x206 = 206;
var x207 = 207;
var x208 = 208;
var x209 = 209;
var x210 = 210;
var x211 = 211;
var x212 = 212;
var x213 = 213;
var x214 = 214;
var x215 = 215;
var x216 = 216;
var x217 = 217;
var x218 = 218;
var x219 = 219;
var x220 = 220;
var x221 = 221;
var x222 = 222;
var x223 = 223;
var x224 = 224;
var x225 = 225;
var x226 = 226;
var x227 = 227;
var x228 = 228;
var x229 = 229;
var x230 = 230;
var x231 = 231;
var x232 = 232;
var x233 = 233;
var x234 = 234;
var x235 = 235;
var x236 = 236;
var x237 = 237;
var x238 = 238;
var x239 = 239;
var x240 = 240;
var x241 = 241;
var x242 = 242;
var x243 = 243;
var x244 = 244;
var x245 = 245;
var x246 = 246;
var x247 = 247;
var x248 = 248;
var x249 = 249;
var x250 = 250;
var x251 = 251;
var x252 = 252;
var x253 = 253;
var x254 = 254;
var x255 = 255;
var x256 = 256;
var x257 = 257;
print(x257); # expect: 257