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 m) ,, I/ FileRefinement:threads=2elapsed=10.726cpu=17.620gc=0.152factor=1.647zXZִF! O]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T| F,XW2MRyd&+#Q3Ms巭9lNDCJ-~kL)6P.T&{ Ex[F\aȉ`EA} GI<t> 2BpںI(Yb ,T9;ʏs{G@3u(?Ŝ.ٲyp!SW uRfC.Uf7n(+Ri(M,rm/`Y`ȅǨa`E!Z2HmcDZgYZ7zXZִF! :s]ŗXi%6xqmBEas?WjC"Q :YBO_m! K2?S~aOVh}O&eS/Q@JM 9뫍%b;`4AqKEluXFJQg%G+[h7ߠ2`:`Obt*?7'NPk"oډ !r{ˊ4^?P}kFTHAƯlӢȬpnRdS<] .)ƈG~*0}nSt.>c>mV]mmjnfqi}̚4lm3q:4IA2C"۔3Jjh0^xc &E2[%@1ewdw?fQVpa;,rHGt=e6v٬1z #v$^DcM?4||_JjzeJåpʄJ]ru]/1XnhDʔh: /k|P1[EO !