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 A1 d\ ]]Abstract-Rewriting:threads=2elapsed=39.732cpu=62.748gc=2.768factor=1.587zXZִF! =]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`aٳhGn4SkY`HM iz>?N9ͯ`a]Y}[(D'V#O=d=OP RÙ)x^5ׅ/N),+Dgpg (7k^g@J<_10@mL!QPQ.:59YPV }0sՔOD̈~eͽE"^/)q_$̇spKCz% {sS*##4.*INwGO\TWc 1 Abstract-Rewriting  feMCk7Q/ҙ\t=`=٣[ ٻODC xBaZ\{)8*F2BhaZhYz;R ǝMA۹d2$+wv5Qo.^m={}oy D2e<&aUsEc_24+iWu )2sLAԘ2]a[8&zvΗ=YV-2fRO<%O>& *<Qo]m}F}<S󀔭=yy#A U4 ]g\ߒ~4Fz=}rJ`fXzw\m462nV-3#,g@Om%dI B^4>OlwV38miwϚs8r݀=;v;Mz~'\{Rb B=kMkgYZ7zXZִF! *]ŗXiɟCrhi^IxDY?Av|1i4Lz3xRf - EjUhtRϸUzԁb/EA,PGkbSpe$4p[t?TͿ֩d(tjb- hCD! MpX)&6±0 p[޼Q~F\J[VvoOa | x9wR8|IAJ{čJO'(lMz66I1NuhqD2+ g&.`a+\(u3oQ5+3^ww20mqXXޡkc~S$}KH^b-?aad#aS$q]*wq+j1I$K}>&d*@9jsTɶ 8ddz SXX;-EM{p^͌LڰFTǦAbP# ~̘XYY!0E"d sd}j慠6kqVI5 ԅFyLWvfČH\a">Q09])iiSF?J9I",Y ޵R4gClR7T&|06G#o%9OU! A;F^i;[w~4qĢCY |`y^nbc`amNZMh4A$'PF LTwCiqjό߸ԡѿ*HͩW-žqNuqoje^=C۩ y}A x`Ui[I7xr WMy{8[<ێ20eOY}x/n]Lri{U !=ڥZL2Ve۞# 0 QZqkBȇ8l74i-bD߁b1&Ja& `OH1B?֛c( u.䋛U]5Хj>ġ;'@۸*if(TS>~JS}Mm^n.cB`B^yXxE2\a?#Y;'Z!G1]jǰ]iR(M~bQy}JDkQ]*}W[ɸ 6ʊvjeeh{y̑FSȼ8 >Wr\X,І_B3]iH1 &03)$v)SJnaK8 X,,`~C6͠dPtݦuI"|UѸ40cvnIZV){̢KGlqNsBiHS'*o a(Y٩2r\0qexB?anmurq%se .1`8}KU] Q@bHH5pH `Ex`c[aTq*o{N1wrjeW< +z3ҦvN|=4m˜䴉9#d·7NM(n7rHNP<gIqQJzZC_ \@eŽrw Wҗj5ԤjvnHt^cwXTA&A;:`G2~D zG sZd:{%u[74譆,5jg"͎ p]+b*އ4&7B^{4Tin}t C28mϹ v*yMOx^xe- O-KHZԠps^ǰ4RJՎÂNiGU?PhYt7=Sb'>]&r/5Nt;>vԥ?I[$U`([O4]g=#">B=v숉~5gYZ0242d6ecc3774e0403e3b5019682373fd8e309aba70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c2707b3f87e5cef0dc2f9e6041a030f687db207d1