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 % llT ]% Stern_Brocot:threads=2elapsed=40.037cpu=60.964gc=4.124factor=1.527zXZִF! \]ŗXf1-q恈͐7ӺV 1̙ GMjiYEh&!9 7M<8<\)462F6chVI jPL3PC1!Bb0̵f{-\ Тfx-($iI;\V: jYyg:N0{WBD͝>y wp"tBG{>|O5y|,tX8chP\Kjpmv'ʞ(pQ4P|Ib5i0zxEt 3,7AuHeGgqz v._h݇klB|])84N{R_-bDZFEyЊ>b5+E2@۵NJ;52 .ܰ #Vz%A>h{fJqE Lo~B !zɃ/s.u9{Zd|+.egYZ7zXZִF! - b]ŗXi%>gx[,STX4)۝bS)-`[)i#Wa.Υ߃$e?õBtFBuaq~V WRVKmdh{"m! 4l S|Kh 7id%+mAr:l`a}}Pc}ӡ`z0E}zpSx se |6%X.r.Dߗt@9B|%ry2BD_}gg‹,n#b?Ai>KxDp{*ŬI64ȍ6!kav$d-_;Փnʵvl@^1jy_Ic\0QFqP4F ڃcS2W@4-q ,'7hwI{Re9 > CQ2T UuIkdէ]mR* ? Y#~:;ʘәHK] LdnzKo;ƀu['E;9@%PD7L";񙝏/>]3CAM]Z((axߛ=KCXTq% &3VJR唶 |oسlS^@W]:nԍ/*¯\/Q/P6N\.Ӌ=,2S{T4 GtȶHt"_"FBy<۴#[r(xuϞ^ 0 t}C;w`/GV@hqQH T3!1M/UD҂=cZD{6LVp{M~=d?P^.f SE)t[BH~t~Ojsb|bk sJ{63CI ay#wS!V"ΕHj6wdA_hl;w`vZDGKx$T%Vmxߞ&KC:~FY} !u{>#rw/mrn*\Dƴ` -[D<L'vH5Y+ELآ_"T&:U-o(ܔ|,@>)sVKMdF^d}M/gf,l(1F+8f.rQS5!f_wh ^xhNdPPL׹WWq',GDž*Cq-d|7[lP9b[y}|{?gYOjp52/S8n:O`)}^iHK#z%sRq&;1KN@VvyplimҲ wօPH\JǘzD(Yڡ*#L{񕴟~/kLQ1wv1Rퟁ _'`VI"t&8 ٍH"EngYZed810e6da494e68e48c6301b9ee816730ecb3dd20779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 852d296003c04e671a83d70a8dd68d2c8ee31ee3 9c115f3f7797d2e1cc1b69a11ecf9888293b072c % Stern_Brocot