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 ?3 DD< ]S IEEE_Floating_Point:threads=4elapsed=26.062cpu=77.568gc=1.912factor=2.987zXZִF! %Y]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xd̻4G)QdgdTq:>[+jd6<T-Xqk!y!#Hٳ*;mZKr;@9.1tnA^L6#T;ycoV$(Ƒt#t7dΟykYrD%'x-nIRS:E3*ȸURyШԺ}m-p7U|`rY( h0CV&D ->7h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.MLFUtۚ`q.0sO?Ddz@>|)ܣ{d2;ឡQծ%Ν@H6 n8ٹ)Eh68wۅ m<%H{];,L0UF ]heff\=` p5zm3 sHjY_Zz}on̈́OqI ?eSSM槠%ȹm?&Αљ^ʴE`U)G&'*73tS"'yr?uIchSU@ 1%ۊg`0un9罦\"]*h8/lYB&h~Qu}aڵw)ԂT#!epj{^-d^I͟cҝZ9>k?ߢtX @S $2({'Lo5amVʽHHu {쩌YQ;#ۣ'`}kО'=i޹+v(a+!m4ifN}D5A@y!q7AO7]& Ahi !rfz{H}Gmq:y}.jԉb.D^cbcȗs{2]"Uo]g~ Z2~'z-Nz wKɤPgYZ7zXZִF! eY]ŗXiɟ1˦r+g'Dgr>{pNa5R]~n$>; )z=0U8*pE)At(ʖ=%g n*)R]*ο7<8]ЎV-ŔB:WPɳ[Yˌ)OB@.í!NJfU,M Wyi>-ocneXA[AB8mfNKIAㄐdpNQ>jCeG|S p+`#;T1f UD4OoH-?(MU4 Zbuchs෎l f@ O9:"TK@gYZ7zXZִF! ]ŗXi%L 0'L`U+y.\d)e() ~|]-CCE+38`.`[fNTͣ>G9hFFJqRT7/\eYì6M`Ճ!<Z~_ڳr&<2q*Б7%ߤBؤFRхک"Om Įԗ ] @By^uƂ N?Pxum+$)q`# iCoČzH !jizR$_f|çBQ ` NҼ{y|̣%_=)Džڣ*s=4}zJU6k!\JʉZG(7dd2LYiz(1^W& Q5LDA?\+˾!9PCžN-Q#h0 E86*u`)E&v%bk.oBbtS?|q .E_yVS>{E5|Lb 2@cwM>oNۆl(Hj G8A@Q ڷ]q,K w8WN]K{:K2f PcƑ嗞$64ًb by׊c6+p~rYֳ! bg{6Ѡ(5&=_FS%L`?";E$sAw*jSU10'ûȿc VH#-إ,{ff n ƓB[T-׍rcn1s7qf=A GX_LrC5˸gdGF<DXI[š/+I8/\6mI ߉v Tp`aLk/G=މ,捚0}4][ TxZ`W2!1TBA†}xub>n8>tfjj%3l mJgYZ7b0b069dac2fb417bb3e42601ebe7a9e17efcbc0d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 220bdf17d54f55aa3930e6babf5204226c781772 75186d15511454c542d1476c266534780dfa49fe