SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  % tTt ] Finger-Trees:threads=2elapsed=16.492cpu=24.388gc=1.620factor=1.487zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip4T-!6u~e%|t>pɕ= k㯉ƭsbPsp|X 8:s'+9~Bsͪ*ڭ,C4*y R Pf_nP1~UhN al}K[mRx_ hS@6$tm)gYZ7zXZִF! b]ŗXiɟ頪{jtJ" ZYYh(`]qQq(%~i() . ֈaOoA]SC1_Cܖz-~^GngYZ7zXZִF! [W3]ŗXi%;38wAΡQӹ[עf KYeY,K;ܰ_7ٽ]sR#&Ȳ[dl-4dcH@0Ko (`!Т;Pj7^WCc'[&mz/]4O8:/w7Ra1n$agIּuxA$yH2Pʭv_ĬxxLFH0b,[$ЍI-7 ,AztC.&vwt |%"ŬM ]i_3e7ujL;3V4ꞗ*#u1y^%0ZAލ΁ #aupc[*Т08詀$3W+>u{u][k̎/RόYMOE!03hZM[xx%t:h$ ׬A8(Ǻpk8mUB ]PMX}4ſV[` a:^'}G(cbjjc(r.$-Vق, &ָ(l>pP>.EfD C,WܸC:G& H9@; :F p|G@72I}i 8 5B 'k$1=1_;Z;>pQ0(0"D/vH7դ:Xwj'É>swVB7O.o{Z\0. g[Ӽݸn_=xPk Kӗ*9|o/cy|IER^p`wl`NgC,aK5zE`T'{zX%Uc`#ݜ2D3)Lx׶}<#{1E%6:Lâӂھ`ʖ'p}BxEɋ)PDJ؆$zNjO` eɟ0PYC#"7بh z;ڧdmS϶DةQ|VPAߧ<)^guvbZv7 *1uvd6vӎ2-9TZ5x7m`GF)O]ogc_u|C$&M_%i-UO&aW"2>2\tLEdLP&'nӡnI[Jd%@]2?(ESt"D ضBsRgYZ65dbdbe24aaefc268c077e69a5f21d3e4a1b4812665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 % Finger-Trees