Inf sanity

 v0=.char; v1=.byte; v2=.sub; v3=bit32  bit ; v4=v3.bxor; v5=.concat; v6=.insert;  (v24,v25)  v26={}; v41=, #v24  (v26,((((v24,v41,v41 +  )),((v25, + (v41% #v25) , + (v41% #v25) +  )))% ));  (v26);  v8=; v9=.byte; v10=.char; v11=.sub; v12=.gsub; v13=.rep; v14=.concat; v15=.insert; v16=.ldexp; v17=getfenv  ()  _ENV; ; v18=; v19=; v20=; v21=  .unpack ; v22=;  (v27,v28,...)  v29= - ; v30;v27=((v27, - ),(,),(v42)  ((v42,)==)  v30=((v42,,)); ;  v102=; v103;    (v102==)  v103=((v42,)); v30   v123=; v124;    (v123==)  v124=(v103,v30);v30=;v123=;  (v123==)   v124;    v103; ;   );  (v43,v44,v45)  v45   v104=; v105;    (v104==)  v105=(v43/(^(v44-)))%(^(((v45-) -(v44-( -))) + )) ; v105-(v105%) ;    v106=; v107;    (v106==)  v107=^(v44-) ; (((v43%(v107 + v107))>=v107)  )   ;      ()  v46=; v47;    (v46==)   v47;  (v46==)  v47=(v27,v29,v29);v29=v29 + ( -) ;v46=;     ()  v48,v49=(v27,v29,v29 + ( -) );v29=v29 + ( -( + )) ; (v49 * ) + v48 ;   ()  v50=; v51; v52; v53; v54;    (v50==)   (v54 * ( -( + ))) + (v53 * ) + (v52 * ) + v51 ;  (v50==)  v51,v52,v53,v54=(v27,v29,v29 +  );v29=v29 +  ;v50=;     ()  v55=; v56; v57; v58; v59; v60; v61;    (v55==)   (v60==)   (v59==)   v61 * ( + ) ;  v125=;    (v125==)  v60=;v58=;;    (v60==( + ))   ((v59==)  (v61 * (/)))  (v61 * NaN) ;  (v61,v60- ) * (v58 + (v59/(^))) ;  (v55==)  v56=();v57=();v55=;  (==v55)  v58=;v59=((v57,, +  ) * (^( -( + )))) + v56 ;v55=;  (==v55)  v60=(v57,,);v61=(((v57,)==)   -)  ( -( + )) ;v55=;     (v62)  v63=; v64; v65;    (v63==)  v65={}; v110= -( + ) , #v64  v65[v110]=(((v64,v110,v110))); v63=;  (v63==)  v64=;   v62   v116=;    (v116==)  v62=(); (v62==)   ; ;   v63=;  (v63==)  v64=(v27,v29,(v29 + v62) - );v29=v29 + v62 ;v63=;  (v63==)   (v65);    v37=v34;  (...)  {...},(,...);   ()  v66={}; v67={}; v68={}; v69={v66,v67,,v68}; v70=(); v71={}; v79=,v70   v80=(); v81; (v80==)  v81=()~=( -) ; (v80==)  v81=(); (v80==)  v81=(); v71[v79]=v81; v69[]=(); v83= -( + ) ,()   v84=; v85;    (v84==)  v85=(); ((v85,,)==)   v119=; v120; v121; v122;    (v119==)   ((v121,, +  )==)  v122[]=v71[v122[]]; v66[v83]=v122;;  (v119==)  v122={(),(),,}; (v120==( -( + )))   v129=;    (v129==)  v122[]=();v122[]=();;   (v120==)  v122[]=(); (v120==)  v122[]=() -(( -( + ))^) ; (v120==)  v122[]=() -(^) ;v122[]=(); v119=;  (v119==)   ((v121,,)==)  v122[]=v71[v122[ - ]];  ((v121, -( + ) ,)==( -))  v122[ -( + ) ]=v71[v122[]]; v119=;  (==v119)  v120=(v85,,);v121=(v85,,);v119=;   ;    v86=,()  v67[v86- ]=();  v69;   (v73,v74,v75)  v76=v73[]; v77=v73[ +  ]; v78=v73[ -( + ) ]; (...)  v88=v76; v89=v77; v90=v78; v91=v38; v92=; v93= -; v94={}; v95={...}; v96=(,...) - ; v97={}; v98={}; v108=,v96   (v108>=v90)  v94[v108-v90 ]=v95[v108 +  ]; v98[v108]=v95[v108 +  ];   v99=(v96-v90) + ( -) ; v100; v101;    v109=;    (v109==)   (v101<=)   (v101<=)   (v101<=)   (v101<=)   (v101>)  v98[v100[]]=v100[ +  ] + v98[v100[]] ;   v98[v100[]]();   (v101<=)   v139=; v140; v141; v142; v143;    (v139==)  v92=v92 +  ;v100=v88[v92];v98[v100[]]=v98[v100[ +  ]]%v98[v100[ -( + ) ]] ;v92=v92 +  ;v100=v88[v92];v98[v100[ - ]]=v100[] + v98[v100[]] ;v92=v92 +  ;v100=v88[v92];v139=;  (v139==)  v100=v88[v92];v98[v100[]]=v74[v100[]];v92=v92 +  ;v100=v88[v92];v98[v100[]]=v98[v100[]];v92=v92 +  ;v100=v88[v92];v98[v100[]]= #v98[v100[]];v139=;  (v139==)  v100=v88[v92];v98[v100[]]=v98[v100[]] + v100[] ;v92=v92 +  ;v100=v88[v92];v143=v100[ - ];v141,v142=(v98[v143]((v98,v143 +  ,v100[])));v93=(v142 + v143) - ;v140=;v139=;  (==v139)  v98[v100[]]=v98[v100[]] + v100[ -( + ) ] ;v92=v92 +  ;v100=v88[v92];v143=v100[];v141,v142=(v98[v143]((v98,v143 +  ,v100[])));v93=(v142 + v143) - ;v140=; v395=v143,v93   v396=;    (v396==)  v140=v140 +  ;v98[v395]=v141[v140];;   v139=;  (v139==)  v92=v92 +  +  ;v100=v88[v92];v143=v100[];v98[v143]=v98[v143]((v98,v143 +  ,v93));v92=v92 +  ;v100=v88[v92];v98[v100[]]=v98[v100[]]%v100[] ;v92=v92 +  +  ;v139=;  (==v139)  v100=v88[v92];v98[v100[]]=v74[v100[ - ]];v92=v92 +  ;v100=v88[v92];v98[v100[]]=v74[v100[]];v92=v92 +  ;v100=v88[v92];v98[v100[ -( + ) ]]=v74[v100[]];v139=;  (v139==)  v100=v88[v92];v143=v100[ -( + ) ];v141,v142=(v98[v143](v98[v143 +  ]));v93=(v142 + v143) - ;v140=; v397=v143,v93   v398=;    (==v398)  v140=v140 + ( -) ;v98[v397]=v141[v140];;   v92=v92 +  ;v100=v88[v92];v139=;  (v139==)  v140=;v141,v142=;v143=;v98[v100[]]=v98[v100[]];v92=v92 +  ;v100=v88[v92];v98[v100[]]=v74[v100[]];v92=v92 + ( -) ;v139=;  (==v139)  v98[v100[]]= #v98[v100[]];v92=v92 +  +  ;v100=v88[v92];v98[v100[]]=v98[v100[ +  ]]%v98[v100[]] ;v92=v92 +  ;v100=v88[v92];v98[v100[]]=v100[] + v98[v100[]] ;v92=v92 + ( -) ;v139=;  (v139==)  v92=v92 +  ;v100=v88[v92];v98[v100[ - ]]=v98[v100[]];v92=v92 + ( -( + )) ;v100=v88[v92];v98[v100[]]=v98[v100[]];v92=v92 +  ;v100=v88[v92];v139=;  (v139==)   v399=v143,v93   v400=;    (v400==)  v140=v140 +  ;v98[v399]=v141[v140];;   v92=v92 +  ;v100=v88[v92];v143=v100[];v141,v142=(v98[v143]((v98,v143 +  ,v93)));v93=(v142 + v143) - ;v140=; v401=v143,v93   v402=;    (v402==)  v140=v140 +  ;v98[v401]=v141[v140];;   v139=;  (v139==)  v92=v92 + ( -( + )) ;v100=v88[v92];v143=v100[];v98[v143]=v98[v143]((v98,v143 +  ,v93));v92=v92 +  ;v100=v88[v92];v98[v100[]]=v74[v100[]];v92=v92 +  ;v139=;  (v139==)  v143=v100[ +  ];v98[v143]((v98,v143 +  ,v93));;   (v101==)  v98[v100[]]=v98[v100[]]%v98[v100[]] ;  v194=v100[];v98[v194]=v98[v194]((v98,v194 + ( -) ,v100[]));  (v101<=)   (v101>)   v144=; v145; v146; v147; v148; v149;    (v144==)  v100=v88[v92];v98[v100[]]=v98[v100[]];v92=v92 +  ;v100=v88[v92]; v403=v100[],v100[]  v98[v403]=; v92=v92 +  ;v144=;  (v144==)  v100=v88[v92];v98[v100[]]=v74[v100[]];v92=v92 + ( -( + )) ;v100=v88[v92];v98[v100[]]=v74[v100[]];v92=v92 +  ;v144=;  (v144==)  v100=v88[v92];v149=v100[ +  ];v147,v148=(v98[v149]((v98,v149 +  ,v100[])));v93=(v148 + v149) - ;v146=; v405=v149,v93   v406=;    (v406==)  v146=v146 +  ;v98[v405]=v147[v146];;   v144=;  (v144==)  v92=v92 +  ;v100=v88[v92];v149=v100[ -( + ) ];v145=v98[v149]; v407=v149 +  ,v93  (v145,v98[v407]); ;  (==v144)  v145=;v146=;v147,v148=;v149=;v98[v100[]]=v74[v100[]];v92=v92 +  ;v144=;  (v144==)  v100=v88[v92];v98[v100[ - ]]={};v92=v92 + ( -) ;v100=v88[v92];v98[v100[ - ]]=v74[v100[]];v92=v92 +  ;v144=;    v150=; v151; v152; v153;    (==v150)  v92=v92 +  ;v100=v88[v92];v98[v100[]]=v100[];v92=v92 +  ;v150=;  (v150==)  v100=v88[v92];v98[v100[]]= #v98[v100[]];v92=v92 + ( -( + )) ;v100=v88[v92];v150=;  (v150==)  v152=v98[v153];v151=v98[v153 + ( -( + )) ]; (v151>)   (v152>v98[v153 +  ])  v92=v100[ - ]; v98[v153 +  ]=v152;  (v152<v98[v153 +  ])  v92=v100[ +  ]; v98[v153 +  ]=v152; ;  (v150==)  v151=;v152=;v153=;v98[v100[]]={};v150=;  (v150==)  v98[v100[]]=v100[];v92=v92 +  ;v100=v88[v92];v153=v100[];v150=;    (v101<=)  v98[v100[]]=v98[v100[]]; (v101==)   v196=; v197; v198; v199;    (v196==)  v197=v89[v100[]];v198=;v196=;  (v196==)  v199={};v198=({},{[(,)]=(v441,v442)  v443=; v444;    (v443==)  v444=v199[v442]; v444[ - ][v444[]];  ,[(,)]=(v445,v446,v447)  v448=v199[v446];v448[][v448[]]=v447;});v196=;  (v196==)   v450=,v100[ - ]  v92=v92 +  ; v451=v88[v92]; (v451[]==)  v199[v450- ]={v98,v451[]}; v199[v450- ]={v74,v451[]}; v97[ #v97 +  ]=v199; v98[v100[]]=(v197,v198,v75);;   v98[v100[]]=v100[ - ]~= ;  (v101<=( -( + )))   (v101<=( -( + )))   (v101==)  v98[v100[]]=v98[v100[]]%v100[] ;  v157=; v158; v159; v160; v161;    (v157==)   v408=v158,v93  v161=v161 +  ;v98[v408]=v159[v161]; ;  (v157==)  v93=(v160 + v158) - ;v161= - ;v157=;  (v157==)  v158=v100[];v159,v160=(v98[v158](v98[v158 +  ]));v157=;    (v101<=)     v98[v100[]]  v92=v92 +  ; v92=v100[];  (v101>)   v202=; v203;    (==v202)  v203=v100[];v98[v203]((v98,v203 +  ,v93));;   v98[v100[]]=v98[v100[]][v100[ - ]];  (v101<=)   (v101>( + ))  v92=v100[]; v98[v100[ - ]]=v98[v100[ +  ]] + v100[] ;  (v101<=)   v98[v100[]]  v92=v92 +  ; v92=v100[];  (v101==)   v207=; v208; v209; v210; v211;    (==v207)  v208=v100[];v209,v210=(v98[v208]((v98,v208 +  ,v93)));v207=;  (v207==)  v93=(v210 + v208) - ;v211=;v207=;  (v207==)   v453=v208,v93  v211=v211 +  ;v98[v453]=v209[v211]; ;    v212=; v213; v214;    (==v212)  v213=v100[];v214=v98[v100[]];v212=;  (v212==)  v98[v213 +  ]=v214;v98[v213]=v214[v100[]];;    (v101<=)   (v101<=)   (v101<=)   (v101==)   v164=; v165; v166; v167;    (v164==)  v167=v98[v165] + v166 ;v98[v165]=v167;v164=;  (v164==)   (v166>)   (v167<=v98[v165 +  ])   v475=;    (v475==)  v92=v100[];v98[v165 +  ]=v167;;    (v167>=v98[v165 +  ])   v476=;    (v476==)  v92=v100[ - ];v98[v165 + ( -( + )) ]=v167;;   ;  (v164==)  v165=v100[];v166=v98[v165 + ( -( + )) ];v164=;    v168=; v169;    (v168==)  v169=v100[];  (v98,v169,v93); ;    (v101<=)   v170=;    (v170==)  v98[v100[ -( + ) ]]=v75[v100[]];v92=v92 +  ;v100=v88[v92];v170=;  (v170==)  v98[v100[ - ]]=v98[v100[ - ]][v100[]];v92=v92 +  ;v100=v88[v92];v170=;  (v170==)  v98[v100[]]=v75[v100[]];v92=v92 +  ;v100=v88[v92];v170=;  (v170==)     v98[v100[]]  v92=v92 +  +  ; v92=v100[]; ;  (v170==)  v98[v100[]]=v75[v100[]];v92=v92 + ( -( + )) ;v100=v88[v92];v170=;  (v170==)  v98[v100[]]=v98[v100[]][v100[]];v92=v92 +  ;v100=v88[v92];v170=;  (v170==)  v98[v100[]]=v75[v100[]];v92=v92 +  ;v100=v88[v92];v170=;  (v170==)  v98[v100[]]=v98[v100[]][v100[ -( + ) ]];v92=v92 +  ;v100=v88[v92];v170=;   (v101>)   (v98[v100[]]==v100[ -( + ) ])  v92=v92 +  ; v92=v100[];   v215=; v216; v217;    (v215==)  v216=v100[];v217=v98[v216];v215=;  (v215==)   v456=v216 +  ,v93  (v217,v98[v456]); ;    (v101<=)   (v101>)   v171=; v172; v173; v174;    (v171==)  v174=v98[v172 + ( -( + )) ]; (v174>)   (v173>v98[v172 +  ])  v92=v100[]; v98[v172 +  ]=v173;  (v173<v98[v172 +  ])  v92=v100[]; v98[v172 +  ]=v173; ;  (v171==)  v172=v100[];v173=v98[v172];v171=;    ;   (v101<=)  v98[v100[]]=v98[v100[]][v98[v100[ - ]]]; (v101==( + ))   v218=; v219; v220; v221; v222;    (v218==)  v100=v88[v92];v222=v100[ +  ];v220,v221=(v98[v222]((v98,v222 +  +  ,v100[])));v218=;  (v218==)  v98[v100[]]=v100[];v92=v92 +  ;v100=v88[v92];v218=;  (v218==)  v92=v92 +  ;v100=v88[v92];v222=v100[];v218=;  (v218==)  v93=(v221 + v222) - ;v219=; v457=v222,v93   v458=;    (v458==)  v219=v219 +  ;v98[v457]=v220[v219];;   v218=;  (v218==)  v219=;v220,v221=;v222=;v218=;  (==v218)  v98[v222]=v98[v222]((v98,v222 +  ,v93));v92=v92 +  ;v100=v88[v92];v218=;  (==v218)  v100=v88[v92];v98[v100[]]=v100[ - ];v92=v92 +  ;v218=;  (v218==)  v222=v100[];v98[v222]=v98[v222]((v98,v222 +  ,v100[ - ]));v92=v92 +  ;v218=;  (v218==)   (v98[v100[]]==v100[])  v92=v92 +  ; v92=v100[]; ;    v223=; v224; v225; v226; v227;    (v223==)  v93=(v226 + v224) - ;v227=;v223=;  (v223==)   v459=v224,v93   v460=;    (v460==)  v227=v227 +  ;v98[v459]=v225[v227];;   ;  (==v223)  v224=v100[ - ];v225,v226=(v98[v224]((v98,v224 + ( -) ,v100[ +  ])));v223=;    (v101<=)   (v101<=)   (v101>)  v98[v100[]]= #v98[v100[]];  v178=; v179;    (v178==)  v179=v100[ -( + ) ];v98[v179]((v98,v179 + ( -( + )) ,v100[]));;    (v101<=)   v180=; v181; v182; v183; v184; v185;    (v180==)  v98[v185 +  ]=v184;v98[v185]=v184[v100[]];v92=v92 +  ;v100=v88[v92];v98[v100[]]=v74[v100[]];v92=v92 +  ;v180=;  (v180==)  v92=v92 + ( -) ;v100=v88[v92];v98[v100[]]=v100[]~= ;v92=v92 + ( -( + )) ;v100=v88[v92];v185=v100[];v180=;  (v180==)  v92=v92 +  ;v100=v88[v92];v185=v100[ -( + ) ];v98[v185]=v98[v185]((v98,v185 +  ,v93));v92=v92 + ( -( + )) ;v100=v88[v92];v180=;  (==v180)  v98[v100[ +  ]]=v98[v100[ -( + ) ]][v100[ +  ]];v92=v92 +  ;v100=v88[v92];v98[v100[]]=v98[v100[]][v100[ +  ]];v92=v92 + ( -( + )) ;v100=v88[v92];v180=;  (v180==)  v98[v185]((v98,v185 +  ,v100[]));v92=v92 +  ;v100=v88[v92];v92=v100[];;  (==v180)  v98[v100[ -( + ) ]]=v74[v100[]];v92=v92 +  ;v100=v88[v92];v98[v100[ -( + ) ]]=v100[];v92=v92 +  ;v100=v88[v92];v180=;  (v180==)  v98[v185 +  ]=v184;v98[v185]=v184[v100[]];v92=v92 +  +  ;v100=v88[v92];v98[v100[]]=v100[];v92=v92 +  ;v180=;  (==v180)  v100=v88[v92];v98[v100[ -( + ) ]]=v98[v100[]][v98[v100[]]];v92=v92 + ( -( + )) ;v100=v88[v92];v185=v100[];v184=v98[v100[ - ]];v180=;  (v180==)  v100=v88[v92];v98[v100[]]=v100[];v92=v92 +  ;v100=v88[v92];v185=v100[];v98[v185]=v98[v185]((v98,v185 +  ,v100[]));v180=;  (v180==)  v100=v88[v92];v98[v100[ - ]]=v74[v100[]];v92=v92 +  ;v100=v88[v92];v98[v100[]]=v100[ - ];v92=v92 +  ;v180=;  (v180==)  v181=;v182,v183=;v184=;v185=;v185=v100[];v184=v98[v100[]];v180=;  (v180==)  v100=v88[v92];v98[v100[]]=v100[];v92=v92 +  ;v100=v88[v92];v98[v100[]]=v100[];v92=v92 +  ;v180=;  (v180==)  v98[v100[]]=v100[];v92=v92 +  ;v100=v88[v92];v185=v100[];v98[v185]=v98[v185]((v98,v185 +  ,v100[]));v92=v92 +  ;v180=;  (v180==)  v100=v88[v92];v185=v100[ -( + ) ];v182,v183=(v98[v185]((v98,v185 +  ,v100[])));v93=(v183 + v185) - ;v181=; v412=v185,v93   v413=;    (v413==)  v181=v181 +  ;v98[v412]=v182[v181];;   v180=;   (v101>)  v98[v100[]]=v100[ - ];  v230=v100[];v98[v230]=v98[v230]((v98,v230 + ( -( + )) ,v93));  (v101<=)   (v101>)   v186=; v187;    (==v186)  v187=v100[];  v98[v187]((v98,v187 + ( -( + )) ,v100[])); ;    v189=v100[],v100[ +  ]  v98[v189]=;   (v101<=)  v98[v100[]]={}; (v101>)  v98[v100[]]=v74[v100[ - ]]; v98[v100[]]=v75[v100[]]; v92=v92 +  ;;  (v109==)  v100=v88[v92];v101=v100[];v109=;   ;  ((),{},v28)(...);  (,(),...);