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  w w~-T ]% AutoFocus-Stream:threads=2elapsed=58.047cpu=102.268gc=1.988factor=1.767zXZִF! O]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %miIb  :[tk>N8Z3NM )Vv'Ru;:?ʴziƳe{6#6 Ì@;AڑpL(Y7%f@+a !fu01v >w:P0b]a7TR]"~Y*~]=B]7oe; ^-" "ϖɢqXaH߄Kjuqg|~p[9E4_$oqJohQ'syQ ywlm+3'ͤ!>m;³D e4Gk|fZWqbKOc:_6H^FY%T\0"#Q'j|Y1BRhvd1%} )ڞS~qT*VU2|dP.Sa 5bСo= T&e#<{ĭ3dN]wײѽ5߿'/S YUxGy\R0t$$om}R?=Suf3|''b-- KM*8*&ܹOX`=|{dkmc };U~Ng.+C7j16L͊ Qsy8x*f] ivw7KM:ЙGf߈8sF)So"ի7eyltB2]ە;k ,27%e&?q]}&+XdPkհ b cWJ,L!m+ in\@4C-geTJWuBS&,΃2A2ӏ8v{loF+VT=C - AutoFocus-Streamai^̭rM,+XWR9iE8AۭS'd@hVZ%B}J|n&"'MA3h>}5;P۷L O0=BɟHW Գvg/~ߛxORX躓 `+(Jcz }:T> b!eX/xQrdIĭEf4ƕ^]X`j*⡚skRm=E*Ip)ehY5hڐO\ӞjĢ Ɵ {SgYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 Iջ,ғRk>gU;\ct 0\&A}Șo`+js-*O锡<=ei*o}oNTh#kGpyNm4X}ߡ潏='G:%f0gYZ7zXZִF! "6 ]ŗXi%9(OOzcA_a1KM($.=0 "{)j vx7Vv@]-Yv7 8-#@$^lile w!.nl\gIva%sG7~5!qrauuW=tNk"g;I*;vw#̗N:O|[ ۑS_n|.bʮ~6,ć,ADBoa f mqJӉ[T`z\3%_IQp4Š);8O"+0\Ylb[ s/_S=ˈY >(0?q#hJؾxzM+3(.cѤj,lY |yfuB3Mn<)V/^UZ%mٯssR  #kgR{"K7+)JG2g&a{Zyt0ت|P9a9Ar |-k3u-=C!z񷉮mdD2~hG'g( tqT-zG/x.04#p /w_J ]w>(LoB<\[.Oa F2}0xG(~[y#_Si>3|o;=W+שmTNV6MX+qe!۾7nƒAы}V?K_(ҵkrS{Ņ+Yw$ >E^\XVUt"FVrx:aA3NFUcIm74padeaqr"¬SuB3ړ׹BM !c_f ܟۓUeȆdqjR}AĨd _Ҫ"qe0To]3R;Y9QVQwJg.Y"dum IxYhzɗ62b,ꇟߵ!>"+CHc-N&QمfFy$cAoAsMMBZB\Q+k˂wjܨ֢,PR4WAa~9TC=,"ݩwu4 _kTJTƆeۈ!RܜmJ 2G/3bӌ׻8}qLT*Ny^3lȆFI bJ-Jnw:mSôjd&ƪA9;3j⭉S)c#phMefmRe+@\ߍ9d}bC3yP-UwY8#@cKj4PZj ta`tKrc`Mv@81dqc}PǴgCAU|~'ў_[4*Wq#nQ3]ĵM#A3/\'h½:hΟ0LO.ڌcTdt- )~k@y6s+ɣu % /uc{?n_)Lz$""pr Ϻ4(+<4 S׿x/2_Uu4pS9M"=TYPTL a2;Zm:n1*sƟe Rk.fFNC/|ѕ/@|&)ש;ykrI"{6q28ܘ'p 6ÏM ҈\aC+uCL\on_4.y_̑.buNyB $flct L&bMqwaꃥ^ī dkrWb)»=b]ho1 9H[vM#.d+AEIh}cQD(yL<Ǎx5ևB/zn*O`SRɣ7bmӉ:8""TE,eTNVYlbl%)˹o (f[E._lu}M(>@jGz IOwnoiu$Z4?nc@֎.Efx(|V$M:%6m,,sB*+vd3dCq9Ty(oP,oa .^'Gcѳ{p*gYZ70bf88dffa4073c06d1187cd07447a275768a1b83bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 316c7e368794223eb779455176bcb60a3a0dfab4 40318c357a193eb0ff2b07ec16f6dd5f57cc230c