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 _- D$t ] Lambda_Free_RPOs:threads=4elapsed=10.170cpu=38.036gc=1.380factor=3.747zXZִF! ]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܮ#"Ǒ.C n,R21~Z}7/cN(0 Ua?⹂[0UTg)gTYwa# a3ܝ3;b8R/+넽 \ɭ6JUs-DuL1:Gs;D[k_L2 7'~j/PYA\_UI["I<ʉ}$ D[ $S =78MQcuxp1쪽BLz4kkSvlQ(s[»SᶎX3Al4}*NU'SDi?Jˎ;C^&.^Ɗ_/JF> t< [=K@׳}(%tdU'%ס>u]8'ƮςmS Xz<)i>#9M,?Wr0 itQqjla&Q(NL?X)s:WZȵe|E åK/m?O:~p[:3x|vWM>qe7"Ar)8 nބÇJBPŐ~{ Un9r;%gQV$'pY9HFCh$y]%i%+TBef]]LWu1 @~]$P3g,tf╿hL3}\+\HžpܐeQb̥Dy<`QB.s+ָt -ɓm̊KLT֥.P(?T+BgM]X"^#7~ /,ZPL6ܻȧr$F^=? (#/$Д2١H)w>;bPtƤCŮSfC z=[g]A-g,/hCAϴڊ3~ s\~6b*/~nӮI0Qȩ+$ёO-qԢB4*l,LAdP 8D aF}_y>\48NbkId=YPAEɂ]MK| qW/9=yg#|~. lο?(G*BXCWXXZ LQ|sM$+Z-&Ĺd-ރoC 램v|u͢ao>֝LKw^&j]j/.h!HVoDWp -w?Au݂!Pߘ O!|6PB9 =!sE6ʓ~ؐ<cBHv{Z'sM8^ќCyѭL>;gƘˏLH!ztFhq!;D?9v =!bnM}}.4 1e/,'BϜdT`O%Yuj?OߦZ{1m;g<-qꊺdQd^|fd"`1dP7 rгi22 tSC,қP(I+ XXP jG A~GdpByif