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  z 㕐p!#NгX 3>@tC76]%V^|m-JRj+Y'KDWQ{JA[dmڪWCִ*\ e騦o m+*1lG. NcDj[=wq_<P|6֑&\%eUG[P_7:2K6d8gr 6VP:QZwm@r8A;7acE?,G4̓2 ư A#z6k\8zX-lX]M[.&k޵]%aJαuSVKQڅrrƲ%I#^]r|(+{}܉FEyg(. ЀZY%xh3F|iM)\~jd^ L TĆ.ϦR} ܹ gzp.l@ %Q3<18Awe⸀qϳWc,Sa`2۴6 l |Vwx$t.z_; Jk"Pgvsy^j;;qwsT`L.״TʞG˟4;0aH3(?M^*d4m^+"׆/7i+]-&. : tƯO0SUy:Ȗc85Tv "YdӿQJ*-,D)K/;೔NJ3gYZ7zXZִF! ]ŗXi%6ב &ܗK0+E+ɗAv G3%!N/LA.0q"@Huw 's6IOјr|uaVz] %6GL٧:?KmE37 K}Fʵt"^mȅB!xn0qi8\q޷k"#NcgW-& GEj}؜QEi2]j} ˌʝ#):|72׊Jqa^UyfuwΟB%c=Xs/MXqE*i!|8gԦ p/-tnJa]]^dywAكq%2ZfzJ(jsP6M[ zu4$+@,Q.&/:펔gfnjA+2 aHM7PZ3Fw4Iҹ8`)aWCLϋє/:zr/D< "q2jfn3uiA_L釲6ju_ r!$DVzJ4̪9z@5d*M^3(xpb &!6Ϣo~\0T#N۷FC~HX2c==V`-\Q-~J6/ Ln㷩HQۓ/$Cz*kf%o_+ Ff;9<*/ ^zFkɏJ*!Qi9 sj S$R]/./h PzX8rlr& e <9.xVÎL`ʕk Wz~@<u;xaaܺ^@ݕɩbݑeugMJo>Sԕ)i/,0,;`R:,xj KX3.2 8"I[J6Z&HFx@9‡{&ҿFWu}`I'| Dh+|cO&/gtǖrXZ<Gh# `~HSyu`~0%%h*1`DK˺<;bp5 t]MTH2<:"1sfgp6i6b t<`CR;MSi|Z)PX*k/^NT,}QtTx<f4pzf2nNv Z;JtNf/;f5aK~lPwrr c503m< =r).nHĊ?>{