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  l l 1 <|$ ]]Abstract-Rewriting:threads=4elapsed=34.006cpu=87.372gc=3.372factor=2.577zXZִF! %?]ŗXf[&*%5r+=~ȳL\Th;% JUO4Ub׃uʶf/ຣ1VvSE[.eo@|@= |FѸ0)<'&rAXs5U/uPu񪬿r~HNk@R9Zv yF!.B4 j(2AP%uJ"»]R^U:h[@"V]οVς%CF:5iҙ[5@U 3|i& (D4 g4rӿfR*77+~R;iZ4!h1 1 Abstract-Rewriting   "}@rex]O-ht$ V}*/N 6`n}ػ!KҴ+X{=ǭT]e&H@\3E0ѵH[=8 !{^2؝a%Q[Hs8Wa@@&c>h>hҾB 4Uq]Od8bQ1;׻*X&܂os,UfNU'keon4};Ff&KygYZ7zXZִF! 8]ŗXiɟCrhi^IxDY?Av|4Xb£P1UtgiȍW9ATz#:]] #hڧ6%=.XEa?G~Ǧ d8DK+‡.E"t ($@8}'rutoހA R/sٰ."Uz%ۛz{k$ l Bݏ \لQp;6^):M\Tcap}Me/n $ 'R Ak$?^>liOgYZ7zXZִF! 7 J]ŗXi%GJDe%Cv\Or3dwDYtU]h }Րe`gQ%ϧ~n`hjwSLulEyzTO7χnhnQDX!&#i7%Hh4ː5N\:5qһwD(XJq,ZԖ2 ['jY$ձ^W Frr;`jG$ո@'Fd6"퀛m1jF]ơrj=b{$^M#͠jl]r]U]ul/M+ -w_v:uLLC ;qABNcr+S ̜Rh,"Ңx'2PK3ysre/o@}t*x{F9;i. k G_}N3,fO_kB`S6v'G x{}n:rB8^n W}_@Ӿ!6Ӊ $;&ߘ8~}Յ%ReJtU"@L-I4vLji5?ͳ(b_r!O>\*R~gõ/gSxR@[y9 _6Q,~|7@/y^LеOubߢݗ&56F J>YbF9j~ U8g Kx:מ9^G5qg4 q1-YX;  5'M53]>U~5fx@YیhR'3377AO>l6#"w{ ThQogbx Т!{ˍKp >n=޵fcNNBٚ|| W8su]Ã7.HoPU؁?T&2_,;3^ OsY7(ܧi S ºHc]NU+ʉ 4M YQ䬊zP۫1Ɗ}^}nkNZ KfH;U(R!0b8z=zŽiiz}]|ˢ#caGj):"U%; ^(m$׀֪=W:ͺ0>R|ź `Xrn&mLDB@RP}e(bV+ҖΚ\!V|ϗd>NgghL xz=;@V";sU d"57Z|v=!C:?rûihkzsX;o27,i q+='i9qiO7e¯ [Cw. oD c#<[!+|}g6I򍈼#ݿcGSA)}t4sb ״Q'聁P*vG}xp_)ǃ=*a>>C\.z09Q+$M[,* oy`4p3yr{-jB=\AbMhH/ixsȥCd_׃'䇒)VydJbme-ؿG$0͝l?S<x"}7D!@I1<m/iq2h5^^g,0#R|ٖ&d0v&v{vTlx~wki< Z,%j]?ETsz%UKq *o!bYtӥ]CWҋŊU]}.d_!c3Uӵ=?ҏs,. fP%#sa8Si]("Ϫ8wrzPc2) "lg@ >vyڦ{sp2n/ Uam˗wC7OA|*{|/& 4*jYS揈̑h|M`pfUGCDz&fu(6=σuC@lM|+I/mq%@_&SKxhMye4杙0^n0ԣKpiј2NX70U\pT EY&oUj)BA}ֺt,yS6