[primes]
xs = [
  "3", "5", "7", "11", "13", "17", "19", "21", "23", "27", "29", "31", "37", "41", "43"
  ]
s = [
  "7823",    "5419",    "1889",    "7213",    "9817",    "6521",    "3299",    "3709",    "4217",    "5737",    "8753",    "9187",    "7013",    "7951",    "8647",    "2089",    "9241",    "4993",    "2819",    "6469",    "7879",    "2341",    "4733",    "3259",    "9697",    "4373",    "4231",    "3001",    "6577",    "6449",    "8783",    "3947",    "7687",    "3221",    "3449",    "5527",    "7411",    "4339",    "9461",    "2909",    "5449",    "5843",    "9007",    "9461",    "5419",    "3571",    "4133",    "5417",    "9043"
  ]
m = [
  "55399",    "57287",    "53609",    "13397",    "53051",    "95009",    "44257",    "15263",    "47149",    "53791",    "67219",    "35339",    "92789",    "40751",    "27827",    "89867",    "45953",    "81041",    "34847",    "66359",    "73291",    "31397",    "19577",    "31081",    "73613",    "57413",    "42331",    "61057",    "68399",    "21937",    "15559",    "31667",    "39161",    "12011",    "32237",    "28411",    "43207",    "17957",    "60611",    "61781",    "61363",    "92779",    "87671",    "68711",    "59419"
  ]
ml = [
  "3197239",    "4777723",    "5634029",    "5345227",    "3775663",    "2577733",    "2484731",    "9489157",    "9795311",    "8807549",    "4211929",    "2192143",    "1790611",    "6124379",    "7110449",    "3423877",    "3104219",    "7823597",    "4007569",    "9538877",    "9973409",    "1337753",    "2981431",    "2052977",    "3881461",    "3107569",    "6681733",    "7208623",    "6121067",    "7024543",    "7781927",    "1355129",    "3668941",    "6326527",    "8262383",    "9656587",    "8881111",    "8026561",    "8561011",    "2398367",    "8479967",    "9903059"
  ]
l = [
  "912325499",    "724443641",    "385137293",    "926358929",    "890097763",    "130750339",    "116017079",    "144416561",    "407856209",    "410030717",    "197927203",    "202551331",    "977001847",    "538242283",    "257127457",    "818698583",    "752243881",    "596336339",    "557356187",    "240508001",    "387269011",    "456025643",    "877258717",    "369868633",    "362001583",    "864195281",    "599680687",    "215741453",    "804623063",    "938568131",    "404699117",    "255340313",    "888734827"
  ]
xl = [
  "4574666035183",    "8417547875059",    "4570443646591",    "5048274773407",    "7164005295869",    "4518845199877",    "5614561710673",    "5260860119369",    "7543626839449",    "7276541368879",    "7214431178011"
  ]
xxl = [
  "835105110050347323134847370069",    "143404874801173091148814190773",    "201127251710413955312944973641",    "404730213474815811826728006169",    "667169667959358791072930585279",    "501481765763667164242641192419",    "446412154680934394834729305967",    "460686874458826922684722184083",    "830222457872535605976269306419",    "185066433124965184224530740781"
  ]
xxxl = [
  "41538632149409670203875645951895100583020903271493",    "55019010857476970540160613582574368926321997435229",    "80761049172599658440341257254896253118458575469719",    "92617063636548016967671406179456164264446680329889",    "40758128168942353395091585296464433019876977918493",    "17036082713942833563217660171659128981053237307867"
  ]
mega = [
  "198661663026514394979566031544326159107541699547309448720761733220478761329",
  "992115042569270219928946682049053165598301867001123059433315541401938225427",
  "101119309563131407758796252580471889739272930201455389991048893945940402311",
  "516443083987514486594464741392901709033855328978282817026554473797439114541",
  "660494613626358425463317297108260219544493771347620531225987686364487648369",
  "175165388963515374726669791577365607804663690256056516815884117391457090227",
  "121262978328120003250427616443327736340111055737282325346316041430003976093",
  "532555459206091912293747167640580582656170020402363753480607569083534637187",
  "839484247168370590833838270348781593651940895434421321502494070475339668381"
  ]
giga = [
  "2884936882895429808357269729604622214585402525045525076838045027770319174012257013842658348401917179",
  "8037083210794932674709412895115006556909092833822611837764114152389681777593745417056345965060910227",
  "1910357352360710783480406392361973438148872596091183337139932590856337321762535807846055642301808061"
  ]
crazy = [
  "351658062438469364437012934379378697325167334523785230519867682144348475237641332775452277714957257653189294629411183788781622118310946477143255873639",
  "418013511717417121492936230539394143156615405871395138061025561400693302897049176138915109523457335116963751456368324397935946348902043658050622087259"
  ]
biggest = [
  "477465885805093403826364314122183623487417165049378763285130618473465816825613056800831031290901922120098722325692953433392398177611894890290680254055832803915973853297598146797960159348700184977452096596048789018857150992316047149695774005795966830209155566710937235622005570209535860865999594857311"
  ]
