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 1 |, ] Separation_Algebra:threads=2elapsed=18.818cpu=31.376gc=1.536factor=1.677zXZִF! 5]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 X䭬,: . }s><ro^5oT;>lB{IbXi6N%M 8Դ)ޘqSϯD~FN?[Zb^k! n=Nd#\ە CHca t|J'/m^/a,N{n@%Kyyn>rfSn{P>M: ^MP'@Z3D!Tt*{W9[ѱ>n*']1*)bHPCE_PoSmQe`1Y6Xqg1];1gmCh䀚ak9=\\S OϹ/L^>C8& hwnd0$&?۾3$jQoTכ pFL<% J5PZQπӓ0R?sAsmսunPu$1+LV<߫]cҰr <wKf時Sx./%z~6FL&䐱gYZ7zXZִF! ^8]ŗXiɟ1S:J'h?H6 #G7sx,'R3Ty>0$FcQ5mL7Ƞ8A Q|TnysS1߈@n Vf9ae)ĔzPugYO²qvݒtoٙ(S%p:Ed-Ж$/1< /UVM$*2qհBװ I'ax$9zP!RKF!,N{-x`uYP-}CEeWNQ^xRC})ZK~V9qԯ{41*ƆpjHФZo1I.1@b &W\~[]8}ZhLO{3C~9 Yg_2o &TB;vaD( nY+n a![ԏMxwS-ʟl12DEA3 =AGm_,@a"W?ճb߬6'Rjv]۴sˡ𵱝)B0n.QaޯλFzh]iiQw',9$Z?趥VJh(Xw^˒k?oJV/|g ;C BHPc5Bb$w3&@< pdtCZwb(xZq=%ZP-&5:[^8N[ n1QM% 8 jOEBq}Y:HayRs&,pT<$e|7pVkƓvȡ7"_Y#SZaBw&i7X"қk.+eJ\xкܠ9yU<`vlጃ:eGF[g;:؄KY5 2g %n"bi 둭Ÿ