SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ))4 < s/ DiskPaxos:threads=2elapsed=41.312cpu=80.760gc=1.116factor=1.957zXZִF! aW]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~Ls=ՐMt   DiskPaxos`DdW:o؂hl[4ב~o2 DMξXzOyb_&&!,4حpDSQnhD2Z { c*o @f=nSz&l/XJɓL|X~-LNdF݁qo6xYAD/4" 7#aT 7EwPm (=-DdS:kfժTEArѽs&jh854Z-{ d4^cC}*GapOGT *- ՋQ-p@Z+#\N$TߩPoj)7yQ(y 9KLA8ʱʎ؉7 |آVzg:D#ؿe>1Yd rڈddJnr P_*,Kozt?f6ƙt >c) hS#1LVnAǮnQʀL1!HX;o'@ϰE:"k-]ȓZkNd(CtPoQt[$C<./ERl54cB>!Afl^ 5My@%ưtO{;mXb9aF"&O =,]>&s0)B!x!~G2ϷQ% Μefnf?UEoϭ1sh6Hp|PO(yL|O~B^/P-^ֈah9쫡8j NIDG8=q!Xދ˘g؛&Ҝ< vAr gBۘ֡/Js}=$1ͅ:,xёTnZy ?4z7YTMփ ? m*&E=ձ;EOc j@/4ә.?,՘ F0^TtԏbeT!fȋdqvGQ.h!7%BWR-+\Eײ Xrƍ  K,Y1)t)TEV`-{yA/ePuE7ҩԷ"Lܡpځ^%Qdda Ap7 XEݛz+/rgB`Peqwzovݫ V-,:K̒XֲBeBt%AY}þQ"ǿ @UAmSBV`Ɛ[ZYG?Ta&Ab <^z4lݍnQhޙUrY0~9k辴_NR0{DaQsBFMy,̱d6U vdY>#d=WUຸ̽tу@!R>r--`%R|˜eC}Oi% ƽ4 /'6S4R ^;6f&aӊmn/rJƧh7K,d,[+ Z-3ᬰTgrE˽YQ{r@\ Z\rBiq`lvp!mS;L {/E~׷;8BpZx*ѓ+V[V֠'Wc˙m CfֵTSDė[qdskR"T!+z>p! r4mT~H'Jlj`x1m 2X =>MHLuչ;Q˟ã\a_WͲިWzB"pD* .}&Ki䅲%p8GO+dV~x7qfno<1q=Ju`?Smu>UpޚnVqcv*ewO!Kկz$'o 'J>F((n٩./b_ܶE0nzD<>*lhV L0F5^})۽åLOj,7H8Pbj7Wq{.i5!:n*\5ZA_릍9.1h|÷_Z <6f;ϴg0%Wiȝݬ@2! `mx~hhL|HJT_r[86'nӒ@a`n# qX/G՛|gDoΨ`#6xBWH?~:RoSEY- {-{kb>P LjCgNRќUdQ?JAi "fJO .SÆwE~O/)51y~^.@{lzԛ9Q>xǵGؔ?%Tc\0`|0jr`['^Džt2y0fHG֠3#Pڦʢ2G>6 +dm:LuyJK,B@v@*2n#tW֌oDEjgQbKn2 ƸR ֨ Ote~ӶR<ʽVKkH-f|>'Pj!()ˎGgT9<vj<߽(:d ϲ]җMESnM4Ί݊hh>,C;t4[/kNKn6 i^/rK ;P3}ϴB7R6F;fq⚹%^i$9<=刾1ԖX;@Cn.3-qp|VN}gv?1U |%+JVUޢ_H}?(ҐB%ȊxM<9}{ fGo~·h6nz,HZIArܦI習9O^Lxvhc8 I I> {=/;9߿&D{W$;/5f$[VcQG9ȏԾ`X`z‚}jA(T`Fe_-ށ!mC)  ުXP!խrE9ِnz1*5c.dJ8rKq;,_\ܬ+J!ꭠ0n0!܈QfG|0ϖ3YYxɿHGKVnPA/UVeQO% rqEhW+Z=HݽAִrP($ W^ %~w8慀|öxcӹ,I'aLQ`~r7/@Z@|gڊ tHkfI,D]p2У| gYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 d1b248d492602f6555d3114a8296c78c7bea08d2 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5db9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d