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 ' L4D ] HOL-Cardinals:threads=2elapsed=19.177cpu=34.988gc=1.424factor=1.827zXZִF! ]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(T艌B(;aN:ÐQ3J Pg֞ g}Y65 >8uDeA1), pbXS7!/붍 '+%&i:p'}CX"';YgJ-Z`ot@6ɼd/N,thۂu413VaQxٛukn >Pb2B52jf`?+Y~h =D%_bYh2<:zp(J8?it 8/mhnG*d?%iy!iG)@Ԛu~BZ,~-v^'W:y,Пzs2;)?VHGIy\)l^E˞fĿ?aP8N {{RN)|֖=Uh^e!$7gYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z ̪&ӷ+˘ڨ.1Nj[:8Ax<)Gֿ֑3*Zg!6HZH"`4޳cqjiC s;;4'[n&lT4ƺJ@_謢Y;M!{%Gq8E3Kyl%nZ Ҧ B"t:Hn%@'W4ñgYZ7zXZִF! q]ŗXi%;NHu8/[P+[Za˲msVgS y.m򲂶B0#O Voq xq,j ػc VЍ I"(&;}A7D3ِij+ hn?1$I AofZKWZgUm|co9MƸ(&FsC| -7y12 \E{'٧SFa(ϾU jZUwl9P6@P^a`>s=trξOM>l g|+ALH:k7۸H!snbdxG$Ḙx&8E%$Ǖ`B&cG:]cjD@ o"co ͼuFEq:ȬzpL~{QjJ LzmrzqDiΐmִwvHhR#UH_F"MG"B_#'/F>`.cn;V4h66Nb gua;hwYԪh@ 9rѦrpV5/M(I$ =&P:&-OlnՐ[4ڣGx?aet*eIHnA\en(1MOc,Q>\Ջs~mBLl (9W୞Y Z:C}gZ"1HDl E,UӶ|YQyt[b6ൠGtFiդQ#j"}G9mSB.)Nf9޻;%IW| g/?ѣ&ߨ3G#J2W- ۀм g#`1uT5 vI2݃ RD\CBR$G4 *rȓ'a+'"x< ;JÒB胥^p,31#8ńIQPW?sa㝕@~o^=t Q"CY8%koՒ7j)8\;הh[7hsFuHA-