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  N N/) L\, ]/ FileRefinement:threads=2elapsed=8.297cpu=13.688gc=0.100factor=1.657zXZִF! ]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T@XŀưNQRZ ܠAxdl&I^F:bUf4F\ xgV۫AqPUIt[EX:oR~袴QSR~7[_v32}Ngז#M#^g6sFj_%AS ڛWY8 a]. Hd{.XgYZ7zXZִF! h]ŗXiɟ—Uޘ[9F0+0pClUqi]Pū+{n%<_ =EфR旷ĂEcoY_Xj$g3װgYZ7zXZִF! 8]ŗXi%92m/s`lh¥YPʙ1|h}o˂8PX%8L#Mٓ"!-UvSϹdɪ|&*JFL`Oi1kU-Η_켫`%xꊻ^?Wo}T# `Oy=,iKAs\ƄVq!pB,Wf$[$ю5?9,e̐*OލT‚tf+. n) sQ:eYx[8􆍘uo6/J4hx?ا\=kZV_>yM1 oPu^XؤF,K_-6+ien <$3%ϣ焗f7PуypJssygb5v5#7Z^v] Ź̘6aدBP G_a֐UNA%;2byyS`˰(> dW<V??FBSzS%V+]h' t+\aeb,sax"dbQ_UӨ' uM%_H/f)V@m=;_ejf@OØvJtFbnx8'T \t,.XŀV$'<0G=o&|[ _#w˶86Grg:8[hPd/}g~`-&bHdAҵ}jw_N%V܈Y+ٸv?K+xD1'Bt-98MRxц+ǠA#5 ϫaMUCu'3iiv%ma\GtUpzX BH(Up9VgYZf2fccbce7471bb3992be928dae9b0a1cfa2e2c850dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a ) FileRefinement