csmith-sizes.json

{'original': 308, 'output': 3605}
{'original': 352, 'output': 3517}
{'original': 524, 'output': 2712}
{'original': 584, 'output': 2511}
{'original': 616, 'output': 2469}
{'original': 792, 'output': 4207}
{'original': 796, 'output': 5076}
{'original': 1196, 'output': 4449}
{'original': 1284, 'output': 4871}
{'original': 1324, 'output': 4407}
{'original': 1444, 'output': 5146}
{'original': 1876, 'output': 7412}
{'original': 2648, 'output': 6626}
{'original': 57840, 'output': 68047}
{'original': 66844, 'output': 73718}
{'original': 69892, 'output': 61169}
{'original': 78252, 'output': 60766}
{'original': 80636, 'output': 58606}
{'original': 81552, 'output': 54868}
{'original': 83308, 'output': 34646}
{'original': 83840, 'output': 65043}
{'original': 86472, 'output': 69674}
{'original': 87176, 'output': 90963}
{'original': 87756, 'output': 39626}
{'original': 95544, 'output': 46933}
{'original': 96352, 'output': 80586}
{'original': 96440, 'output': 63875}
{'original': 97008, 'output': 69509}
{'original': 98844, 'output': 86836}
{'original': 99312, 'output': 91062}
{'original': 100264, 'output': 61105}
{'original': 102104, 'output': 90014}
{'original': 102684, 'output': 77778}
{'original': 103408, 'output': 92064}
{'original': 104908, 'output': 63006}
{'original': 107160, 'output': 66819}
{'original': 108896, 'output': 46761}
{'original': 109544, 'output': 62158}
{'original': 109804, 'output': 68031}
{'original': 110920, 'output': 84946}
{'original': 111972, 'output': 50044}
{'original': 112416, 'output': 54774}
{'original': 113136, 'output': 66494}
{'original': 115256, 'output': 42031}
{'original': 115624, 'output': 89526}
{'original': 116064, 'output': 92152}
{'original': 116488, 'output': 58897}
{'original': 116540, 'output': 82010}
{'original': 116952, 'output': 79002}
{'original': 117604, 'output': 103028}
{'original': 118504, 'output': 107121}
{'original': 119344, 'output': 64215}
{'original': 123044, 'output': 67779}
{'original': 123108, 'output': 88825}
{'original': 124476, 'output': 77056}
{'original': 128040, 'output': 97377}
{'original': 128508, 'output': 68728}
{'original': 129172, 'output': 74450}
{'original': 129308, 'output': 56905}
{'original': 130116, 'output': 78498}
{'original': 131400, 'output': 79411}
{'original': 132096, 'output': 80637}
{'original': 132280, 'output': 105300}
{'original': 132552, 'output': 71620}
{'original': 134604, 'output': 118043}
{'original': 135416, 'output': 67785}
{'original': 135528, 'output': 75532}
{'original': 137468, 'output': 83221}
{'original': 138496, 'output': 98160}
{'original': 139004, 'output': 115753}
{'original': 139120, 'output': 103141}
{'original': 140232, 'output': 87463}
{'original': 140988, 'output': 71237}
{'original': 141788, 'output': 111170}
{'original': 141792, 'output': 116927}
{'original': 142028, 'output': 72718}
{'original': 144872, 'output': 71740}
{'original': 146812, 'output': 87189}
{'original': 146968, 'output': 115820}
{'original': 147104, 'output': 86179}
{'original': 147872, 'output': 117408}
{'original': 148812, 'output': 71742}
{'original': 150904, 'output': 119252}
{'original': 151984, 'output': 112808}
{'original': 153476, 'output': 106367}
{'original': 154040, 'output': 82879}
{'original': 154340, 'output': 38687}
{'original': 155212, 'output': 92225}
{'original': 155556, 'output': 170488}
{'original': 155812, 'output': 143231}
{'original': 155932, 'output': 90214}
{'original': 156464, 'output': 101191}
{'original': 157556, 'output': 104269}
{'original': 159640, 'output': 115012}
{'original': 160160, 'output': 113997}
{'original': 160504, 'output': 123871}
{'original': 160588, 'output': 120567}
{'original': 160652, 'output': 65070}
{'original': 161336, 'output': 117902}
{'original': 161664, 'output': 84752}
{'original': 161940, 'output': 94137}
{'original': 162100, 'output': 148964}
{'original': 162352, 'output': 69302}
{'original': 162700, 'output': 90838}
{'original': 162948, 'output': 93886}
{'original': 163252, 'output': 115775}
{'original': 164416, 'output': 80437}
{'original': 164448, 'output': 111367}
{'original': 164648, 'output': 100302}
{'original': 164784, 'output': 100627}
{'original': 165304, 'output': 146437}
{'original': 165576, 'output': 51446}
{'original': 165828, 'output': 109445}
{'original': 167024, 'output': 90711}
{'original': 167640, 'output': 97448}
{'original': 167884, 'output': 116431}
{'original': 168320, 'output': 136854}
{'original': 168720, 'output': 103446}
{'original': 170656, 'output': 61591}
{'original': 171048, 'output': 108835}
{'original': 171620, 'output': 127132}
{'original': 171692, 'output': 146545}
{'original': 172112, 'output': 84447}
{'original': 172292, 'output': 129725}
{'original': 172692, 'output': 117045}
{'original': 172824, 'output': 100788}
{'original': 173164, 'output': 115919}
{'original': 173956, 'output': 117337}
{'original': 174148, 'output': 111091}
{'original': 174380, 'output': 110533}
{'original': 174408, 'output': 148969}
{'original': 174496, 'output': 121073}
{'original': 174572, 'output': 130869}
{'original': 174660, 'output': 112836}
{'original': 174880, 'output': 101471}
{'original': 175996, 'output': 110569}
{'original': 176260, 'output': 29189}
{'original': 176808, 'output': 114268}
{'original': 176940, 'output': 92977}
{'original': 177116, 'output': 112710}
{'original': 177328, 'output': 122673}
{'original': 177632, 'output': 68727}
{'original': 178224, 'output': 120688}
{'original': 178716, 'output': 104811}
{'original': 178844, 'output': 126616}
{'original': 178908, 'output': 102622}
{'original': 178972, 'output': 108487}
{'original': 179424, 'output': 117422}
{'original': 180920, 'output': 82723}
{'original': 181800, 'output': 58635}
{'original': 182452, 'output': 125990}
{'original': 182528, 'output': 125045}
{'original': 182820, 'output': 71373}
{'original': 183048, 'output': 132389}
{'original': 183084, 'output': 122220}
{'original': 184128, 'output': 91409}
{'original': 184852, 'output': 126698}
{'original': 185336, 'output': 62757}
{'original': 185724, 'output': 112714}
{'original': 186320, 'output': 58285}
{'original': 187468, 'output': 77698}
{'original': 187812, 'output': 84082}
{'original': 187912, 'output': 95238}
{'original': 188004, 'output': 111721}
{'original': 188296, 'output': 162643}
{'original': 189096, 'output': 132833}
{'original': 189452, 'output': 107137}
{'original': 189556, 'output': 126826}
{'original': 189904, 'output': 130546}
{'original': 190012, 'output': 117305}
{'original': 190144, 'output': 103930}
{'original': 190424, 'output': 123886}
{'original': 190584, 'output': 87314}
{'original': 190840, 'output': 90188}
{'original': 191112, 'output': 103133}
{'original': 191964, 'output': 152518}
{'original': 192344, 'output': 93298}
{'original': 192732, 'output': 110016}
{'original': 193188, 'output': 131311}
{'original': 193476, 'output': 137389}
{'original': 193852, 'output': 100465}
{'original': 193876, 'output': 105030}
{'original': 193916, 'output': 101349}
{'original': 194292, 'output': 185317}
{'original': 194364, 'output': 134364}
{'original': 194716, 'output': 123050}
{'original': 195108, 'output': 110019}
{'original': 195284, 'output': 117162}
{'original': 195500, 'output': 93578}
{'original': 195536, 'output': 133359}
{'original': 195908, 'output': 113671}
{'original': 196360, 'output': 155081}
{'original': 196980, 'output': 151036}
{'original': 197072, 'output': 75106}
{'original': 197784, 'output': 167480}
{'original': 197956, 'output': 111974}
{'original': 198356, 'output': 94163}
{'original': 198428, 'output': 69518}
{'original': 198512, 'output': 95136}
{'original': 198664, 'output': 87970}
{'original': 198688, 'output': 93757}
{'original': 198832, 'output': 95748}
{'original': 200140, 'output': 95708}
{'original': 200140, 'output': 149312}
{'original': 200340, 'output': 124622}
{'original': 200504, 'output': 105441}
{'original': 201132, 'output': 129569}
{'original': 201340, 'output': 88080}
{'original': 202596, 'output': 108007}
{'original': 203348, 'output': 93939}
{'original': 204100, 'output': 138891}
{'original': 204752, 'output': 121791}
{'original': 205088, 'output': 98381}
{'original': 205976, 'output': 81161}
{'original': 207496, 'output': 142646}
{'original': 207880, 'output': 125566}
{'original': 207936, 'output': 107586}
{'original': 208168, 'output': 119541}
{'original': 208416, 'output': 130411}
{'original': 208744, 'output': 142482}
{'original': 208812, 'output': 158377}
{'original': 208840, 'output': 111243}
{'original': 208920, 'output': 118309}
{'original': 209052, 'output': 179664}
{'original': 209136, 'output': 193898}
{'original': 209744, 'output': 138251}
{'original': 209768, 'output': 123352}
{'original': 210064, 'output': 179429}
{'original': 210180, 'output': 117931}
{'original': 210848, 'output': 135863}
{'original': 211804, 'output': 130715}
{'original': 212212, 'output': 138169}
{'original': 213040, 'output': 152218}
{'original': 213516, 'output': 130471}
{'original': 213636, 'output': 80310}
{'original': 213900, 'output': 137094}
{'original': 213960, 'output': 81377}
{'original': 214312, 'output': 176032}
{'original': 214556, 'output': 106962}
{'original': 215096, 'output': 100096}
{'original': 215244, 'output': 189901}
{'original': 215300, 'output': 153750}
{'original': 216508, 'output': 96509}
{'original': 217008, 'output': 96510}
{'original': 217016, 'output': 135344}
{'original': 217264, 'output': 128017}
{'original': 218056, 'output': 159583}
{'original': 218352, 'output': 117781}
{'original': 218576, 'output': 151376}
{'original': 218592, 'output': 182722}
{'original': 218748, 'output': 147522}
{'original': 218772, 'output': 129608}
{'original': 218788, 'output': 110396}
{'original': 219036, 'output': 114784}
{'original': 219092, 'output': 143175}
{'original': 219400, 'output': 107753}
{'original': 219420, 'output': 99873}
{'original': 219740, 'output': 82870}
{'original': 220396, 'output': 119485}
{'original': 220496, 'output': 113832}
{'original': 220504, 'output': 150936}
{'original': 220648, 'output': 166701}
{'original': 220944, 'output': 87825}
{'original': 221140, 'output': 141502}
{'original': 221652, 'output': 145668}
{'original': 222080, 'output': 162235}
{'original': 222264, 'output': 74810}
{'original': 222780, 'output': 212362}
{'original': 223228, 'output': 112879}
{'original': 223936, 'output': 133546}
{'original': 223936, 'output': 136706}
{'original': 224004, 'output': 161668}
{'original': 224992, 'output': 145383}
{'original': 225040, 'output': 133805}
{'original': 225264, 'output': 152265}
{'original': 225384, 'output': 82533}
{'original': 225412, 'output': 156083}
{'original': 226024, 'output': 129789}
{'original': 226448, 'output': 81044}
{'original': 226576, 'output': 124048}
{'original': 226684, 'output': 121721}
{'original': 227040, 'output': 189022}
{'original': 227292, 'output': 84722}
{'original': 227868, 'output': 126516}
{'original': 228076, 'output': 113908}
{'original': 228320, 'output': 133542}
{'original': 228780, 'output': 108020}
{'original': 230612, 'output': 90381}
{'original': 230616, 'output': 144844}
{'original': 230636, 'output': 129902}
{'original': 231556, 'output': 179641}
{'original': 232096, 'output': 162904}
{'original': 233920, 'output': 120676}
{'original': 234244, 'output': 131369}
{'original': 234348, 'output': 77099}
{'original': 235704, 'output': 127862}
{'original': 235944, 'output': 187440}
{'original': 235992, 'output': 182999}
{'original': 236252, 'output': 134367}
{'original': 236408, 'output': 139122}
{'original': 237056, 'output': 92962}
{'original': 237688, 'output': 110795}
{'original': 238332, 'output': 103665}
{'original': 238840, 'output': 144513}
{'original': 239700, 'output': 140623}
{'original': 239964, 'output': 131096}
{'original': 239964, 'output': 107760}
{'original': 241216, 'output': 153928}
{'original': 241532, 'output': 114348}
{'original': 241680, 'output': 81229}
{'original': 242088, 'output': 191764}
{'original': 242260, 'output': 173417}
{'original': 242364, 'output': 132994}
{'original': 242712, 'output': 181009}
{'original': 242924, 'output': 183385}
{'original': 242980, 'output': 91980}
{'original': 243188, 'output': 139198}
{'original': 243532, 'output': 203505}
{'original': 244468, 'output': 181171}
{'original': 244488, 'output': 116621}
{'original': 244872, 'output': 122863}
{'original': 245068, 'output': 84368}
{'original': 245212, 'output': 106082}
{'original': 245580, 'output': 93653}
{'original': 245724, 'output': 109623}
{'original': 246036, 'output': 117351}
{'original': 246084, 'output': 97422}
{'original': 246380, 'output': 113073}
{'original': 247684, 'output': 131466}
{'original': 248480, 'output': 111784}
{'original': 248644, 'output': 158025}
{'original': 248828, 'output': 114079}
{'original': 249808, 'output': 182410}
{'original': 250628, 'output': 151204}
{'original': 250652, 'output': 137465}
{'original': 251060, 'output': 128944}
{'original': 251308, 'output': 161253}
{'original': 251916, 'output': 77638}
{'original': 252220, 'output': 107658}
{'original': 252228, 'output': 151762}
{'original': 252768, 'output': 144037}
{'original': 253156, 'output': 95966}
{'original': 253200, 'output': 205933}
{'original': 253496, 'output': 125088}
{'original': 253744, 'output': 135705}
{'original': 254152, 'output': 119909}
{'original': 254336, 'output': 110340}
{'original': 254344, 'output': 79705}
{'original': 254356, 'output': 140709}
{'original': 254696, 'output': 125749}
{'original': 254708, 'output': 104549}
{'original': 255116, 'output': 120836}
{'original': 255208, 'output': 118906}
{'original': 255856, 'output': 78549}
{'original': 256708, 'output': 190240}
{'original': 257204, 'output': 185877}
{'original': 257436, 'output': 89538}
{'original': 257516, 'output': 132239}
{'original': 257712, 'output': 95940}
{'original': 258412, 'output': 155288}
{'original': 258460, 'output': 188015}
{'original': 259236, 'output': 125370}
{'original': 259632, 'output': 133127}
{'original': 260212, 'output': 122990}
{'original': 260304, 'output': 138362}
{'original': 260532, 'output': 157354}
{'original': 260620, 'output': 126659}
{'original': 261024, 'output': 91843}
{'original': 261624, 'output': 146826}
{'original': 261896, 'output': 165730}
{'original': 262160, 'output': 178310}
{'original': 262356, 'output': 133953}
{'original': 262388, 'output': 135934}
{'original': 262488, 'output': 83619}
{'original': 262756, 'output': 160894}
{'original': 262908, 'output': 150399}
{'original': 263124, 'output': 177626}
{'original': 263352, 'output': 164027}
{'original': 263560, 'output': 116564}
{'original': 264044, 'output': 147464}
{'original': 264204, 'output': 119495}
{'original': 264380, 'output': 162173}
{'original': 265800, 'output': 73191}
{'original': 266196, 'output': 151395}
{'original': 266740, 'output': 149690}
{'original': 267208, 'output': 149556}
{'original': 267256, 'output': 106552}
{'original': 267556, 'output': 73679}
{'original': 268372, 'output': 238320}
{'original': 268812, 'output': 186621}
{'original': 269652, 'output': 186926}
{'original': 269784, 'output': 128144}
{'original': 270144, 'output': 140318}
{'original': 270188, 'output': 154143}
{'original': 270200, 'output': 149462}
{'original': 270568, 'output': 182001}
{'original': 271084, 'output': 118512}
{'original': 272212, 'output': 249866}
{'original': 272320, 'output': 150466}
{'original': 272644, 'output': 106931}
{'original': 272660, 'output': 182500}
{'original': 272676, 'output': 177888}
{'original': 272684, 'output': 109653}
{'original': 273548, 'output': 201638}
{'original': 273872, 'output': 218101}
{'original': 274204, 'output': 117518}
{'original': 274412, 'output': 150524}
{'original': 274592, 'output': 87542}
{'original': 275188, 'output': 157104}
{'original': 275252, 'output': 108273}
{'original': 276552, 'output': 159503}
{'original': 276564, 'output': 197465}
{'original': 276632, 'output': 109571}
{'original': 276936, 'output': 108078}
{'original': 277192, 'output': 125849}
{'original': 278044, 'output': 164315}
{'original': 278124, 'output': 158506}
{'original': 278144, 'output': 140528}
{'original': 278736, 'output': 213504}
{'original': 278784, 'output': 210136}
{'original': 278844, 'output': 132336}
{'original': 278996, 'output': 203183}
{'original': 279056, 'output': 191135}
{'original': 279968, 'output': 130794}
{'original': 280164, 'output': 186305}
{'original': 281208, 'output': 188039}
{'original': 281388, 'output': 140962}
{'original': 281452, 'output': 74600}
{'original': 281620, 'output': 88107}
{'original': 281816, 'output': 161938}
{'original': 281832, 'output': 152564}
{'original': 281832, 'output': 133692}
{'original': 281948, 'output': 236104}
{'original': 282424, 'output': 76030}
{'original': 282668, 'output': 149542}
{'original': 282848, 'output': 126691}
{'original': 282984, 'output': 217368}
{'original': 283088, 'output': 109980}
{'original': 283152, 'output': 112813}
{'original': 283260, 'output': 120467}
{'original': 283392, 'output': 193939}
{'original': 283852, 'output': 111635}
{'original': 283896, 'output': 91650}
{'original': 284116, 'output': 164230}
{'original': 284256, 'output': 158332}
{'original': 284480, 'output': 171733}
{'original': 284868, 'output': 116099}
{'original': 285528, 'output': 123377}
{'original': 285636, 'output': 225036}
{'original': 286148, 'output': 212152}
{'original': 286820, 'output': 155259}
{'original': 287276, 'output': 135626}
{'original': 287464, 'output': 100963}
{'original': 287520, 'output': 128592}
{'original': 288412, 'output': 131948}
{'original': 288464, 'output': 163162}
{'original': 289020, 'output': 258952}
{'original': 289476, 'output': 124565}
{'original': 290720, 'output': 127144}
{'original': 291056, 'output': 240599}
{'original': 291408, 'output': 151043}
{'original': 291748, 'output': 123990}
{'original': 292200, 'output': 170214}
{'original': 292280, 'output': 143486}
{'original': 292604, 'output': 207149}
{'original': 293152, 'output': 174919}
{'original': 293344, 'output': 130946}
{'original': 293368, 'output': 191075}
{'original': 293600, 'output': 116813}
{'original': 294668, 'output': 200436}
{'original': 295024, 'output': 137624}
{'original': 296160, 'output': 144348}
{'original': 296756, 'output': 86884}
{'original': 297036, 'output': 159575}
{'original': 297912, 'output': 205089}
{'original': 298160, 'output': 238040}
{'original': 298984, 'output': 122645}
{'original': 299256, 'output': 109635}
{'original': 299264, 'output': 178534}
{'original': 299780, 'output': 175785}
{'original': 299880, 'output': 162708}
{'original': 300056, 'output': 145062}
{'original': 300456, 'output': 193036}
{'original': 300728, 'output': 144108}
{'original': 301608, 'output': 169071}
{'original': 303100, 'output': 131131}
{'original': 304432, 'output': 124621}
{'original': 304748, 'output': 157320}
{'original': 305440, 'output': 260496}
{'original': 305676, 'output': 153402}
{'original': 305772, 'output': 136935}
{'original': 306100, 'output': 106356}
{'original': 306744, 'output': 125488}
{'original': 307744, 'output': 183045}
{'original': 307960, 'output': 180378}
{'original': 308532, 'output': 142518}
{'original': 308768, 'output': 122000}
{'original': 308856, 'output': 209142}
{'original': 308952, 'output': 141510}
{'original': 309044, 'output': 65785}
{'original': 309716, 'output': 170931}
{'original': 309860, 'output': 137366}
{'original': 309968, 'output': 138255}
{'original': 309996, 'output': 93081}
{'original': 310128, 'output': 225192}
{'original': 310888, 'output': 169206}
{'original': 311156, 'output': 122717}
{'original': 312184, 'output': 124089}
{'original': 312500, 'output': 174695}
{'original': 312604, 'output': 164691}
{'original': 312792, 'output': 146532}
{'original': 313224, 'output': 151003}
{'original': 313896, 'output': 188716}
{'original': 314004, 'output': 253834}
{'original': 314060, 'output': 197669}
{'original': 314200, 'output': 171064}
{'original': 314568, 'output': 196987}
{'original': 314932, 'output': 191518}
{'original': 315088, 'output': 216202}
{'original': 315320, 'output': 184251}
{'original': 316308, 'output': 131204}
{'original': 316792, 'output': 238071}
{'original': 317680, 'output': 129039}
{'original': 317732, 'output': 203688}
{'original': 318084, 'output': 176550}
{'original': 318580, 'output': 171448}
{'original': 318732, 'output': 134392}
{'original': 318808, 'output': 212644}
{'original': 319964, 'output': 109701}
{'original': 320260, 'output': 165080}
{'original': 320324, 'output': 162438}
{'original': 320652, 'output': 206680}
{'original': 320824, 'output': 169737}
{'original': 321052, 'output': 164102}
{'original': 321092, 'output': 184606}
{'original': 322060, 'output': 203374}
{'original': 322264, 'output': 173406}
{'original': 322932, 'output': 183945}
{'original': 323628, 'output': 146220}
{'original': 323640, 'output': 164366}
{'original': 323824, 'output': 118378}
{'original': 324044, 'output': 158026}
{'original': 324312, 'output': 167904}
{'original': 324812, 'output': 238545}
{'original': 325024, 'output': 156400}
{'original': 325216, 'output': 168722}
{'original': 325456, 'output': 135954}
{'original': 325508, 'output': 158467}
{'original': 326428, 'output': 104752}
{'original': 326472, 'output': 137351}
{'original': 326684, 'output': 126690}
{'original': 327140, 'output': 169563}
{'original': 327204, 'output': 193426}
{'original': 327436, 'output': 112896}
{'original': 327792, 'output': 129431}
{'original': 328644, 'output': 123848}
{'original': 328660, 'output': 185311}
{'original': 331116, 'output': 168071}
{'original': 331804, 'output': 157755}
{'original': 331816, 'output': 153963}
{'original': 331916, 'output': 163316}
{'original': 332368, 'output': 234093}
{'original': 333260, 'output': 227513}
{'original': 333428, 'output': 136122}
{'original': 333544, 'output': 153821}
{'original': 333592, 'output': 141909}
{'original': 333612, 'output': 198817}
{'original': 333652, 'output': 216257}
{'original': 334404, 'output': 90494}
{'original': 334484, 'output': 173121}
{'original': 334596, 'output': 175532}
{'original': 334936, 'output': 170971}
{'original': 335056, 'output': 209755}
{'original': 335272, 'output': 109029}
{'original': 336420, 'output': 200891}
{'original': 336576, 'output': 163081}
{'original': 336600, 'output': 115888}
{'original': 336616, 'output': 135331}
{'original': 337000, 'output': 183710}
{'original': 337588, 'output': 259165}
{'original': 337600, 'output': 189668}
{'original': 337612, 'output': 110192}
{'original': 337928, 'output': 161341}
{'original': 338028, 'output': 242499}
{'original': 338088, 'output': 152948}
{'original': 338520, 'output': 163437}
{'original': 338732, 'output': 129172}
{'original': 338916, 'output': 187145}
{'original': 338924, 'output': 117947}
{'original': 339160, 'output': 152176}
{'original': 339580, 'output': 102844}
{'original': 339612, 'output': 117222}
{'original': 339616, 'output': 151273}
{'original': 340308, 'output': 108137}
{'original': 340472, 'output': 148670}
{'original': 340692, 'output': 203149}
{'original': 341196, 'output': 164876}
{'original': 341648, 'output': 152886}
{'original': 342676, 'output': 212271}
{'original': 343772, 'output': 141233}
{'original': 344016, 'output': 144050}
{'original': 344096, 'output': 178383}
{'original': 344448, 'output': 144928}
{'original': 345000, 'output': 144731}
{'original': 346372, 'output': 94338}
{'original': 346556, 'output': 242667}
{'original': 346752, 'output': 195697}
{'original': 347640, 'output': 149932}
{'original': 348044, 'output': 189953}
{'original': 348448, 'output': 143115}
{'original': 349436, 'output': 134921}
{'original': 349528, 'output': 193525}
{'original': 350032, 'output': 132714}
{'original': 350700, 'output': 201231}
{'original': 351096, 'output': 215618}
{'original': 351180, 'output': 118208}
{'original': 352200, 'output': 214434}
{'original': 352436, 'output': 251792}
{'original': 352508, 'output': 157447}
{'original': 353052, 'output': 159500}
{'original': 353216, 'output': 171896}
{'original': 353564, 'output': 153341}
{'original': 353672, 'output': 150843}
{'original': 353836, 'output': 183323}
{'original': 354140, 'output': 74349}
{'original': 354420, 'output': 156739}
{'original': 354476, 'output': 165336}
{'original': 355184, 'output': 250563}
{'original': 355264, 'output': 192206}
{'original': 355676, 'output': 211026}
{'original': 355752, 'output': 217796}
{'original': 355988, 'output': 201277}
{'original': 356568, 'output': 214768}
{'original': 356748, 'output': 179395}
{'original': 356864, 'output': 225024}
{'original': 357136, 'output': 167361}
{'original': 358312, 'output': 150477}
{'original': 358444, 'output': 174840}
{'original': 358764, 'output': 313269}
{'original': 359200, 'output': 239493}
{'original': 359292, 'output': 156918}
{'original': 359324, 'output': 133132}
{'original': 359384, 'output': 162896}
{'original': 359756, 'output': 146130}
{'original': 360208, 'output': 216849}
{'original': 360296, 'output': 59542}
{'original': 360408, 'output': 182566}
{'original': 360416, 'output': 168107}
{'original': 360444, 'output': 178254}
{'original': 361360, 'output': 168263}
{'original': 361484, 'output': 124678}
{'original': 361548, 'output': 171750}
{'original': 361576, 'output': 133106}
{'original': 361912, 'output': 142102}
{'original': 362508, 'output': 123215}
{'original': 362772, 'output': 148573}
{'original': 363156, 'output': 185175}
{'original': 363452, 'output': 205595}
{'original': 364104, 'output': 187765}
{'original': 364288, 'output': 231956}
{'original': 364388, 'output': 136991}
{'original': 364476, 'output': 116496}
{'original': 365160, 'output': 141563}
{'original': 365388, 'output': 126980}
{'original': 366364, 'output': 147528}
{'original': 366476, 'output': 194445}
{'original': 366948, 'output': 197432}
{'original': 366992, 'output': 146998}
{'original': 367132, 'output': 142370}
{'original': 367224, 'output': 149066}
{'original': 368316, 'output': 206653}
{'original': 368852, 'output': 155165}
{'original': 369256, 'output': 220230}
{'original': 369920, 'output': 148516}
{'original': 370032, 'output': 219429}
{'original': 370100, 'output': 185550}
{'original': 371672, 'output': 178567}
{'original': 371680, 'output': 220488}
{'original': 371740, 'output': 103014}
{'original': 371964, 'output': 170362}
{'original': 372384, 'output': 304441}
{'original': 372896, 'output': 145402}
{'original': 372928, 'output': 201640}
{'original': 373452, 'output': 130544}
{'original': 373588, 'output': 155280}
{'original': 375052, 'output': 244124}
{'original': 375172, 'output': 169021}
{'original': 375896, 'output': 190341}
{'original': 377116, 'output': 204014}
{'original': 377168, 'output': 197586}
{'original': 377180, 'output': 126609}
{'original': 377684, 'output': 231382}
{'original': 378264, 'output': 145079}
{'original': 379308, 'output': 233147}
{'original': 379332, 'output': 157724}
{'original': 379412, 'output': 154683}
{'original': 379792, 'output': 271676}
{'original': 379952, 'output': 115581}
{'original': 381212, 'output': 204775}
{'original': 381312, 'output': 154578}
{'original': 382592, 'output': 142368}
{'original': 382784, 'output': 211553}
{'original': 382856, 'output': 181320}
{'original': 383120, 'output': 160311}
{'original': 383564, 'output': 140833}
{'original': 383644, 'output': 258282}
{'original': 383904, 'output': 181887}
{'original': 383908, 'output': 206129}
{'original': 384400, 'output': 183712}
{'original': 384760, 'output': 177779}
{'original': 384860, 'output': 189101}
{'original': 385168, 'output': 208473}
{'original': 385328, 'output': 291136}
{'original': 385756, 'output': 132991}
{'original': 385796, 'output': 224431}
{'original': 386216, 'output': 214695}
{'original': 386280, 'output': 183554}
{'original': 386376, 'output': 179406}
{'original': 386580, 'output': 220895}
{'original': 387056, 'output': 248679}
{'original': 387296, 'output': 336753}
{'original': 387396, 'output': 246130}
{'original': 387496, 'output': 191463}
{'original': 387576, 'output': 175801}
{'original': 387896, 'output': 130862}
{'original': 388292, 'output': 204755}
{'original': 388624, 'output': 153197}
{'original': 388844, 'output': 197857}
{'original': 389004, 'output': 146898}
{'original': 389048, 'output': 185012}
{'original': 389140, 'output': 258731}
{'original': 389396, 'output': 89529}
{'original': 391436, 'output': 193194}
{'original': 391776, 'output': 128820}
{'original': 392040, 'output': 187101}
{'original': 392136, 'output': 277090}
{'original': 392220, 'output': 208505}
{'original': 392268, 'output': 132424}
{'original': 393520, 'output': 175097}
{'original': 394608, 'output': 247305}
{'original': 394704, 'output': 128117}
{'original': 394844, 'output': 299549}
{'original': 395988, 'output': 128452}
{'original': 396252, 'output': 186862}
{'original': 396484, 'output': 220232}
{'original': 396948, 'output': 276675}
{'original': 398672, 'output': 221603}
{'original': 398920, 'output': 238423}
{'original': 399060, 'output': 275412}
{'original': 399444, 'output': 277989}
{'original': 399788, 'output': 208027}
{'original': 400256, 'output': 124255}
{'original': 401620, 'output': 373929}
{'original': 401696, 'output': 305742}
{'original': 402104, 'output': 192241}
{'original': 402324, 'output': 157800}
{'original': 403780, 'output': 265826}
{'original': 404144, 'output': 127485}
{'original': 404420, 'output': 101133}
{'original': 404460, 'output': 190684}
{'original': 404572, 'output': 199146}
{'original': 404680, 'output': 241040}
{'original': 404780, 'output': 118950}
{'original': 404916, 'output': 198271}
{'original': 405400, 'output': 172712}
{'original': 405468, 'output': 123059}
{'original': 405760, 'output': 285462}
{'original': 406000, 'output': 126087}
{'original': 406716, 'output': 256096}
{'original': 407348, 'output': 197879}
{'original': 408028, 'output': 157974}
{'original': 409748, 'output': 207817}
{'original': 410072, 'output': 289067}
{'original': 410320, 'output': 178711}
{'original': 412496, 'output': 102946}
{'original': 414276, 'output': 140747}
{'original': 414720, 'output': 172934}
{'original': 415244, 'output': 106871}
{'original': 415280, 'output': 237693}
{'original': 415428, 'output': 216002}
{'original': 415500, 'output': 207291}
{'original': 417316, 'output': 77679}
{'original': 418024, 'output': 194912}
{'original': 419664, 'output': 241684}
{'original': 420204, 'output': 265067}
{'original': 420356, 'output': 160969}
{'original': 421780, 'output': 149124}
{'original': 421892, 'output': 156662}
{'original': 422888, 'output': 152776}
{'original': 424028, 'output': 289511}
{'original': 424044, 'output': 233122}
{'original': 424680, 'output': 255281}
{'original': 425380, 'output': 216249}
{'original': 425408, 'output': 130414}
{'original': 425876, 'output': 156091}
{'original': 426956, 'output': 205362}
{'original': 428532, 'output': 122901}
{'original': 429060, 'output': 220958}
{'original': 429404, 'output': 241273}
{'original': 429652, 'output': 96758}
{'original': 429756, 'output': 210941}
{'original': 430536, 'output': 196355}
{'original': 431300, 'output': 144602}
{'original': 431344, 'output': 210214}
{'original': 432644, 'output': 246541}
{'original': 432860, 'output': 207684}
{'original': 433628, 'output': 151127}
{'original': 434580, 'output': 266502}
{'original': 434832, 'output': 76524}
{'original': 434840, 'output': 173701}
{'original': 435152, 'output': 232151}
{'original': 435180, 'output': 227360}
{'original': 436384, 'output': 202570}
{'original': 436640, 'output': 160008}
{'original': 437204, 'output': 300097}
{'original': 437384, 'output': 333754}
{'original': 437396, 'output': 257179}
{'original': 438024, 'output': 173155}
{'original': 438472, 'output': 181427}
{'original': 439340, 'output': 225155}
{'original': 440008, 'output': 227618}
{'original': 440356, 'output': 261014}
{'original': 441096, 'output': 186342}
{'original': 441364, 'output': 417355}
{'original': 442800, 'output': 162069}
{'original': 444072, 'output': 161136}
{'original': 444984, 'output': 179414}
{'original': 445204, 'output': 145193}
{'original': 445420, 'output': 141295}
{'original': 445512, 'output': 209231}
{'original': 446308, 'output': 189647}
{'original': 446524, 'output': 213543}
{'original': 447436, 'output': 404122}
{'original': 448264, 'output': 155750}
{'original': 449124, 'output': 194611}
{'original': 449264, 'output': 193070}
{'original': 449356, 'output': 192601}
{'original': 449460, 'output': 234404}
{'original': 449552, 'output': 228952}
{'original': 450120, 'output': 113003}
{'original': 450668, 'output': 282966}
{'original': 450940, 'output': 186458}
{'original': 451984, 'output': 154837}
{'original': 452944, 'output': 191313}
{'original': 454244, 'output': 258324}
{'original': 454372, 'output': 327285}
{'original': 454564, 'output': 206824}
{'original': 455200, 'output': 174747}
{'original': 457156, 'output': 324282}
{'original': 460316, 'output': 189515}
{'original': 461944, 'output': 236307}
{'original': 462912, 'output': 240759}
{'original': 464064, 'output': 292596}
{'original': 464584, 'output': 152554}
{'original': 465164, 'output': 156471}
{'original': 465316, 'output': 197126}
{'original': 466220, 'output': 221074}
{'original': 466668, 'output': 250654}
{'original': 467552, 'output': 198456}
{'original': 467620, 'output': 266689}
{'original': 468492, 'output': 169567}
{'original': 470120, 'output': 238397}
{'original': 471280, 'output': 222772}
{'original': 472780, 'output': 129669}
{'original': 474296, 'output': 214157}
{'original': 474808, 'output': 183535}
{'original': 478156, 'output': 187579}
{'original': 479448, 'output': 312288}
{'original': 480300, 'output': 139850}
{'original': 480460, 'output': 219268}
{'original': 483488, 'output': 301363}
{'original': 484384, 'output': 176881}
{'original': 484968, 'output': 183274}
{'original': 485264, 'output': 167908}
{'original': 485764, 'output': 244434}
{'original': 485968, 'output': 243304}
{'original': 486020, 'output': 335975}
{'original': 486112, 'output': 232512}
{'original': 486828, 'output': 177003}
{'original': 487300, 'output': 245262}
{'original': 490340, 'output': 248908}
{'original': 491820, 'output': 253563}
{'original': 492908, 'output': 443847}
{'original': 493180, 'output': 239129}
{'original': 493336, 'output': 345713}
{'original': 493736, 'output': 155265}
{'original': 494264, 'output': 189228}
{'original': 494336, 'output': 221840}
{'original': 494584, 'output': 170040}
{'original': 495044, 'output': 330035}
{'original': 495420, 'output': 212984}
{'original': 498684, 'output': 236882}
{'original': 499160, 'output': 396622}
{'original': 500976, 'output': 385428}
{'original': 501128, 'output': 222631}
{'original': 502848, 'output': 195022}
{'original': 504988, 'output': 274541}
{'original': 505060, 'output': 199298}
{'original': 505612, 'output': 270896}
{'original': 505780, 'output': 231845}
{'original': 507900, 'output': 179424}
{'original': 507968, 'output': 207436}
{'original': 509636, 'output': 238546}
{'original': 509800, 'output': 236512}
{'original': 509832, 'output': 452047}
{'original': 510616, 'output': 139895}
{'original': 512004, 'output': 166725}
{'original': 512392, 'output': 266548}
{'original': 513404, 'output': 280280}
{'original': 513600, 'output': 342318}
{'original': 514028, 'output': 255218}
{'original': 514148, 'output': 246952}
{'original': 514768, 'output': 176745}
{'original': 516356, 'output': 235009}
{'original': 517292, 'output': 281125}
{'original': 517328, 'output': 217553}
{'original': 517336, 'output': 283603}
{'original': 519328, 'output': 297792}
{'original': 519444, 'output': 157487}
{'original': 519668, 'output': 455356}
{'original': 520220, 'output': 212275}
{'original': 521228, 'output': 267845}
{'original': 521480, 'output': 245364}
{'original': 522364, 'output': 187857}
{'original': 525508, 'output': 329491}
{'original': 525524, 'output': 166607}
{'original': 525904, 'output': 197227}
{'original': 526488, 'output': 122058}
{'original': 526996, 'output': 248641}
{'original': 528792, 'output': 168423}
{'original': 529372, 'output': 225665}
{'original': 529712, 'output': 199208}
{'original': 529724, 'output': 328741}
{'original': 534236, 'output': 217178}
{'original': 536128, 'output': 257749}
{'original': 536424, 'output': 182312}
{'original': 538576, 'output': 159773}
{'original': 540976, 'output': 140331}
{'original': 543916, 'output': 235929}
{'original': 544688, 'output': 138383}
{'original': 544980, 'output': 150962}
{'original': 549268, 'output': 256515}
{'original': 551340, 'output': 440282}
{'original': 553816, 'output': 220299}
{'original': 554032, 'output': 275807}
{'original': 555204, 'output': 375917}
{'original': 556604, 'output': 380424}
{'original': 557300, 'output': 249504}
{'original': 557736, 'output': 179013}
{'original': 558456, 'output': 224145}
{'original': 558596, 'output': 317918}
{'original': 560620, 'output': 199404}
{'original': 560624, 'output': 445179}
{'original': 561944, 'output': 200777}
{'original': 562572, 'output': 233195}
{'original': 563004, 'output': 232777}
{'original': 565156, 'output': 456186}
{'original': 566384, 'output': 206067}
{'original': 567552, 'output': 274771}
{'original': 569476, 'output': 131328}
{'original': 574256, 'output': 136769}
{'original': 575540, 'output': 226574}
{'original': 576612, 'output': 206086}
{'original': 577688, 'output': 234308}
{'original': 581312, 'output': 159527}
{'original': 585300, 'output': 247102}
{'original': 585600, 'output': 224093}
{'original': 588656, 'output': 243587}
{'original': 598976, 'output': 270528}
{'original': 600016, 'output': 315078}
{'original': 601224, 'output': 336958}
{'original': 604112, 'output': 268765}
{'original': 611112, 'output': 196884}
{'original': 611488, 'output': 167987}
{'original': 613192, 'output': 255614}
{'original': 625476, 'output': 655445}
{'original': 628000, 'output': 306742}
{'original': 632368, 'output': 323200}
{'original': 633576, 'output': 300320}
{'original': 635848, 'output': 159900}
{'original': 636268, 'output': 207636}
{'original': 645084, 'output': 319380}
{'original': 645296, 'output': 359079}
{'original': 658784, 'output': 236681}
{'original': 661032, 'output': 287268}
{'original': 661256, 'output': 158361}
{'original': 663952, 'output': 260008}
{'original': 674868, 'output': 144238}
{'original': 685772, 'output': 327175}
{'original': 693332, 'output': 333312}
{'original': 727688, 'output': 309150}
{'original': 730676, 'output': 210850}
{'original': 743024, 'output': 232656}
{'original': 754152, 'output': 279365}
{'original': 773556, 'output': 313570}
{'original': 790336, 'output': 191213}
{'original': 853160, 'output': 523601}
{'original': 858732, 'output': 245914}
{'original': 861464, 'output': 215042}
{'original': 905464, 'output': 407718}