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 V# D| ] Rewriting_Z:threads=2elapsed=31.452cpu=52.596gc=2.300factor=1.677zXZִF! a]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nԍ-~ hwbׄ@@#k){Ǿ/ +~s2 ~(vk/z᯴ģ>X()d8Q%t3)p⇚ļJEF%#(/B?¥ M3!m/iwl37{ei&v;O8οSn&Ґ S:k2nQE;ղdɊ @)p'*/*dVTQ1Z6-* (B*=\7$vjEvL;-+'ɺRE- u>@ F^p%Ly~ode|0jf漕#mv۫ }6V;%HnDT߄ gM&i/B7BiSI,x$sq(̅u* 5UwQ}01N" nCi[=R=* 7ud P䝊 a3zJ%_:8dah)L=ݦsP'u]NaS7k``Rb>Ic~> is&E%3].VkNugYZ7zXZִF! ]ŗXi%>g>dfx$IEDCƘn;'bj4es4&FJp/49}ePń^s68_̽جM$^c~*ȼ`*i},3ll@NU V2u[amo $sMUk+Ӥ7aBDjQU!PÅv;ǰ.Ը}Z"ufT 7Mz,wD0]BX@|hGmiFK^}ӯ͇I8J(g!KvMnZ\.1xZ#PV Z?2Lv9ݛO8a@b)6"zrn-D6 a+%rF1^!M[FWV8Wz2_gHwm6DC?[{)i8]MGl$3 6BYK͋RȊ7y9;5T^ɝ H1?GBOMs@ ;p3<&\aqV9xC-JvAw A dO 20Wj?Y閞Y皶bϓ}>CD(Z]w )3!w$? r(rځEsp(P6V{98[f$*)wyT*2;R.`7|5>U^;#ad:H12@JغSoXt5S?Ij(o5d2evsa$96nUFJ;}k(fC1|6.kM)+.vzxtR7Pzmk#,'8F]h 7̠ /kpY㱟;Y31qHv=rKb6/> ōM{uI} 9$(97_*!HS2P-#.gu=mۇ:eь*!GUR|:;ʸoVEE W(j{+F+99e1n/,qʿg3QQPx1V糊F`ޢ/a~Ht"׀Լuo'r_CZQѧ! {mRKpE~e^Ե9bݶx+j5#%ӂ}m,RP& )&u5d؇l$/PY bOpTdohh&iUWZN6av XS K:߰ͷ^`9әCp1=n2z1-ah&qe8S㌿ 'F \6~5ӸkBǠ)ט@>X]Rp#EJ{q'ʳZP{7 %q2’ $<81/!F3|8rM9O{JLpZhRvT%3^`S7NN^M1bƳƸ h= 3;;%v.5YPL# ߭ۓNc؍%4SsBXȸH[ 푧IhyTi=-Y8 qyioȷ7,lsdKqZmǫ(DD%JQ`zz[܇k?-Tf}0&|++;fHckh68eZrs0쾖Scpc S^כ r[C0*\]B n\-/%3cb5RMoTV鶩X‰s@. hDI_^8ev Ye'C-{_ΣiKgkh1 0@ߘ.\BawȐ kW?˅~@I Wb<҆{BTlD-Д9v-4$$4,i]2.V =%_\7YhV;PF`Û;c'%qI"| EmMH2H76:G]*y//A\L^*SʏPmyQ_5sDgYZ24f9dfa21f2b438fe8f2f344ee38e37659c976cf767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 46e72fd61662d4ff4571aea01ecf830954092d3a # Rewriting_Z