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 0# L ]% VectorSpace:threads=2elapsed=46.574cpu=75.240gc=6.112factor=1.627zXZִF! &]ŗXf[&9ޗepz,>SvK9Ofh f:un }\\*-bT{nlq^׸ 70ζBV6<4M Lo][Bo+WV1݆һ~ ;[/yT (t峨4F9ߠMWShRxDT(8FvRy3s]38 |8WH6lZ~9Z6*ױgRUBw`  }#~dޝ@wMu93w wR‘D=X1|Cy>r^bM0S%5٫zzC[Ya?8h # VectorSpace  ʥ^iQzMYui,o䴚w30c"񩖉?}VF> qX<ط/ L*!&QXZu aە^FbJjP`=roR yD4y-7f?dFz3ZM`%xkkÒγ8/%89TBdp/+s89O`ut!6JqjaPZ g#4apfm{'qa{cwf8SEJA`6Rb-.TҠr91c+}ñ oA$!⟵( s_~ƯBG_p˲-aA@dDp1P3M$kV00^zonFSO.+@sM= Rc< ,%^d~ޕRskJ`|4c/JZ :Ըw ZK ?M=7gYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({:])|BaN!Y-wФ˘!J(==U}Óm]2C)2d;wz\r2q-ttY&n❧LI s R <|T@nl73>3Ӻo&gYZ7zXZִF!  ]ŗXi%>gY pT j7dLP:kpx1&ߝ,9{ĽqipĽ2(M?[ "^eT/3? T\8sGWVf Q J/k&?`p~X!K=.;iXE9YaXMiw% )hC|>=` u4\xYd[՟?xLݘ(Ɇ5~p-扂MFx[J|^tm1Q0I5vxb@xطoFxQ,gq?HO*# )S{\S4}fZmvKj#QsnhSꭖ8il˲M+dHK1I%Na?'"\Est I KoE֎W(].uӪ 9Qh! saoA{aVn𼫲%:Y6I=1-#%=9DƋu70ށe {ҜO%xsLgpSΦ<аl˫=`7 Sb]+^!) Sa& T&7BLڊ:BpC5$qϊg7;˘MB0aз>eJSQ 0 hAǃ|2"cgwozDK@JBsXD>՜l#k8: ͢yU&faFL 'W:V'51^SW xڰ)p̀J1B6=x#1 1G7J]w= ? N2N8̮k"F"6I+ J:d.ô@yQQWADDY7Q݅:S:UѳaG !# |SŢ{<+I9Ypu֚{IJUgpܹ>9 d!<xP.JN[YӨ g£p7n4uSJ"d%ZnWg"S^vo*5sd)aWv>5AP;ʧ&ꐸwpɖ]ƼK'2qD1H߼ 9aw $yEӞlK:ңƁJ[Vǚ;n2}r軡sf/ߜkv`흒/RiN痖 Mˋ_!'{!C7X)$# z3\9֔ԊrÉ̬$FƅQ]МU94P$kE`@VP9-̎tZqζ- P0mB$b[`Iq)0w(8Dc1f(ۡRޡt'$m3H`Xm8np?4ZO% L9V+#Hr}ڇ3+"iɯ?W/_8_ؿU|Zuǁ4z*h3=aޅw!