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  | |y% tt ]% Stern_Brocot:threads=4elapsed=46.490cpu=71.068gc=3.320factor=1.537zXZִF! E?]ŗXf1-q恈͐7ӺV 1̙ GMji ! JݼWB0G@1դC%v/g>/B|z;⎀w;a3*'ʻDwsʰk\wziѳkg{9ݚ/ S |Pc7>!k6ӀN!;z5ϜJr84D3{YwY~E$2XݵhRз>Y#vdhdb V/7^n~Oᦏzc`iWX0GBYKW}5X-KJ9mQ;R `:Ȓ'/P9-͛- hwٳj[E r\ k3 ^B sEYʹ.E鰽حg[@|>ə@(D(ivfs#}C{Z5T~AQu ~ɪ>oky"oMf}cQ&= 7  % Stern_Brocot  0WP# _ êZroo-dʾ u:E,{]寸q<%s@P?62o>3gYZ7zXZִF!  r]ŗXi%ES3if -ma0<3gxe~b{ABY 95IO.CH^oZ* tz@PDhT϶T--:K6T'چ/I5_AzFh\Éd;s:]~~'u3(DTAv ?0`Nvw#_)kL3 !;<چZj~`M!uOzb3d0xJU E\xpWO( %Mpy9+O":W9oB_-9Z@e1kqȅ8KkHñ񾢢L~`RΫ5uaW7RjPHjY yEMu.%\upss~”ژe֊6P6CڲAX ;B^hf'0N[ g#R|76ÀSsa9)t=j#PjYz74wz6#>I>F<!ۃIEQGjEN4 7A$ Y[L^BloK"v OrzGYN-qO ! y-.b~0,eWi`.E$yCl>oW#eB`XX0:fW4^T9wUB]٥CjT[\:ZJx/$/)ߞ2s:a Qb_}2I&.ib0?S7GnI/Bsip9Dh7ҋ`< 9 !ЁEؾ1N\opgw.;fs*hԿ6I"`+2 fسR渢6m ol&a-Wj5Ȳfj;-L!GJ+SZEth CM)1Px\)ìz#X,c0.hbX$?Gܪ!JAޖ˵lH>) qo*FwD?U毰5h 3ƻ){"qKV$UܿK9G'!sS(ٱ\idkhN^C&_)wXl 5+16z)2ˆކl@?5StlM<$jfwdD(p_}z=œI>ţNOFYyëԱܺ4mBepr.ZGPojwJČO˞eR>;GA_cM$1%pv;s c~d1nw(.XmP8ZfPG/+Poc겶,Ur[ |^\q6 J6'{-u6̩a3/h4 w:qtD2"](%^$[P* 1rN ^֖;VG1l nŖNq/oxQ1Nw1wV ǡ'0R,{e(r$K"i t dhPk T3'@?2- նSVsghX̿^A3'L?'7.~s=K̔艍\{OבNYEA[%Qѥ=?fHxӡKxr͠: Tsl KȬGJַ͋M1`#[N&-3tM8WE4ɼ684o9r# v4VL\gnDTIcbf@՗#y|>UZ=-O̽dQZ/ }x)WwFG,n`yav|l[z}]/ Po&s0=k|htb01WZG4iedmU_q*Wz4`a75!eߺp.нƣadžΊ*}gT_{b d,q*QD%"c'1ZTPPFD]ϝΥ_h+F\`mn8XNmY"xm(#vZSJ\OH}0~rϖAୃ#P4 SyouXnF:Τ&%Wn=& [?<n; y+Sԇ0o nv)>XWƞ u>D}9ZiFuOc5Ds 3 ބ^Q{3LaeU[$aikΤ4ET/7+ˁ%W)zgYZf174ccaf46c744ba57e17a138b0cd7306bc5821676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a 11b16b72fa7209eadac73a23c648ea733a439b74 21811843f138ec4b4decab14c8c8a4421ad89e05