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 ww $T ]% Fermat3_4:threads=2elapsed=26.771cpu=41.220gc=0.756factor=1.547zXZִF!  ]ŗXf1-/6vRZ9Es˒<=JT!*wrw_ZaLZ?j=`s9UVv߃oe%O?J+4tiXlSfOy!.`/)5\}npXOj8eTkZ:qddrhea! Y)JuAɎCPHdH䡓|9(ہ)k!awqāv~`azثNS#g3N+iR`2IY&=/ s@jX5F[@yUO-ύ|6?H1maM IO9m]IӒ":XG4k`D8-i-)͗r]7;-v*<}JH>aS MT8\ 2&[#mJZyDy#4Te]_'1;]'XH%HPOs}&e\|\eP}a -Y9pIPu$3d룟5w/IeU6⢽ 73z|{[,/h3筰@i 8_Xfv2g/dYg4 es8^DRgYZ7zXZִF! c]ŗXiɟL׎̈́>>^6:Q8MdxeU2!P9-@䋱}܊o*#v<;Z(kM`ׅo+.83R45gYZ7zXZִF! ]ŗXi%6SwKt"v@l%dr*h/[ ^TR:3kB>RDg+c(\7R[ uf-+b0=󥣾%h`zbn B4fܙE'-p{z5!J !^98^b1jgHeåQiO'B0.fE9BAsi.GÝw{s5cei@27[xgʏ'B&pMh 7E-1UIj.@o?LOW9ȅ\fNB9vK;[\ەy<: Xq}@)Hb+2gyAp~SVfN32e³Dki1yjJ$DŽs%|![R,1(,Ɏ~oW8U nή]|FB'&I;׭ذe%(:QNwGQ&.Z۸y-{Xv'Kf_0MJkұЎS,$샑΢"6-ʧnJ.LncB=_:>Eđt/?GJ;-H2S$"qԌ9 s]'8LhJuv(Yw$!8A:$I%ϫBPR'Ug#}%ֲrQ>pL=cy ;Lis.b-*Oo걜ytv{v0~nK|$KDfB6PGlEN0C ze8=aevf W5w 5@U,z2!sVLH=G2 :o}JWRDttmaNL`ۙs'4}lŤͳS_%P JUtN g٣g׉'*7 7J&jJ<+KpbAom. uј.:4=/<ڎ>Kfo Ӯ.%#{NW,AWu$vu(3S%|+h]tR6eI? 74a%\<>bo,;$eX#i4#d*6:hWÇ#4_M*^=$E&Ǎ2:t0s4@FQ w/:&o{I>ٮ,0opR9[ԯ天 `7y?PQ*  %pgYZ5c34b07ad5c5c1445cedb6d7a0e87c6274ea5b73e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de a4a582c77f5914bce478dc96077ac6f4236b038f   Fermat3_4