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 u |L ]S CCS:threads=2elapsed=21.673cpu=36.676gc=0.924factor=1.697zXZִF! X]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1]ko "i13Jb5V]4V0^H_n5?O.+"?CȀo-a"GMB kIn5=c~iUpxx [vf>F]1yZG Pۦˡcvq%[6dݏ$ʾ{ѡEgYZ7zXZִF! p]ŗXi%60nr+q;[᳹ :NFyĦn+ZTe\ӡq/KЋ'{SNKª(/]xeXOqp$N `VClSI<[FC.NX͙fE[{1OWEcny^HLO=UL-f?醍xp>WIjIvjdnj#daǰ e,Zg$k~HQbV$@%<4MrVT3&4*tADt83jRw9L8jal[WGY ss6Λ2O| iU7d@x$tW`ldBQ^2cߙ10.;Ķ։ߌ.a" cSY_Inܰه񔮪>?*;S6HdEؚ v:N$hƫ|Ѷ*8H&tG.2-{G}(T XGO>G Q6ɘBs/ Ց7 } 5I8}67)̥ 埡_A1؜ kdOy?o|Ctf/ ~4C!UK"h ^n=Lg 9z%X&8斉υ TjA*|t٪CqALԼQ6x NF%D@=-2폧.@;.E|*ό T`E1k4<z_8@  ƞL[*N(M1=gG8=|P\5+0/ EF6~UV0ԡnEs l怲`W֧]c>A_ 3"*Q30*'IӚ?狱.ԜG]Ok~G.1PD rਪ7rs, (ӗmSYQzJ(īD2lz|1(!a=IڟH+K8.1]שG:wݣ1pA*< !P6t+#x^it,zhwms(ϖޖ|8"` Fr[C\Yb.@ yPp:P{TzY<ա 'W?n)3LUW'Nފ3Qs5(gl"|8j:՗S,YS]7GJv 3Ƀ M