SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ""S/t ]/ Consensus_Refined:threads=2elapsed=100.584cpu=139.668gc=5.724factor=1.397zXZִF! >`s]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crH$2Jc Ϥ˄ %%{:xCEoMтHaC9ZOj9>GxvH?SH/pP<`䌊-%^X7r XOӚ?{t0TJ (ӱ-IgTfu#{ۆ?Aai~W 64r0iܓd{̈́\d2r@H3gX uj=кe:E\E_OՔyѐT.49Y7pnjJemhDuGmRj-+{q^Z f̧ 6uP\0dkL+mw;kl|[ӎō1>BBm;]`+*O+e B:9hT!42vLiCyex:s sW;kq$"udEi_ۈb_Vr܃T 3 n=5JP]?y؝п&ZJCi}L(P{ f/!\R|Y*3E3ȟb$TNƂS^aE54^Ve`u PHZITcߡ65nc?褞/lfL#Ų%U0Sf1&S>(B|F<[oGt%^X̓x'V{4pXBxؒ}`U? CFr BMߗ{k K +@]•PW[ŅE}sDuCܝ zYBko@r]n QIÜ'Nҭ@9mMwJGc?N ^73)z^yeW=qmkVL{P&Rđլ4^`s Tzy .̠޽ûbxSP` YCatvR^ƒA7UoU17c^.u튶H>U82zf3ߚ'~NWv^U(sGhZ߇NEY6e1N VW WCݕCȡ:q+ H SMCg Zfs 5 \ݎDc5s!"ޡθdgkV)lM!6iMB r!lK2Q[JTe[[!ztrp7~jMLr>U-rG&Ӱ=E(<řFP⎇  / Consensus_Refined6=N>,Y:sU#`; h3ܯ 0"%9觾.&f%"-ؕf6~•iBd,%"^G=pzܭ\ecP2rg-F n' ?xvyO~a#=a:j%OiU6& Y@[-X{p_MQoM~Ѽ|<9({؂Qv $}AlW̕A])UdB lf %=D꟪n8hG|Ozf^ 3PB撿 0ZO#<_mv<)Yry-.l?cgl - 4598Mw}/BRn"yFض)˺_LQiO#@3()fsKkLo&, 'He Ǚ9zj8x$Y-1"@BӋLV_hF5aF['(arDZ\SkCTsʵeu-SX S- ̛XSe'4|Ħj| YZ[+@ ?Dҽ,kOzDe=IĈM[ * +%:A,#k';/*l^/8E6yUV5/z-onYϧ&jjBK9 )!7ݐLY+xN4 $9uf,FY6/AY(L%~E~jgjO=^xo1Ie}»@vR3dq_vM.G؇rVT+ڜ1e%9d6E,|zVJO1OOi ;qxE]Xm#\T YٜV?mL)i۹-)`_M#4v[gfyN6 4L2|@[= ]Ӟ[.)*CZB wɯ5ϏǂCAZb\&`|yPuCDTQ3t^X`.:as0GS>mRrB`4I}Rfa$-LM-Έ4tZCd @FFBKtS#c a<5mA c:2-XR v%/A$dhR, -_ȟ]jq~V7| X&SZi u_.`]-lLm>.ʭIz?!_T ՓBxolu7gCu?C{tLPq'7qAbe*8@ Ns_Z==}$eF,^A:u`O?lI7gK?C^47 |$D\ٯjcRڭKSV`m}Hmt&(ς ba ǧ,3׏l$^R@ WR7pLe.ӥ$FM9ʌ|OS.eXZGCcֽKckzS7vc')"niuջ1]m`՝N!;mOt@0 h"d`xEPRoY*XXQc#?B@$;]F,)} ?D$s@Ϊi+*OչH݈ۊa\T_+.i;APz|(f Xq&4N<_ )L z0k$GY/x0wƕ`QB-0$Jy IAtPufd/{#xsA[lTZwqLi[N|;avH_;eQ<(6?Hj1+ޏ=C[;B):7BvJ<,}cm xOoebʓ&&.sJZ}@5x6XJ.G! MKifNXb3f'8覇ձ?cBEPCuE U]Kmy9M !NlUYU9zeI3K1FT߆ FD*媶5( K#FDмwK!6-/)En<U"*"n;0z-rB?>2Ƹ&kbI63mFT@/:E22Yd4gGjL'rP yY,Vxo?Q&РTgYZ720446f29df994e91eedc614d4b3743d94d711fae3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87