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  a1 | ]]Abstract-Rewriting:threads=4elapsed=30.293cpu=79.164gc=2.732factor=2.617zXZִF! %$]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbA@3x*ƌ\JycjP%TYmH3C,FRjs}kx`$!iYt9DP < ]g35p %<"׃: T&[<* xYyA1%$օ֒ "V1A,b^+HHCzԘe*,-S51Rm(wZ& dcA+ГB bPpJԃ8{*~P~+ ׬R}yVv|]C֕uk /;y"87)t,9g cCS8Z^drۖc5EE:O5] @?L-Y^4_x25Z72+|z˜rP 1 Abstract-Rewriting  ˡǮ7B~05 8|;_F/F0M »( 7YBPMz 5 E.Z}`. `8vOz Z ~w_ZN} |}hEODh~틗7Y!Uv.M@J]k-W Z(*.#æ4:l?3[Kd~q>LG'5;}nPz{p/(\>.ܗ J =cnMnJh*jrgYZ7zXZִF! 9]ŗXiɟCrhi^IxDY?Av|5_ ey(u}اgYl<0f> xSbv)sIFn)>Y-/oBuɚ%tT3,W;f[},H&XsZNTtsGo ۧFT 'OkDfZxxv:Y:;6 zO3P@;? *s"+1tO7jܕT2<䭭 vs(D'2ʹ.B)C2lZ( ɺKgYZ7zXZִF! Ư @]ŗXi%ES4,4bhRF1(wao{aa:oҡ1B?ad|@4Tm}c%qDYT]4IS#q/ UXkM9D%()bnB yhOAgf҅Nk*{.'GFU\rR+t>j.ދrR?ɖ"5$&婥+Ǐ&mkl L]o=qaHXt1b1%4\ ޘxnXh F|+fڒRڋo7P-LL $y3yEݾnDҏ5?:Tj8 %ԙ }\)WW9#3+@Y 3R/ ZP/{˟.H$^ƍXq œ &2gϤ?w㺵B-Jĵ,%@*--r\Z`;DfN6sM_/e@>xLk3ޭۣ(ZAeÑ_JR l9D8Azr;З@(oV U"C8m$IH`H'i S%N@hଦգv Q=* A͒"z$+'H7;?`dPjRh* rR/?TCKBs~fxhF]6RZp?5mxiW@hg ڨ(DXȯ=i27.mD5hVAQڳO .tUc-Ӣ$Uϻ@"YN4psy^O%Z cL40~tA{»q\ "݉$d5PՍ..Bwoy}Tg:u`iOSmwV )[> 507Lhm2\D>Kl2:ɤGwOb[f' ;_O)]8L鮅5ݙяx#_r^Lpx <ОU.HGX…#{[[..n7ԶL uּη:\, Иohn[:]̂E\ZXX6cgAPa 4_Y98FLѸЏ)jTD:,Qi EƃzjRٳY6b!Z8VJC[tKTG&~L\4?'- aGJ1-ݣ>EXkq#CP:B\`6y̅ %\˫[4Ϯ)7u#qw ?Uze'@Soil2o\Nfh~J6Yl~n yM@-Q ORFYBL#@<cJ+mC cu[(Zgz:krRf,G?=S!$@B bJo15с(8zzEhI&W0H1fR-x]Nt5rHDUvN{%e-h*k#`@Ѫ`qsI B%JTs%!?>4DI+.9¯H6zCO]Jf"7!*A͕ҼIDk +60W,U"rϖ0ӛZט%ʼn_ xAJbh4u$v@ WEg5E+D0t