SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 LD /]HOL-Word:threads=2elapsed=23.074cpu=43.844gc=1.796factor=1.907zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z?DKK~rb:;?--Oh*4BS"5YrRCEym,˖n[sw{~Ju.0tMe k`C IG0p}>j =p nNL3K:rT ϊ.&#D_m2`nU__֤R;=?ߓE6br)Lr|iiU׏G9RR@8שB-Li~M*p,ٙS5AӦb$5>ݡx9GYWNU6,Ns3GMRf 9 P*ealbdfU,dw!O+^DKt[8-ҴW n>mǭXc_]PyoOP. x$e;PSEL˵,N0VPA/_}3Nb?0֚¾Ia`8_[s3Ll[$V(VxݢJ-n@oGNaP]څ@X_(g/nfL/US-g{]#1+QGry#n'u. ͷsq 2%ZӮ0i^% )k#δ*+xٶ+^dgYZ7zXZִF! |]ŗXi%6 VɝPvd(- Ve")ukOX]#^cX#uG2Oog 2@X+^?f_9EX!L)4dx BU Qg|}D FIOҋ˂r9yD]bKr(3 0zsE]S.cmb2o{4lttT7Z˅[%%EG'k8# ?)` 2'O͂dbB&ܞ3%cirz#VT! A%$C <`prm2Vm`~OnERX.De ^zYA欔.M34e=ݶ=rЛT mwKSmp]8lVeP;I1e3t1ÇNm/zLx*4 ߌI1э#~UԚbTf5}\)(M ~)7:xPz!*fR6](h]Nq%Xҍ|ۗnSvN2Սx9W\:lnwi Y2“PBe:2QiqU75ݠPN%j횺^ݦ^߸C W2ɸn ݏۯ]?[@eIW2}c`MCzyA(L64]%59vx@,7"g$]CxvWXKn%׍3 !ChPTe ~BoO~AexњWGID ]",/"gf{lJ5d5U 5 !bV\;3ءٱX'ǂ95fy RhX 7v@ⵏ,fapz5R!x`=I8: _Ah Y:;€Yus|L2_uA7 .LCSikP]c)Ր0VR=jH9;@/Pq6庙\2lo){J(5`xBf.kJ-jk?w0&x+{uI+!TL#OxTt-֤gqn@aW&GePOIRԿM.Nf=w^ , _swUƱ 4QK9c]mȪHq