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 E |  CCS:threads=2elapsed=20.430cpu=37.792gc=1.044factor=1.857zXZִF!  CCS :z]ŗXf1-/6vRZxi}t7hSyv=4RMrQm34qN(S C`gvG@V4yw4ɤΝmrG`Bru;DIvVa0L"E$T,  W/O  t(9 [kq@AnjBUR]:謙Nsƅ[]\[ܸ@ A,i{Gည_\m4t7Ǎ^3넶v6CD.iG wVB^|o(}׿ _FCGK|lX?ؕ#&Aa_>+⓳Uqzƿ UfT-HEm=Y{:8ZsЛ/{)r$ĻLf}CU@Ҷht{iُwՆگ#W%@ו7GmưeO \ i!F􃋰 C{D.3s9ѥz6I:W@NS^ɠa0]Q aDZiQG`^tHIiV c5kS/ ֯NU |J UlC@us>˜ė'Mwȷ6 Zױ\}%#ͩwyC=16>¢؅0a{dOx u(wżKGBWs_o&Ov&Y=ms|(!`w)lq4TLRю;];*6Qͦ1' xv~.zpA+_կ$F tD<4v]_2.uJ &Ź):]kW|0ć:!vӀk,gJ{ DVJIHa|e /N S_EܸuXf̦@2r-`اC U&_s2$frRi+#zmN$3?3C2N`hg:d(: U e~cȒUDYVPKy]c$x*8ȢWVJ;_vyzBةqDEb#PW&Иl,)yPvPj%BR6?&|M^q{A o[ݥ!:Fp E;,}#B_P"-ӽG3)w.ba5 Rt=b*y0Ԧ)m%ߜF%!GH?[G–:K_6AŅA_jFA`Xrr -<꽰9N& 5h2έX*a5d<0 4` uxïԱgYZ7zXZִF! l(]ŗXi%#a?ڭafkCl\ ȈtDTc4[i/lA3B"gOZ|*H3*cu^BLUByLRB o?VE!؄ ˷6!]5_9D{$v`f*dxlj1̚P@W[E3;=&=Xl@ fKgOmAA"$mJ9s2v% }*Ru',D|J*تpYwboMwUBߕ=ԚHkUuKlS᜝蜎ϝX}C0Ot˩֒[x~hԹJ1&GsaK`p3gPEqx,Z}s(xŷ.dwn~S'ݰVmO: uuxJ@HeBRPaȊ b÷X vlch<{sS YarjGIFոzXF T, 7iXO"' !owCCyf)yhQf`s!HōFty}}Yfn2˻d|1p>ZJ1Zuۤ59J h֧P?| 6˰kkX۵:xRX`='fT*h{F 2%S0Ϡ"*D7M~|*҂`mgJgs%#& QA*}I"g@OvO&(Xgm$O? ؄_v Y2 ^i&ANTrٵnHsXdS0Ibj