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 DD9'   ]S Budan_Fourier:threads=4elapsed=20.563cpu=54.580gc=1.040factor=2.657zXZִF! E]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiTBz@Yt?YF4({5TJ&v&fEtD3K){^y~WTQd⹹[-(/ ;9KW @%Ë/ꬫLL6ѧz"Jњ@V7֯svX: WX+EYaڭWuysc>$Y- M_?[_W_ۨs4hB-q輰yb&*285۠hpryiKA1Cowp$ȃQI]?{љR3ipp iuA1t}w荵AL55Jv]ffcw!}ܺ5*CH8,%Hwz>1\4w ?OMг!PG ܚ0;Z@faCFt8T{jFm._bW/M%QN_p׌".P<̃l91˖`q`4 a!{RnC( 3G-<,S]7 vӈ+DBb4O.P:h"c/`>g&v'6BLA?pCCX?޸dɒ~q{^.m:GDV:1}~si| Fc7Y˗=a^R-u/MƜ ߑ:Q/tJt:nsr`c.0R\È󔨱c ]']>=qMϵ>^S-L~fY<% -$6fdZuYC}D:lA=Z۪5O=gYZ7zXZִF! ]ŗXi%G ϝT#on쯞kwa%C© HU7w%^{'2j^:Cg½<-d{5gv_2}iiB 7zz">:yU[ӘEW#6C fʖLfБ_(Dz_`-*0CwԹCjxX0׵pVG1m'!nIR$KHIlj1,',쟛zScΌUӖ7'{!xy9+dG>Rz qRuq(INjɘZRBMk¤Hqs\Xt$-.!ס8BͪYh -Mk%1~ǿ#Ov3LʨG!+x˙6d6wn\1oy\GW"IE:&cma[@J؞Z#pN>MpaEl.ػ \dG%1ڊh|UUϛ4|6_8?6;]{1g{g=r|JѧІcbFc% 2|.hd> w Ԧ .IfA oT.Y/o]LxEFol^T$h/<3~J{|)2PqV.er&~Ls|Z]|,We$/xm+K iR{4ZTfͲ EUʠn>#S>ϻbrS+Qn4%'6}H[?e,]ZZF3i}ck =ρZMy8cϝ1,e"0߮Wnl{mY/Gһ.&Xi-!XRȬ_/ӨxŮʺvV!/5?r}'B;FB]c6䮲౐R=EiU|SyO08ܷ '߮3ˢI/9IBc(uXϝ?r4&%ר(NdL1 ;L)OϜֶҴCU+%>J8RH*g4!PжY\9e;נ +ʠPſuE ta 2))1mԤv'g}r܇r&-f@\ErLû: '3t3;y;>F,!E=A4)16Ѻ@"Q4Kxn>Y04ǐ,b s2L-2s}|3@݋)DB8Ia W)o$ 7\$_*7@}N7/5ՄC<#pPA["_& R!ZGbFf/ԈQ.QCmMw&pPwχdz0ht^d._m+fɘ9~ s