SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 xS t$$ ]/ Noninterference_Inductive_Unwinding:threads=4elapsed=5.350cpu=17.700gc=0.604factor=3.317zXZִF! q]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKnϊ;MjʺWwx* f"E=کtv +2@օ%Q :ss*ICpQy wibb-Urd{!6HL[ߥU%R$qvYX][c뀵[6A%&Gf3*d%0!7ZhxyӼ-][3\dy[0}U4;_MdV]l.0sޱ . D\[jL.8&q8LfaT=-sB)?YuL~N (gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfX]qkwmV/ٵ vۂj7%e.%J ;)-6?gk3].ڶQFG F Y~ބs0n)~ 쉼M &R daV:)XB⏫'DFY ZmWb/[^gYZ7zXZִF! 2 ]ŗXi%B)\Tj@HHCy (X-+ Fu;^+9 53R/"!n{AbC4|^DŽM2ϠzuۭCK>r\@hU'w1 V ,#A G8cTY-,wuHǂ*'653ϴBi|pfeOL*t,FfL;\}B7g~fJ1JfR%Bc 9 J'9)oaހe%|6Qd+zk[xIήZ.q#O=wmY̻;''U!VM,[ ͡gu ZZ㈐jë*+Y4iz9#\b%xd_82:UO9zīʥwitq ++xK$WR)#$% AX]m%qs˶NosqP?19 ar h'MFq޻c~L!t AEk LHc '8%!K^ QۋEE) Lz.DA{B4쓙Z%LM栖ǣzЁ+լ0vWa 6N o [{W="$)͑0Lg̘@¢D2.DF)f.,')4$YDO JJʿ/ƴ1)m=fΖܧ3(d'êV{pXݒU2ū-[K2? ZOSᗧlأ9