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 @ D s/ DiskPaxos:threads=2elapsed=39.772cpu=77.732gc=1.192factor=1.957zXZִF!   DiskPaxos {]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~LsBS3i=c݇wK 6v]b~I[9ߌkN8l߽߳i(Z@7 扁aŌ$ܠM͵[ u1\s"0N/{ѰG__(i1?>ӟ1tl!g[6(wpLxUSꚊs7ytθU]ɓ_`-\ׁLmuf8H^]l߼8ļ1UYTi4 ̤U$*% w!%W)|"mCfer T3 jI-:jy2w IrYnثvܫ-7$9ѿa'WJZNH)ѫx,TV>y4t?}o7mz l(h|4,UԱ^^k(< 2(H4>V/Ӣy\3w*y۬&+;^k,wNQ_~oݓooAO1*x2[Ӳ,2k(P (|n1Y]qBBMtWȻB$Qʪ2z3}U}|ӣSH `Ƞ{ CSwa%'(GK1k8ԯYt֞fgxq ,{ i|Xa^E4F VȖ*o"oDI̵V/2%ke"D1a7Ra6]z9F@)d INd-cH6*`&v5olI*)uC|RJh2"HnSFTx tFml[N_/];HfB8buTԁ;M=spMwv*F(w:=c+k֨RKCKUoD2*mO;#m|E(ΔA|Ƅ+`1 xEB0P9)z2G)gMy."ƿ)ݳ3>;h~O`q#AgvEN#ĉ>H 0,Ctdj=YNUlԇjfLImgzo|.T[fe:kE62b GR&꒻JW €rtwBYd=7åuq9Q^׵f\K D=]Nit6$ Rh R8z= ū#nqXާ{ʵ7q4w6u㺣G߲eF=X`HƷ͕bU^)YϮro/8._3 D__.1Rgw__^km yy#}DHm #agPhVĖ! AaGy.. I HzԳs1?QrDм)bpJWZJ Ѐ&k.&~z:)_v%3OW K/g8W=Ջd/>LI3Lǔ5C 9`$l&ic2C KQm_y£ PD4G dC)#aF(F0Ģv}~5SY>͌@3,C4 koHն=J1Z̩-;ɫnag\4Qi3SDHoJۼķW%/NiWKQZ<{E,|wVkKDԣܟ͞p( RVDؔ_%M6LAq" "Kpxp&.1&e4o5Rf Ku$3a!4$t,|z\Jؖ)wgB`!i[zudxO}bk2-+ Sh.'rY?B}%_ھ/}.֨ RdA͡rx7Hںlœȇ5FɉT~yVo6vЬrTqNX\ x!1(.ozIijy )UH`+Ӓ]r yd|.ұV|*thh Lk]0|yT!6nw9QϋàdnDzs*V[ZE.ZU`%[q"ڹ4pQE:b9A^Eut:NXWlu`᧻bC*6ڤ^r(lP+@4]2wLoo19QW 56 LA?X;jd ʺ3gYZ7zXZִF! ʻ ]ŗXi%Bׇ*-f=4rrd .d x L>V`_E|.z2J<YkhmJb7AKdV@Qa/;&!X͍"_.; {$ HE2"i1M>,J'>JG?ڝxV]% hG+EmWhRxD o'k]=PET҉_Qtv O"Ϩ0+w%bÉE]^vF(xTǓcN5zjT\n򆲷s{M}.ǚ@"`33`꺒[ϯ~*Eahô6r]} *^#'샌H tBU#ǂȰ|SAr?#BhЀ6ehL=ڢ|_5?E>rVUR;ncqIP W tq 2,)k?]/)k,="@ZdUp5қ,CҮūegf?o# 0rh]In_ g͖C笩Xa5 ϮztF҉ ,5y*.yeqOg׭] ]7FV陀P¥B7QoK:Ҵ:AM/Cɶ8^h0z>27zn*$8VAd4DW䲰J 2wu\#@1;8[>YNۤs4d&c(z%'&0[,7 .lm7)p \&DX!iiq ǖ0MѕEƱ?5DL@=._>eFS\!;dQp}BBq5/>W (usD>$CTN}cwr)w6k#T9o 8YW-S""6-V`1*],펥?x- <8T+; +ē gNI9Dېn9Js 6$%}-Y$9lC5u+qti{iZw& W Y) hk-zvMb0,.n&AJF6tǮ]z+ ! Rij훶SVu Iϻ#QK`Wĩz3XG_EOLe"/uF/g$C}VD}MKlỌ@ͲOrpb֣5#,`ɇg1ŭ/ Qu|<( 5H!tLk:MvQѥSvQpAfV\td8b^U| "* dUlwTq*3 )\ë ]? seEWӠ\.eAU\K}1N/ }I|wkFKɡE!xgq@FZ?4rc280Aё[y;ށp2-;D !!l ){μ7(TD80YgYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 40cfab30d59df5a3292a2a6349a5e9dd38bc3c31 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5dd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295