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 %%X1 L$, ]/ Finite_Automata_HF:threads=2elapsed=18.675cpu=31.644gc=1.436factor=1.697zXZִF! F^]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kl{5 U֋ \F7 .@k!gl<C>}l\ާ=z @}ܗ.FrHHJ)gya >Yjwrՙ&v>={1򊵕F']pmJ`'%߼QkW|Gt|n f7 ɶ|tW5#6Xjz(\ښ`9S$`0n{㥬ŏƈ K jS_hFO>SF<-mck(0[RIdۂW.l]yxdJ#sQ0V KeR_!+φN*nb*]\gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{.!#Kd! LFw6J j g8ML>ž8kD/ɹHŤ *shv7qˠyQG.*QJ<7eV||e%֌x¢kXU٪{cyȒC1gYZ7zXZִF! g]ŗXi%>g :Sn$!8kY?"p Oif*8.ݺ`T11tqе1!!s ]t^4^#R#d"6 Ʊ< Iqn֕(Ĭ'܂6 X4܋}&՜pK\D@g./|5$>)In$% VN(7! M1Bvcl<|?ow;OZlZK|CA%20XwLݭH\a PA]0(]Ƴ R2;. D'aXբ.Qp ~#wj[6:]fٰy4__)iy(H廨g?8sEa-pFH_؊dqa4HYo* ~; B Lggky0 O"rWGiS'B_lo)EJu/^Ign$Xz.<̒GAAz"C(Ԋpc?X)%)3}Y-NR Y%sNH0SDw<5KH=K_!y M_ )%lJIϤ+j}\Q3>ܙj0 uVL(ZOuE{'@QP#s Mu=.WoKʍ/@:,:4߽ԶzZ2UhΑ[F7|dg1xф-ݎ9縒cn~k ~Ah_DzFLetάOfc(#ݲm^ڵȧTg>PLfʇTeJi ~PnJfLlg+\E4wDs4 \?Bl&@ عЙ)Rfpu69 _Dr ݫ `C䴒:5ⵁT-YTacoل1bF-$X[B!I"/U+4/fH Kbm 8M]LMg +=@~v *I^W۽a~'o˰} k7f#HD؄uH =AOrRNu]C}PfaTwvQ%6M龔/5G~ 5uܳmlq&/ =Ci c>@Fk]