SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info aa|O lL  HOL-Nonstandard_Analysis-Examples:threads=2elapsed=36.370cpu=65.064gc=2.648factor=1.797zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I!zKy˻L!Y{K>3UmQ]pJHoʰ@>(rTz7SFA $##c?LBȭ؍?^[ BUқG5 ن9eZ^Sα9Qq+^EkVZyv7 $O HOL-Nonstandard_Analysis-Examplesʶ1Ma0k,* YdFRz UoVZߤ8s϶n5u".F .n}Rz_xP"Ӑm$U0aiWiR$NPN%ңp;q3x>`Eؘ:{=;&PRR]3?b)RXE{8|&E]͐u8D_i\r^-#4\(L=l?w1:;?G]@эj^>{]asuk/ưy^vN@?ҽ_Dm#3~Lztl4rKhG3k5C5$._b%+e"Dͳ-B׾a}/¡!uZ TLpIT>{p%Lyw|\*nyG8B`Zb Iz nJE/@3<*qyi-e zm!Kܲ򲈶 WDV:()RG$-27$#U|lYCP"`+Ȓ(F*xWe_>Ru_V=A0fkq)> i.wlgDv1 6\"3*lelU7x=f\f#+c]jgCO@:&Sb7ANi |B&)r8be*OdFbiZptߦ]Ip 6]!lFěĔH%xPrϙ4{ g&Z6Vd?pޏ8c˨~b a$ Vb1d:a49mNld˄ur,yCfۧ"]fb&“yʚR.9``. 8Bݴ[cȦ#tV, 8ЋYx2xǺwuErbAX\(uK1BN[gm&H_k$* iv٥U]"S`]LG߅lIUQDFԡ'1B۞MoE4D%Z ԍ5S壻A}%ʼ0YZleU%}~}Hvm(뛊\8V'BNLؒ3!6?;kj2WâaDmӌI!%2 ReCMd/H ׿%c.!s4^Y*hdl^8H(#Cvc^Zd/~vt1Pշ9i#Rcz4_(h|_D^qQp4dGŏס>;t_ey!lS}fZX'KPLɥ/%Q =, 3G 2P_ܘ,"G7 ZY `T2] ]wwZs8[ǜRLX !hYф xu6ĀӬtp1S-#o#E4)Rqo`C|$je!%py_5Y;PRvVQytA/Un2ʨ`q:'Jj* tpx/{lvp>v|* [V̐p.F[wh(.[f4H^ëlCza\,2xtSSǴO̊*BQ1ϴ:a5^~~S~^x+L(8f|J|de%g+="Jiw[h=(!K+7bGx$ Zt;CP벴P*/GUTYhN N~<#bL4hX #X/kcy.Ҹn//\6SNd*lmDjOUכ&Np:!vwUXύOaHb3k(\p(!A!z5,՘ZrVe,'b=)ړĆkShuwo5&0n>{5pˊ\;<ƱK]fo"7ay)Lfx$9u)blE9BJg5ºBtk2´4+W)fC0+MW\Ժ3ङ1,Ru|m1q]j#"yD` I:g[Vʪs'4٬),!8$yߋ(^@@70-푏kl7B?7OMi9kMC)ͷJ;()hؖ -'Ctޖcv`髹?nJ+%W")9?Ë1W<cф߯ N18Hjof "n&E{P q@p;gZݹT{ @CXYyGwPu(A)T.!{ IٗK}G[{byZ ysk)]+mb^P%+;bh"wSy!g$.wZ8EpX|TQO9Flmo #oa1 z0!eDCOcBM \$Kl?6'cC/ RdSX:LY4S(*Z،"GCT:Ay$}`7,^IPzL!(26HBw2W>r…+1hq+qD9|M~ Sh9]!Jwcm@P"~`h_}e~nk~h(ȭ[$ R6@D/e߈-LN*5:2p+I=E }ǂKJ~, Jpi <Gs0t ~