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 y lkT$vIJyDG<,jɋ3+e8p9j(Z^W<_@+Ł`t'n mfG)R==5g[P O8"cgYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AV>/$WPΕ;d8ߑ_}&WA} !x=,'Ƅʜem( ;KfP`I&,0W(]5 oWoIwU;OOSMgc ]]b7gIX s¾_UgC?lۈ5ͭ YEDZ 4e!ZU5K+6|1:o~Q+7vyO|"L c=H^L`E!^z7_ 9YqcXM/RR݈3 nE+ђ bz;HF*R#9isPmn𺐥]C &]W'>B&8umL~O ` c)RSb #ս9_- E:`¨n;~ ;8MhVLۑP7b/ g_00`"&P`.8nsD*%'QUV$ WN4')F #W>D,6 Q|"qWu3!^S1|\@ ds^УK)9ǏtN@zj.!'ŭD*籧Q$a\3S~Tzqzì"f+} 5>ejJ|,O*{]mFz9ґHfÒ'e0wn|VN>vcgMX:$̍껍~1)*?MQHYd>G dP?+2iR<05 =b쳫8;qSkYh287 %~I:w+: Q{[џN5ތ&c٦+Ҏ Lԅ$/{ޜ|m29犻epRaE:Pt٥G,7/`T^Zsq%ő>xøJ 14a>E JM؃A">CQ<5.ٶ SH_ɚ}d[= ] M">Kq|'n]DXbp4c7r0'>XPQ~F楄 ٿ25,,ﺘT}<[f PxՌ9~wV1d%%rdb,@P / tδ5{ƅ<^:V|&~J$.D75nuaE󨹡Ⱅ:[_*P@I]Q`8@;?v[U~n{X!7}~`Te A&lnPldX?s3stp\h K!ҫ_s'ϊ1]:h`W_D{Qb][)媳cFd5u$Pz\. ́&Kj= ,a9s;$>'KD$=EYʨԆ7y6ИI敾]ҊRh ,DlP9*.ӄA57% lXm4.E00#ZWtCgr>Z7+sA@璨.SVzYtCΩ v~on푢k?7K\B6mƅi"vVڀ Sg'K;#f`ozdgV~BftAa*v ĉ~ІRzQgW\L! @%X\h*d 5}ф}_wЫluNP3Ń ^KN(&+R_?j~Cc %B{{StdŽU쯭6b8Ń(>(dKM%ٕ>z[i#&So:4uq@C=䑜w[C$_b_@mC6AcȠ`F2 S҃ta~qwĜs/9[m0D)֖jRH.*~#f}C<]F-=(HϵZ@j8W S>gYZ11c037b09d8aef75fe93f095d07d4fda7337fcfca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8