SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 #- 4Lk#[1z%a_:+G%8鍮h|L/%Hσk3(|JSm D'ջ^70 bYe%}`؅Sej;4zraX\ 8zZU6YVNyz:}h[8ԬnVjP eROTՂ] Ght'Ol:~ ڳjۦ54VFY"ԕ>2VxE9+kP5)bd 6ۧ`)׃zԏoQ7XC'DY<?\T9ߖxi0-~D\Q/`wb_szꬷ~Dę.{# /.G&61,ڶ 1 tCtD]@jS Y!'j# 3>0>f:W8e kI DށczoK/=ݥv D~6oC_9EZ)dA9szpD\I:FFhfHH;YJ2~'>qqv]Χ߳#8*۫u-!~"CU_nTAq#.geT֭4߷M.jjl}ṶN,ykS;5},gYZ7zXZִF! e]ŗXi%> 1JB|=eH7n*O +MϧF'D|rF/xK;>+dPcG y#^kDK>Kn_*Zjybgy" W݌JxV<1q.$P<"~ 'YJ*Q5(Q&pq1† 7`JY$p۩XoIC:5&,TE?0[ES%p жyY yRvcJgފzM\;VQCWFY>LBo[ۅnkl;$tcVc0֤(l70lآ g ..|*K#)cB3UDp6RnL+ZK"=בNC^ٜ3:fQ QTp l3A9nD-6Xm2'y_g.T CgΆ`7$ Hx Wj8/6]oz/}*q@bԳJ^_r;1MR1Ctg Z = A S1c(񈐋1&@.(C-/͹1b;3oN&#`DoqLw1aƋ[4ѝg'hS'6$|zi[o'`ϦI~Q*Kop+de~  %cc0^1 G)e_'Ka=SB:'Et(}ryK!/(e %H{Z1~2