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 r L ]S]Matrix:threads=2elapsed=44.612cpu=78.748gc=3.312factor=1.777zXZִF! "z]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیx vcko"W b뗜NnCQYvk(z^fʵ3sR]+ #;q_z:'i75ӄOEa*bKL32WP+QCaV[~teoμs.$g`)p ){mQ;C?b\rE f0sLm̏y-)yj63q$UdЎ9[rW5a_6d4Ȧp)U3fɊc< W"$^-+BuV}2侕   Matrix.c:S_Z$2hk,1x˫"a* #bQeD_:9j#L$o1f`%=X̟+žK?(K^#\Q )D0-pN!Ȉ?8o8ݺCRFN` *eZQس!\[z6 gɔy'sO,~D1A0_4Q,0f5dx`8 e?ݗhU9؂jFqMbb*rayfu=SAQ:e܉%XyK _ Rvkr?^OZ rp,9<LF/h:&QOG+'9 ǠD4GWݽ{܃d<'<Ǫ^W&YYW/u%97s%L xOm\>_$p8J}p{DH:̱gYZ7zXZִF! ]ŗXiɟReDH$ 3gE= >p=(v#\_ $Bg )I$ozΩ'NάG T{;Y"t[9=|e4!jj8Nl Nzȋ Qp L^}%,sgT`Mh&'Y-WUWP͇%Z{8heuZQ+hj» d9h:s0t̤UB\@"yR.*_c]:&EM3؞qEAR2 [ gq985,(D\g؈ \ܞua7;``Y-kht*USGs3T +PP9 jjG^9t8[Z-M[^]x,QvZЛL1,"DU_膡06$9K_\-p^ucVOg2jh@Zxo44w,30w"qn0qJ3^Vrt'B=I>>п>ղW̒ˬP=Sn2Ccd &I!;!{uZF4h]{߭F3$]/!l_BҾͧaF_1dP]lz߀,N4%DZ|k?mFZ͞G i xyM3Ab0k&S9p;`{7Ss֘-дZd/cȷGGKM\Kx &[۷ML%>T\\9Sp* ڰ\@+n{+I%i DUoceͱS7 h7~;Fw( /T|h<̄])0@eTV#f˽?6{_+Oy|~\\8?܈?eB^lC=>x{|^o2ch*hQ AC/Vb^>`@v)Q̸"ˎ$s #&VHj…a&Xԩr c-@nZMNK(* n'x59EF <m=(q3n*4['- x wMZn ޣY .Ћ'YJ[.p_m`U0R=4@'I[-%eC?7@7Eoɏmѭ!'k2&e~*ضɱ !G!ҒzG X[`.G%lI-mk \܏^alH