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 ~~3 4Tl ]S]Applicative_Lifting:threads=2elapsed=31.927cpu=53.732gc=3.428factor=1.687zXZִF! :]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦ(%;F`_M*B/l@7%lkVj sǗqG.P $.:(j_ Q.5&mvVW$Aύ= YoyXݲL0QBֺK#BaܻۭiKi93ʪ*٪:(A fNL)\JY8Kݵ'xI t%iY~}%k4x?I?և[O!9y bKSEߪiPs*+IM"(Sט)y2^RZ>HEQgJtd#VJ 6q3w|_.45۝bLUUa= HIqTn5F[_<0)Syޭ`Ph:qKJ"n 2N {v~A >8la4 t dNzP2`=H]㰐=T>{C }*`'[4dJS,L${R玙 i߭(!Oܴ6[^ 6AOF3 eiINp1퍙Q!LUM j Qga) ~2Cio$э4)7vw)vԖ|5,ߝ L*N[gYZ7zXZִF! ?]ŗXiɟ*Q?rͿY!?ID(@[YJbn~#ߛ$ ۹#/t:e3F0UL!_1Ua 6w*|Dʜ* ȥ#E6q9t@7/8ŷ| [dn[8UII b=Zox9)9t*#h /xB0r*5mhS08!TYW<1<J&:A;6K~a+l{uhth2 L:[pZC!&#v,CdKX5ʧyMTUL 2S05ۗj 9wKc3XH?7&H ćHsBJ4-{ `42 3]8d Ye!FVd9w ÀœAJ{+ 9Ih+ HGz$J(P||2#:iTRaC m F+Z%L2 EH},nhjv{vS*3a9^*CKIcΝ gʈ09n%CrpU'0_x :إvY%~gYZ7zXZִF! ]ŗXi%92vU6 ,g5bZ\؃Gs*j!s3&<)/>$< vFե$OGE%4U=gӢu gN]UZ0e |x@I6`m "ehgs" e`l[+ᠧ ]xK"!ifd0,3D]=& +eZaf[~ƛ#pUVNo8pqCBjSnW a&O(,?M_!- Eԟkϙ ⰰ_ "f2`V/:?ukGIG=-@+"<l9itl 1+0J횔oJ.bYh(s{Ȼ b{zl A;c?Oj)G 4^CUQDC3WIj& ʿ@2zg^S>|^zBVRӑ*%db=C<%gbXM<sM'K wԢB"äg$!)-uoVlwk 41C7pg:P`SD2 i+AHd!ByJo(MHijur%Ε}Y ͚ǎt0O^緶[yϩ_uR{,HE.`?5&*D 4'WR%nh,: X# QTjB&9Kuľ4 F]Pޘih=>;~Y4ĥ&OکnĤg7]g9|ݗ;9q