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 V- Tdd ]/ ZF-Constructible:threads=2elapsed=16.711cpu=31.904gc=6.016factor=1.917zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό_S Jv&!;lD8Tm Z2^o}a?NV-<26"tfq7?%4r)txB"< ꤃`M`J[s#l$fղT܊-k*PgktȤ =Ԭ- RίR:+!?Xk>/ ! 4Ki{XУ4v"6HxEx`y~fֲ5bn1v~:[Yu<1ȋjufM|X**L1Vz^9ۻ!fHlv'g4%yT!U ڽ^bUqcY .F J~)_I8TW<-HV{ěy kd`zN~T gYZ7zXZִF! i]ŗXiɟ95ZrY!Zg>3gAKr5yvz.41a_gN9+6k?$V)wmA'f<%-LfCaѰjq=$aigNDPa$Au!1ZB'OT5ƹT#YѾK6/1i&ǹTM /'ӱ3}-iq:R,=F^ڲ_e0z !~}:[6o;md1VέCaOH#F FdL|#ٍӡyc%(g\nWextɆ"!氆3i~73w$ T9U5߸l6E35ԙĝEqE4$޸NEWgcaO: _}gĺ6D+X)yHԵ)3>e&@8}=F|+Sc^إ 8=! V*:"b:Ei:jo`n_.~a*yI8yN뻷kpVp^/6Zy*-o\6y?O~؄4['@<.z&Dq:|By>;K5_ wšO=叹_-cXgyj>gQ ]7}qȓh 9 A"lo m^Il*!0޷—x}k[VviRy,|^pg UEY/1LO,rwdFS!_TTߌHUBB=cB,>lF*?Æ.˾Λ8fYʉ-^W0YUיĈǷP-3/)RD)%Ia߶e.nt0$E+ 읦ݱgYZf6bf57ea39f12199bb3c039a635e8d719096a4b562b89b746f265b39aa07d30f95ec0c87cdd2cef6 e1f33615ded91ff31d28c00091878a43e56b4682 - ZF-Constructible