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 n+ ,L ] Lambda_Free_EPO:threads=4elapsed=18.902cpu=68.040gc=1.648factor=3.607zXZִF! *N]ŗXf1-q恈<-¡$johkX2I)']8PI|/'d6&ꍱ}ľ!or:*-Bf|DqWI6z){x[A0K~2ȘEf;k>ďc0BDP 9Nan{ϱ?ʻ{jy 0 Sb\f-R?Z` ƢNqv;Wӱ 4av> + Lambda_Free_EPO  ׃xy]@SV?NŐ4p#~wDh˺. ' 4<jb LP~I|Yi@ `B%'/E%^ Z0CJOv1Fků< ;rV 䱅" ߻ g:!T1[ŅsX@>lS>5@>y{у޳D>Kwˬ064p4 +QRߛ]!S#w~1'[)?7_@{0&rCF:Lr0Z0 ep煯)n FǮ0*L:ܹDQG7(oYǠ]c=RFE̋SnawR'd'cHțp9\1YĄ>4rfFRI*7h` +U I–?i@@*|ScꑯPz:\Z.Znsk?.=&{`O< H\+v,es:~ ]ƝE%M p.q"S3"LyaY{`qY 6:ftC?aK\aJa$Oy ]8#Xw 9Y&SR+4%ӈ~$9SrtcOXs/+m``Rbe7"R]Ӻ ~Jj0KKAl1wY ($-coUISGzdIj(%x#R}ܹ,8RcT…Ө3KZYPSj`6ŀOn}#qgygVkz ӝjB:fNTLล.MW:[1%/c85,gYZ7zXZִF! ]ŗXi%Bt.KK"YF}RrZ7]fw,H]p_GpwNHQȔ^Hik3lTg@fX~#PaQ<A\{ s,i0؃h)@%gȿ nt1]49P%[*+|nNWug }90 mDaWKpU↷AHUukPPof3RD2aƤ͋*Bh]qd9~uN<ðBV%Y'W953v8p2_ik.ax/"ӝQQnP?NQMv~Aϓjv4VZ[lܽlt6|IZ*b ,+RZAtGYYȇDgd3OEC@oѭDûaê6쨶mץ, ?h0bL5oޖ:YNyW8Q aU>F h`cSͥ]Tn^k)5~=O>TY$9o(|xI K({]gdK*AowR .T|LqYS"&a6Ł9T4>xlsQmJ[B{.JEP FRDzNȘr`-K2!L> N.SU7/) - KD2[ht4puI𰽖ƭSkd-T%Ku-C3bmVj<< )6 v/\ hcs;I<~`PY@\ujîfq QxfN~IE< aq߇~Q"0 *~>.jei̞$1/s2oSckz"":VS[״a'SD;8]R@r2KS7>x%m3 r GZ;kEH/^ÎOR }Mru!|=#E%q+ 狑X4咁PKCbAC,ck13>z}2Gp;x!{ߥSPIjCjm(Օ<-zU.OO@-O|"@&d,[9WcCϐ( {g4V<6†nmEQ ZMd>8v4䗮k0!0$=wnk1՛%>cttaqr}g .YMqdI-5FN@U 4EZS,7\ \l>R*0TDTᢑr>l'y  T`YmbArw2Zm*bz<YG2X?4AB%S)eeTU2*e Cuh[ i> ʹ)F FyrbBCpp sю+ &n;o@I& GNl6և gYZ92b7b311e215ace7fa3bca487858c67ac72ca3c9ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6