SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ` \t }/]UPF:threads=2elapsed=33.901cpu=65.152gc=2.772factor=1.927zXZִF! F%]ŗXf1-/6vR[y,o1=}8qՌ!bF)K*ȡ8DGa9H^lJA%@Aoɵ} T-ac`ڛ??9'@ u+?a?!f7s/KIBČO춨TEPZ(AR{~>vZ;{AYvp߈cFk"=P%T pS pYY^ꐓ֠qEǤҽPO,4Hv3fH\4dz];%I8$'^ی.b9no$5W Ck)^(Rʆt+@I̽EǸa]&ȀG7iV 4qk{sHѴp F_Sp ޒZw6z֒% IYjJ MQRsu]祘N蟼ģSKf"d" hnWA҂>EHobak>=/> fcg[{N jз&QN 7-t9+6`M8~sT PgՂ3fK63jlgaXuh_*\_}QwByV%,y/aunC$"Ʈi驜rv˨X pvrKQT^5іd]n]1빪'-YD&pS6uBA#q>,=F YgL?y seZC#%|SiZF8CWgYZ7zXZִF! 2]ŗXi%}2s35_ʴdU{d$蜆7#@:b?P+X]aeر p Oi>,yCE J\7>"v +cS/"WϾ[PU pGv&W2I ;2cLUu4} 6HX%.1GVz'(DGTƜL\ pfŌbD5F'זNʺ4j=h 3<8/&aY'sxM\LKh|Sj`ظ%%E))"m-yY$=]Ђd1GqRWN<@ECJՌҨG%za'SO=8zjkL\;<`~@5SnjRlCcMzqJջãw epIݍ OaqNl]$iWchyuvj!I5Gdg+-k!jg&1 *spw[)OC6` %fe:Dx@nžDn`8. ޡ,3Φ9 `w])d [Nj~H&OCL='x~Ik6P=l'ntwȱ:y]x)8+%kc L*aLd,ݎM5)fiJrl^mxbtF'B"5x|NbveQa4g{| .+HC{[e"݃;P|ØBsPkgijTyA}oN)O٤j*R]PmxnmzE 3)9ol?fSF>W^C7>cXO 03-6eΓ( ,#4fr_2ċ` >CI5B0B7(ff&)+BgwG(˜UPiv.(@)^z H˩N;z#{DHF{e(x9'HdCng.iXcLcm;SNx)&B֚;m̊aĞJZxG%%#4~S3 l8B%d>rѭtːG[.:2p pu)G g >+'򵗑$-/me^(ߤ=dA6صKL7vܠ\~؝-Y ),{kj܊TrtHhJݗv^4uP]K*Z*xy Qy"Y儊] 2lT۳ܘBxC~o(K䋙di4$b+NbʟeGX Z;~h.> h R%ȘҶڞbCic*j+mS+olw,F7