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 ll# \ ]S Shivers-CFA:threads=2elapsed=30.665cpu=59.332gc=2.744factor=1.937zXZִF! ]ŗXf1-/6vR[]u Eߑ=;V) q4?%]ghW}=d+`_Ǚzy<ը(NC?/vU"t3%1YFV ҥ M[M  YjBſSrPP".KޑHzxNf4}z/U- Y0eojPUQ SzoT"UGm&Z[t\*Ĝ=FBږ}'! 3.)|L?ugNvք)vTޫ>uʼnjA^PN/ݽ3.boMȏZ..uٛmt8պIEdžNʑ$3edcAo2DK9#Io , ! P`Mu}7 ndM;lf*^ÉHT oߏ5&?Th$2,'ŵuABeiw2cDwK`v [gS5d-vGbMxkڌȘ7ʓlmMYrw>^b׽Vh+ƙs^\zk/`SA*SvfU vuLq/LS̟1zp?{g{Wzv_ +NgYZ7zXZִF! ']ŗXi%60n^&aY"p3m{cR32m Yޤh}{Q +vP7/`P!|~$*TuxWa]QXߡԜiȕȲ1!F{^ cpe__TI}tˑH"EZ bu M \<)MC.ާqR  j=3QeB铎ݘS㣭{>eG38@W7q`g) SX5_6kS^D]IKjݻʅmbᡧZ+Q#Q7!I-8meXK@rZS=J]PPG~M=ɳ\ { ^}nUU+7G ^\ݠ2D qWKD|#Td!u\+>6,jl_ECxWWX`/ŽVbadYY +&B.oJ) ,8eI7VU-4zeq 31\d@=H.&îx7QL-8%Խߪ8UjR#$bT.0q3 =V4,-敕ż]AWL)(m: d'Z9&O "QPz8:.J̺4xk!]H`M)mj񞧗/j+-roFS#JmEwHnm#KKE++jJ q1 OLe/m7 |jPCL Xb{/#^ZEABpudq\4ױ ]< !7u""۳eju,bcR~8pa",zjj ڽeS dP-E 9@A`3Y:b(a(CQdatq^Y5Uʃџ}/8s4VnJSV?'}3Pk8Z3EBzm0YlCtɇT7ВӨ# ЩQ\zWsMD,OS$lBft䞁 yLl+zn5!!۶f7FKcQKPI0Ch*.'2zw4XpoX&;boY+Yias;u&6_trgYZ3fd9851f6b4aeab469a5344e3cd0b678c78bdd8be3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 22fb12ef16c090cc7f2a1dc50f9e311e4c0e0ca1 # Shivers-CFA