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\4 ] HOL-Bali:threads=6elapsed=60.616cpu=203.568gc=9.316factor=3.367zXZִF! Ch]ŗXf1-q恈73w@9!Ӳ) RVxDm)TR eXЅhN0y*p ݺR#ݒ4$jբ>Q>}h+[ޡ4_ %.Uc)lOߢIw]`tL vIuTIU>G"ToeDVcNٲ pD `wmAhɱ4kuK`&ҕ>p[BL췕w1fӲ'|C/ {?ƿE=-^/ҳٖU<9 ΐ%5-SqډIOgٵj4!pfV2[[g3;IH/Tb.ܸx;]%BcR`LQ)RvO).T`5ka{fm5UIQOQ(rW L% U֠" { !(3wc[TdA M ?0Q~TULCuy B.m? G+sّbތ 2s;@2O0 +f;g_ Ĺ6zh+A|JdfdamW+1GeUi xFZwӀ['ˇRpf6j?^_P!emCaN~7O D, '|vGu!uKgZ`pi fE/ʸbm| E`C /'!Pp/-Z2\]odx9E&L_?//D֙l[:@˕x[N&vT=um|?)$J8q:[}@ˠHf cL!O+0gqNfa0Fۛqq;P-⾗0L8\+]'e(o.O ")cnl+:"XH C^3M[V/[WH|3% Zc'B8v]!J ?bQ?: 'VPy,s_VݓZZ;EO1Nr$ wz~Ey-o jKWmK35P8Fi 3sҋ0;1$Z 18D[;hBp33jj"Zgcre`SF@jy{oz& 䭀fs[Ԑ1`a#O3<7"53EgYZ7zXZִF! ]ŗXiɟ1Dw7v%[y"m#3:+"$zLLaQ1v䭪'Z#WP)k/bȰZN<]H0*y2fɥv8߀>'LE|8_x/klpH|.Dz,MY/1KCRJ-0k%ǑDկ\7 }.w RlbrFJQNΩć?iBOf#VU"Ujɓ4M,s;- z\T9\LyQJ ,1Ӟ40oGt^eMj+b~+?61ɡ5Ϛe4 yLcA>8޷Oyn \yPrW\J{40jqtP1=wG9b$ j *zKYzHyEXb%"+ VgYZ7zXZִF! ;]ŗXi%9(IoʜgA%n< gMsO&XJeX'Nm{UwG[ 8ǨE\I']i:/h8Z=#d0R ĕT污~l09 _<)qRr%'}&DÑL }='CM/1@֓)=dH"&($LxGAKO`\2ʷuICnZBl 9[ݬf]3BX|I*?@31EyA9[_ ]G Ձ!Jo6yoі~Uwbfvf,&>ScU%5!G݁l#(/q&>tc(E\z- nZW73ŵ4EDNZ >m$5\|`|K]$6&%˗sGMۡ4>IS 2+$hL٭P8'"+04 AOۼd&Qe$eSCǂ@?|N4#ꚄԞ:M('j/GcZzzTVxa:KIx|V.cyT)Vݼh:62w)i7D_n^V'!dsr.WYO+mcKyӾKijط2aTzC?+_#Y3)kt-#u7gkŞVx;@JC#Ɩ?$R%@PU{-,Kn23ԓi\,b,ÙpĻ\Ηpo2|'y2 F#+|y/f AH= .xa!))D^"{9Cux+(/*s7>xP>5=O};pH+ˬ /7KKtjYk$%*&umo}ÖYO[.PԪG=:Q6(jq^2&UȃS_2U )xiJUa|c^v2^2ǯ=B=<9i*\.AP N0sf{Otx bwSh\s{™ir>z* bɾ'54i zgw{" >I 2,l+W;PJސ#tr%laE9;ီ]~ڃ̚C(s fۈmWʵovTh09~(mb;cbjԦ ?q~po=[0tR'e%=~d>+W߸cV?yo4i_LʎqM5 |bUnQV4x\\:k GMFbBΎ׶hG6yuӴ7F~|D8nԿ4@yBߒ˕%Cw&5m;/1Pʩ