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 II4 ,T ] Corec:threads=2elapsed=57.018cpu=84.068gc=5.828factor=1.477zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$xbD(%xUޙq'Ю𢚜Y0# tm)zU^lPu/I;>jz#؆T Il8*w2'>sʣqjo_BJ p<1Ym ,窇Ȥ!ɦrKg9< 6EyVfgm?B#mK\Q'@Ԍt0Arl~d~)<@|Y5xr,_*rbTHO$dJr[Y|_h:M_[~u->:s:0ԿQB~rK߮icz쁝tNw@|gYZ7zXZִF! a]ŗXiɟ&zLon;F$Mm36_#0_TsQ-lIs`'.?4sE␍a@;E̡Ta˘ (+*sGoAX`UqR]"Lotl QҋXEjɹ)(>F3j)̧'r&zV ,k9nަ| s?^HO&g-wEn;+ߜTHꢜǠoK~gV%\W/_`2d )d1xQ'Y Ƽt+Âlld)PL]J@l=u>MKaZy)ͪ|`Uk5"0PD0eia[4ޤ/l 75=S\k'Շ{ʜݳsuGyUXu$95'Ms@n!L `rYEB5QUSx1ӊEa7՘uAљr%EatGke1PL=g=!,U*rV9xF4-[nu +J=3,?g;碷f<} Hd]B|a"{j1*SǝԊHBcCMo)"r`!FꇡItl5\PEk &f #I]UۜZ{-835 4IR %/X&N\t1.{D .uT j x7̗`AlpGӈ!ʿ(ڂ~A.-/oFY$JNBY.8)ΓwQO_LĶLg.s5S[Y^kY$8)C73tH{6 -d5tr/n]1E0QV0\}Vbw0id; E3!J {)x AvūfgJq]؛f׾J6%> kei@s Yn;M[򲬵05hFlVPLW>Zx>Q(g/sq+E8ja f#t-] -{s6.zt"q-}eA?]x׉28Ƅ_I|ϦK.])f~h q͔i\e5?C.?]#p/eU\UNՕ>ںB[ K V75(\YYNȦwȥc|`R1 > L5蘙YP"$#UywR}]/Ԕ4|WF~н٬SF]Q1nHK-B_F8+@ +^XJ]<=yV:,8VnOnܳgxaIWb%Sx䵬rT1<~Ep%%&3G) I9L)vCFq_9OiƓ,F6ɺ|(5D:!{j'"Bv?_׾߿i_!CCL|9Ku90bcd|81FLjPR_rK\Ag-㎊aSLVNz*Z0NQi/n/WP2]dgƼaҫ_b[#6%y} tZOjbs2 Ӥ<qd0{-R°4b?kYV^ĉDs P(5@ j ?N@P**j/J1 3M4A{pQm*MߺKJSw' =UB$wqFL\K.26~KL3%$~ ȋHL~SLM ݦ_f~~s24oi6W"Р51'qOpB`Z*5ѥgȥ/mdE9 ߟ詎6ri#h3ʢ;gYZ291ff23c77e1a9a7abc7e16a8bc5ecfcdfdd31e4848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486  Corec