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 66G |4 ]/]HOLCF:threads=2elapsed=15.936cpu=31.380gc=1.872factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jl ?g!e5}i=Kp_?~2XguuT/I*}8b?Zz5ͅkuق NNIϷK9 As4K<=mq63CR$ݿ0Bh:}}b[F—aDymuدE0|J`='c *bI^|1%9N= h]69DQYf~bNy\I=`[H1r,ŏjhV!Pt*DrI|a~ !-,oXnzI;*3? £t% ]u@m\ڱgYZ7zXZִF! 7]ŗXiɟ1˦r~KunύNN{cr}` #\X/yUUȯ}f!P S\VVƅ}5[S4 iJҊq 1ZdAYn-:ɶ 7/#ss=ingdL˒Ƃj5@wNUU|WB=,Y=CAUJHN^k01lg~qD}GKz FAJKqk(A}v'2χ` ސl^.c=ufŷǿ?Z xVV)-%+a>0cqF&5y-É@%Й|tFW>`lb[~G'Gz]X(@e;XF~U }v, 5'_u:g}^L~Wfq 7 5PҜqaAnӳ\ΠrD'%(l~@[{S(9AœvQ5eg^ֱgYZ7zXZִF! e0S]ŗXi%96xն/ۡ0/>dGK<ܖ#޹)Y:jUc}-]ԑ/ tfrdW&~RQ$P&ħ5%٥&XLj#f!߈u-ڢSO.ܫ^-K8%jip[ev/is^`Ӛ-Eoid5}8D(h w0j2zt$z\uJ6 ictǼzig8="O\_yQW[|BFF_\+ؖ\υfX! wp='W)',1l& 7-a=w6r?AGSRewGyy{~Ło9Aǵ%Tt6q.ߡ9D Mj!%/} H.#ƠrLTQ܌r+A+x_GIήf<& ttZ|Ni j <ą4~nEqs͙^> NlJ$Ka @X {Y՜OܻHj;BB?a!\)&3?2}pI#8L~Y{JO yX]ۓ[)7݆@^#sbaqq6s;Xjv; CNݷBZצݏnuuH#e +=ޯX\w1"cmd ?NgSal~'?3̬(v pm6'9GOqYo~ш ~;G>בHi;="^ -7ިa!|Ȋ!BؒLHzl ?OЅ3eΞ߄I5Faf+m/dύ [Z{Xv )/cA+%pFY!WrEphRʲ8R"RL\R}M\!2 K\o[~"u  L^o #u\:#6,B[EHr{a )9t{Jon`PnWIQ\ nNgYZa4661e9ddf961705a4268b04f0c0e5c89477a5fbccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178dd31a005361b48528fcecf80177a5bc26de0a8b50  HOLCF