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 ! $ ]/ DiskPaxos:threads=2elapsed=56.092cpu=81.508gc=1.140factor=1.457zXZִF! )]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21ALc8=EHFˊ%אּ 8PkoȔ~gۋF5*X.ߩ$%dqx0 BC%Mb<{m$hJu¾F&q(KIw/tDjNp4Ni;M_)U/ z%m5ifYjqVRFm퇦xσ34+R{;Kj0xJRv52tՉ7\.s1dҗt^_ɢZk4Ҹ>w>voMc)S   DiskPaxos62#q\$ycY?Twr(& Uö*"Qe<ۗT%DhAZb_lS;B Egն#5tޘD.iUVe 4Q@|6X,yp ,Q1KI M}y~ ,9YmFci.@d?Ruc}g%gOn QkGC%Х 㾹]1V7)4{9UȺcls^}qfp .sn>bnB;VpCL[0[\Y߮rAJQb⤻~̥zCY2TSJ'(kN4 "Z /~cɏ. kGYΌ`ΊL,Nɔ @l S0P!$yh"„|ߚKhWߢ+3oDw!'a;е66-;\@Iš.$8WER%(+M|7jbZ(4! wd!dgm79AȖV~G{IKt tynty_QU Bm&YChR~T"JMb%aaswrSvL˰R[+bE_.UE̺J.Iy/WVcJ;&h:>\E  Dg}>ĂT.h~boF:[a,_?'$YiYփJQz]\5'_x+oW@gS]e=;kt:|?Dj6U*T(>Elءcef:[G<\0KXi*/a()N l&uަ/OC)fXW9τh3}~!CeOXYv.Z8erä~KJͶxN8F!,~."э|:a)1ʇupwܑɰm:cNqVwOڼOfH'(8=[R Bʕ̬n2ơ5zGH瑃}r8kae7{Mm_,[v:]Q!n,W%>IM᳄|¶EG`cVjb0\eB-uu*c7rc$~[dsguB9,XΒou\8T-k.}A >ʡЕm7?&:(yenb(A|Y(j(8F_pqLZmE?;8EpJ^Tb܂]/ubG+fu}Dyw_gͰ2Wp1t&gЖCܘt$Q RȆ*A{w]ub믷CXj91,0r&i}u%g I%:F%#+Cݙ!Ź#o1Ytt?|Z;= -@&$rl9ӉjaV ލz!N cאcD9ɤ܌O]xO%eEkֵyŕD$*C._*pb- Y z-ȷ?L 422&ĶWٺ8Kނ/[!8rnϵ$k-M,t.:^Gz a<,w=X ZJi^l$vS߾`m3&(_RH_e\_)t2~Wx{8VwoJ~pGY8Cǡ%qLZ,?> c $2,12/^6=X.iy8ՊvxRJˍjE GB#f:gy҇D,Yc@N:[jS/mA<3+l)# }>kИϜP^3.h_ڽ<뽏 c#C%C^ >lJZ3P'vԲ^EwPf|hz[aE@ֹ-0dS]},Ty/O a /i&j%w1+ɐϪc/0$T au -GzƓSY H0:`lj3S3,t5ny_#^G*DHI+L5Ʃ/>b9"`ehgh,nQ_$1]ǒ0T tvZc{5|vtu]6 yt9caIŝz7@SaB"͙ɳg? K1߷+c+A?UC7>&:ݵ1c;Uy0vd2x5k?):8\Z|fLj%QcK8ԪӌX,uf.rK.645mZtF쪤ۍz^`>UCǡp !qFZpG(78N;Q/d4w)Xu3*v&v179mzߞs&͐a~;X;?+1 J>pSt8P]ڭU"5gQJs|ZGvV]VeV#HGf+Aˁ&Q㷄xC~ge$Lj/!D*]')g_ڋ|% .ʗabnr^L#3=6H3^!N6W$?;R'MOĺ-ks( 4s)Mv v:KN3R{tEqDjxtEVfLBa0Q̈|IbD Jxrc]#@F'ZtP R4%'"͂9T&֔o_t yYVQ£/7 ZKfak. Р~\)`tpȵ"sVG籓HҐ醖J~7DM)XY־?LgAGը6p!Z2kaۇoٱr c k6Ж ٨:;|-;ycʔy@|FR<08>!,mCYҮYg6# `!ݷz bO VJ~+rlk8|.\jIoW`RŢ:YD idK6y7Ezbf~0II, zu·\,5ogYZc468cc0d2e7d9e4ca1706d5b138280af7e01b45c72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5