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  i1 l, ]]Abstract-Rewriting:threads=4elapsed=32.305cpu=84.040gc=3.184factor=2.607zXZִF! #]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbJ4̆3lntbp=+A146RneU{|ۈ7@6YV)pbPX:y~% -EN~(ÿh~ѕ+Ȝ㽻B7/{7Uq!$2{'WʆV#@IqP_J'س_e7H􁖳0ЀU7(qM2r:p(@# {0ݛRK4CPCT3R4l[4{Qϧ.JMA S!!L*hnؔ}ŸK\VO9zYeha,}Qـ:so_` )P(|{#wj$0Ouúi V'fg  1 Abstract-Rewriting  .* PFX5w46;?0Ň/O^fE=yIXXZVBJ1JAjTA+i:^#-8[h&qrsδz.uNU~88L)g~6O6C}pGFz0(I(pC-nQ;]ۼ V-Oy D|5HU`$?q9(";l)W]-#')- NFbuIgYZ7zXZִF! ;]ŗXiɟCrhi^IxDY?Av|5ZI J/KPmSo2rYsEz(`x= ,I- K<^[CTTf|T [E{{10Rs@^WA:Q /c6WΫOЦ1er+ 4AXJ$Ih\1w,6A&F&ٯ v5`{9~e; ߈>O ~Lܽ,~ԭ0hʤ# oϺ 6%yXcC`IgYZ7zXZִF! a O]ŗXi%G:v꾖_Nq0z)50imOۋ>t-h( ƬoNl6*C_)E8ywNH̙qRVG׏AWodHJCay01R`(챃@n[rlmUjݍ+7zmTBH>@ 2;@:۟FMm]9G&[l4-0\gf`r1x?Yl ҺQq&XbNPmX&|r!>>|La`^32fF\oi'߈9%a*# 76"0"D.ĸcoJץqZw7u1 7PְC`_,|屄vh :<4 9m jQsNd!D@O8e˫WsO8t_?sD (t$PC #ؕݰ Xخ8 /x VջsIi!t2x sPL"&9_=Rh̦󼶨:u7Zf`|Co4fJɹ5hXFigxWx[Rڛ9zji*9(3?]݂"/k# t]"H4D&#IIa۵53/9C'ۘ/ LesB?CaV˘ԍK1|r9TU֡௮X6FaE9\?h=v^lb#տs@6uέY~愵o$ݘ;u)r5}TJ3(84ю=_2µM6giDI8VCݮW)"q.p+~X"x@aխ)Gt.EKhzu\IޫM"-ݞh7Xɜ3;XO@G5Ŭw#}3ü߂#ϼ(F~6 ¢w`Uws@贙:` '!$ ]D7p'7ql8DL:H|)v'^]-HCENt|HzJDQglH.W w0Y[c HqLL HNVQkC7G25>*rRI}*>%md{Ӛ T" YAhzveU|r=dE_c sќY࣒⇵}R*EWm{&Fn,B|fų .Pp=;93Ǎk?IZ 'ʁZ-ǭڬc8絜ƙS?3#s`ެJK6\iySH\=2XƆQn_KgiI<Ǿ&uNІY0܊)t!+O ={ j|r~' nm[^触2Itiaك65B;)D ܴ/f"JˤeQՀY@ovvϙ )^,TWbQ%VB0oկK=pp}َ枾-W`pqpEky|@2 E2hLnS7eMб8SƛQc?y Dkn|qзmQ{d[~rakOZ"ѣIZ; ކ,YT~-$j ts+e0VMu "jJ'D{yH Ŋ3;če"uӳ _ذE\{.bl@Oz +r+у\C洛 e :1)ܡn *F^;Ggg8{OhI#Fذu֙KElޜqz@u:fF̔oƞM$>ʿC#=jzT=vg2) '<[Á@- l;P7zO)e5D_]Uvk 6cB?ępMM f8wxriyd2i>ٲl$cuȮN7{82 & EA{w6Ö\X}V"z͡~R*ʄ;%=΄'ET`g.[$?v>@G]gq,Yk(*Z ŏA Bۗ4OB"#zLщsS(,?oA[%+ÑzO/QB~PhymDQ_R'&1@krscQNTYF}