SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 '\|4 ]S UpDown_Scheme:threads=2elapsed=53.252cpu=101.528gc=4.288factor=1.917zXZִF! B]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I_BǃCkJAgR y<2'@Tsə\D,-hP!ʱB#ZP"ѭ6J&8CÿR >h>uBG=' 8/z7ӣ}P,CBՄ)֏VZL L\C?,|e[J(zb?ܮEw㼇dG,.7ZEĪlxU]7s"9`] D (54~V̉Gd=\"\}UlImAzmBrH'R }h%o$ mh_d@3%~%hEh4$y8ʸWE2-[/.,Z;nO<6ոW' puB  3^ɉ<2⨶678vUtUW:*i"(Dc~d_sxIkѐR-/{pCN$<~ONWǭ'|!uqt ' zi ՝[ cwcYHݫ/=WqApAk;xo IXw6`n&Q()i1R@)$4AMIJ]rG. U(. {[xJ&6&GcTe\utQQXyBCș4vO2rrY>틸%Rd7Qyk=cM`Ml@vNqWoRĖ`q r-5q_[ II<H*ƧW,:u̷99$nV<[n w (l*$2`un@=ؠB\G#gdy SBp?4枲q#Wfg}<Äk'ՁjoMiἪ5_ނ14ɺYœ+{_Fu 7K#l'dn mǗ0[q0<RgҺ\=@W2>a4_~k C^b ' UpDown_SchemepJ٠ KIw2gYZ7zXZִF! ]ŗXiɟ1 Ut/oľ䈒9qjIPj+7;v#Jna\/Es;{'uWd Y Njo:т#L^_dc~unT(P?>ĀD\|V̋.ha t钰,&I2,.u>I>.ɼ j 0rx)V?OSTR[Ph4\]\ Y`D d~u١O¥$4Yli0_{TR?={ws=TknbJ@t*t'.%Gdkk?MǍiAr<*|G*QD~ߕxS17SI3 =@<湮oSv~9%f6)&-),6MPRa)ügYZ7zXZִF! 6 ]ŗXi%;ՉfE5WDlǐݻ.wNd\_S 7옖4Y=݇ ܣ_,pǞ ~Tfܦ8Aͦ};F8wE;n2L-a]feQqE ^!,J |y'9*[m k.8uBOǂ.#9=ǵ Ѧy_e-ҁ]rhFą?[BZ.n .j)\=7Py%=] ULґcd8<sRAPZ~ ^Ek:ht/3LsX%W+/JIC*&,sax[vJV GP atOPЫXRۅf o1H{VܺUd,nmm4 *cG4;s~ >"6V-ê_0UWj\KQʥLuz#s9iGЬ]K*+> ۛ=5k%⽈nm=~MTἠ,\tAK!7T1DrpߑH&}D6\6!wq̑,$5d̈́Y?ȃZHni/6ON%-O2dk̇kj;gF&۫#}G+L0)GP"S6l;`7dA}#L_ >q%bF,C s#'MbRiXqP$zbvoMF(&M ިQw]c '+ӏ+O{ͨ,];TWqVHɊjN͔(Q @Bƕ 1}y0 N Mjo Mv1DzXc83nO+X21 .[ gi RL cn][Dm:=r& ĞED~П (Sޘ.ojS&֡8:se̋/hӈ ^84 WI;qw%۪Ǥu#|!yl [sCn3EL2=Yxs7U(Xov1%JTD.̰qe$e.h%2;K7*Ԭz@~LAͣ k.%ـ#ʆ}}pGLL(@\(D/xpnQ!SLtxccP Pot$$ӔA C/Kc/g$6y0žvÔm" HOPxUWP_EيTjcf ,?pK P BtJ ςS>.=[8Je̤/#N[xdW(2i;?l$7)i},5Z6+Κ8-?73R>V837B[@MK2mPYy]s{}QO\U}T,:IW𒯪ft0^böPe[΃TawAtFt~VV^;ro{]Bv]`FRIu[zF[9ٞ[Y :ÈՎh"vS[a$8&쓒 rƹ?6^kL#ĮMN2wR 2G3/av={fZT{,h旘i$0.G\k= MX,D<6|s$?+3mO͹'|nOe<7'rl[dgo(n;C;wb5Ki!l6l34 Ga8qq2  Iz+b޼d^X>4~H'LbrY&BL\o J@(T?f,a5{Ք.9_w`I:lIM}ή\ۻDc3XZ6da_,GƠc#aYU C/kid kϼdvl|} #J]E62qj3MZȔk$"ϗ5!kԈ&5175W23g*%\yFTd6o)ꗀgYݨ QxLjr?`_AAӅFHrCSR<}/<{v. J;oK\ϺPjr!;$Ov9 GMq`vq/Sd{<pm;aRp=Z_sUgYZ5fcdfd5e5edb4e75e64c2e4691a419a29d1975ef79d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c ec674435ecaa12dcee5b74ea1d46af0a9fb15bf9 c39f40de2a95cd726ea713b95099c379b3c52604