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 s
yX ^=v 5Ξ}B#iOVW[ȕƶZ\t,AlHۿC5U~Z,U'4"n)9=es[g;(#a}"]%B5^Ek7d7:1:E?Q.@pKvr=g:0L3kr8XbTS(!2;gpP ŀ{POŅ[]pZ zO\5m HKbL4pE;T2qP:׈R6?buue0MUfHiF,7@{Z!+dBtx5ƎH `c\`1vT' j"EJCj Nyj=-5q,2L eFP ٗX 9I9@Ͳ3=,LX`Rj̚FQ q iPZ|M^+*T1CËt#zre2b g[XyIqʆdHx3R7s/Y; ㅦoݣvDl_[!d6<ߏJSdv~=ӖoqUͯNk 9W附C-d~ro"LcЍ-;ɃHdZ_3`)8h k fן8ט'1%hdL`jϟ6%T!B=1$@uaݨu[B7='S7 ibQ8L|6 k˸ HOIUꂀ@ؔ?Ig 6VKJFoxZe1A}BM}U^$9k8D0k9@l g 8)Ei;U5hCF%&ܚon€dW7Q΃s z n|rj@c-d넾njqJ3HB@ 3 AK lauL`LgcJR Јd,Z"nc- Y*hPxhbK<cǮѕ{:|a鍀%:NuiZ30 :8)a7m94U5X |x| l*QE^40ej-O.;}ixe'~hPF N@6GקRƗAu