SQLite format 3@ .;  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 M1 |tt ]]Abstract-Rewriting:threads=4elapsed=26.556cpu=69.760gc=2.848factor=2.637zXZִF! v]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbA@31qH\Z-!¯B8XOe<( BR:BYj,xIiYM&!.^`q^'Yt]^&'K 鮪<4H- 6 Ԃ]c00KTz̓mu=NWpdS|I/wW JPDž !uS2#yb}D|@@Jq MݏI\hcP31O.(>(`8%weY%NhJΠ~os4r vJ8Q҃^X: $ 1 Abstract-Rewriting  :WadhO]YtbvTOB5^HD YGjRKFt!63S) C羘Ӄ~gvr _ԁkI!?񕕟/S83PI Y;aW'?=8G"ڰ$ݔ˥C&GK$wahQIk".x\(*U2;?+bD`AEIQ@j~R6>+w=OjMppq8RGrǑ}p`yg%׵0[o?R+D2B+ٗzglb8Riu6&<:j^tgYZ7zXZִF! 4]ŗXiɟCrhi^IxDY?Av|56SǝQIqV4B g-(*p]MPms{O<0>cͶ|khg:J#wg iyVK&6ݞnlar<%Qyo2{(ۡ҉;tmg3SpW㫦»1=Һ^JѠOKDԉYbQ&zQ.G~bѝAeV-7Ʊ@xu/,/&c?.z+gYZ7zXZִF! . ]ŗXi%I w~#&DTBJas%P)DH~dwYk/)a(d7tsNaOH%+I/2$~EZ2i+ЇDŭdCzH߻y~5?-vUKn"#ΖBE9'e1H',9qbN厈@p,^9\x ۍJrqo4jsJ;&Utе%3WDl )wnT`\mߪ f*h~b#rNv%p*}Ub6Ǽ+4rUY(0Vd3{,4ף xGER=k,$>ƳE>*퐍=c hr0.YL\<S XzۭZ`Mۀd2FKA2Z]K9MLS=.7~L /{7bq11%?JaVk[,JwA6vQ~Їw}Rɍpe =g+ ]XͼiGZ° '{7XŃ~gd(S"䟓r@fyoe8iߜ,Pħ^cZϹ1{gGg4Ą#F(ẊfErVd*arIԡ~i9:+>7OdOefIBl"xOkqHݕ}yth S_Cii5K 4ڎ*z/"}[>3bX[~RY}oy+߾_Dc" NaTd46/\/u3YRLa(U/ρro]8urAl0/hJMY2>!hضVF.jfpB\O5ۚRLa-.]׃C֋4;!&XQ_I{֤᳹iK:YgH 1@Y:5oֳˋš;)HÿcU =\d]&*8>FYCsyqF(4qpa6ˮ(]GNVh|*8<<Cv(eb.F`k?݂;}k䭓7o8k+PYpG< W<MuZ܁B@gPNG:!kQ"ݗ4@s@1Q iN/>BT9L/$W+d`ie-8•J`$T) Nn+_ZSe6Ht߅בS4ٙPش_΀C }N?MmUaUt)xʩkI"("DQϜ6X_Nz0,~p $RPa}l}ӜlgS7Wv}sCLh{S@\ eQ}evg=^^Pj"S$kg^60 Sޔ2R]<訌=?8~e :jlN7?>s8$n[_Q0 .nz+Xv\6Bb%Q#&ςvo?ss#shW%Et)U(I|s:F[|FO^,ҙl bɅy4e2Iƙmax[qfZB*ޏ1ne3-9&@c`= Ȱ*^o3UvFK†jSvqŹ@Ϊ_'Sq.*,};3zL,hQ