SQLite format 3@ . BBh77otableisabelle_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 Q% ltD ]% Stern_Brocot:threads=2elapsed=38.644cpu=58.748gc=3.888factor=1.527zXZִF! >]ŗXf1-q恈͐7ӺV 1̙ GMjiuQ*;U;z:D)Qs$T֭p,tzXm/]"T10t^hϑ bW83tja*ƀ&x"++X*O҈$@L^l2f{x,\Vڎ@;C~.RI)z!;0wX΍\^ZU(G:BϢRv֔%~z@qBK^UQ͜ayon!גʉ͍Bg^daM_K^Ov4޶':IJЯ*rk:h֎N!]Ä EJx_^seʦ$ұ4-wRN chW݋qOQ[pncv6+~y1 ] ^}V nR;.aY=vI:Dw"gwoRg 3#NO, 5| x@ G[rыhf8ыg{|8=_C!`wᛘ"+~/;a񒫱q :k_>CI$~^+pX 2;WQց =l.jc^i'J$JT9-6 CIB'zUd,oů Ik` ̂_WsyK7}}aMvܮޮQ?u>)o(2l2~g&ƾP|M)ϊzn>J ,eԆ$A 5v.~}SKp.dIac~$Kxv}/C4U-%^\ZA CkCn\&[EEx(4ԧqЦio=?;:Lp) I &ݫc %Nyw3 :qhpm3Yrf]`H-O8]ʧEl{^crУ+[''Y @egؿ/ dN8Ș#HZz8NA<=0vvE7W[+Ƒ@CrøɅcl1g&6#NYwͻ`c'1[+(kG͚WWzo`j>N{Xml!̄ƆShYxؗ#ztAsg-R+0=Id/*ϯ1Qel׌Sj#{*uT&V$iGgUw;Z~b:5OLH4I%1nI>yɸ mO&봎Sv ڱGIO]qEͭĸ\S> 8Yh"`KzI/v kx lNAw^[ەZ3 .9&iúnס c/ U[\g}?OCk߂S#YnjT\QDSyJOۊ8;| :0;ZHMUmRLñtd< īĈ 0Xq2Sx4, KQa7m#*$W[f;4Dw~pSJ O e. nڶy9RX טna/@eu}RwB3cU|>=tBݚrC>,qzcuO LL4 lC޶:&틐[ؽL4gSų wp)d =ƩQ2 QMC7BE*o5Kh)W tv\!0`8B(1# aBr @'L*ZH$W9,8m^+Nґȋ灏"uvMl` kC}CK|h#m72}iUz)~:ktd W:}q߉MU06gdgYZadeb2b3c885523b4e8ff6442a2f4f86b2ae09858fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5 700b51e0c45cfc183b096c510ee37950af75f94c cd6b386772f70e728862d9e97f012d61d95c70c3 % Stern_Brocot