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 % TL +/ Completeness:threads=2elapsed=16.775cpu=30.800gc=1.648factor=1.847zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-INrk{P_8}n)ǸS+hKS$i3cv͈aT`  % Completeness5 ˉw!V${RBx#QtJ?C(`6~lDfY+?sd~'_ihR-2rhu."J lx6,.XC@p}:/,gƪFNAQ:*³|;@'ߓQTjq~Z, hvܽm&9ʟv 9h܏g_>gهQ,D4yy$ Y `r9(u U,*Н;fm(\{'Pu9k0ùR<)is=ȍ0v޻aEt%bq^=H_8ƫj/3ǒ,_:.2vz׮A)-pT}ifx'uEfiK{^X/ӳC{[reπEP0U[E>K",~O{+1u*8b?#'5xhEsGm>HLIȦZ Rxpn֧~&aʘl  8%UjEw%7g27Nٶ>|e|g_0Sg-l Vʼ;K`/?\njymQ%VorkPI`+HW+]%~naG#DU@ Im&X0sN 'R.T8uFwo)Kdųa܊A rB" c G>\pCvh41y6*&n-+w:_Y2!Wp]Ӈd!6#3g7oV~4{D.-$dA'SaI5n~t3cQ;tj2+~vq pZtw[bNmjǤRT@s$`@@'+*pcRn^(kt*|ѷ84xB\pF)czՖ4_B^u zq%Kd׺\jO;EÙD `+4= Z_ŏUYSS?@*s^,Lk э *l&W*5]6{oZ=p(SIJq>U^MF+лxʊ~޻nf+/fUa4)i i@|N_%J.\ QÜ'#Xii6"Ƹ[-:%Ϋ 86 y\5k0Pؔaˇ8%v89qxj Gs>f؀)c!YY-!(Ѳ"x(.pC]J)I[)@#qAQ}Pk0Bnw.^^(.<:UHZq_4t?P6LmߎV .b.y2hpBveˤbwJ U CHn~Id;p%DS2g{Vrru_\?EلU&7oU>jcl`y[ml {ƞKyݠGeX[y`% > $Eq4R%Uydv)n"2|b$ㄛ:479y0 G'n-96^/!Ҏ FS^(A"$v[nΖbۘ7PN}@Lr 9؞Wo6UBRf2GȱmRE㛥?{d'ICUCE1NC 294^џiNң_*t1y%*̻8a5~FLS9OW#^8kB9魊%`Rr|ؒvdp$" Χ3 ?.*vX%~33u} ۶?s/Mhnx?w"B=1k) cĥPuc^T?Rm3R޸1odhX6/gn2~L_65jDz.K3Z.'Q<^7Jź\+;㟔>'C(-vwYVТuةb2:2XjRF h?j"您br LzDR,6G3})h[[F>l DO3Db"!Ngb-o7bs!Y,{{6-mG%%)CX7Nlz MFsh>hj{*om;ΈXb5h5rGbهN8 S\Sx?Ö`2b^܏av;3S4g7zc]+r`m-QKzy,y×w2}YG$A-k_m*=ϳC' nveĢP~o`^/GXCCY|WYT)9#%G^5H^~ {y]*1SMcXI9EW8kWtWÁmtXT! CSٖ%4;K- i0i;Ҭoʊ\w_2 EPW6S/'IJĵ'9d]sFŮ\%y48ͻna{NVN렳evf:Sx`vxKguQ/_'`%K1NtsU*vٔ[_W4