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 aa t  IOA:threads=6elapsed=7.471cpu=30.392gc=0.876factor=4.077zXZִF! 2]ŗXf1-qN50^ .nEށܱsO.($.hg/[xEb泠p ˌEBm 2W Zb@oJO N:ܢ\R"ڣvZ/v)y3R0_OPSw?9KR?MeRҁ:0/[XgCZG~i\yqE`pf(tѰZ=d#=|h=@y&7wʑA3=$Bc\gzdldHd4@Y#y*o]C9ЄFF*?1fuNԧpʾTs W*8}|H͠ z)#R7LW$E}WH5QXpˎn꿽 :׻Fs50AX"w ^rP}}i9tԺDh>,H-72QV/Pz37-S+Z'6w9Fo9_l>HBHH ̎tpS$klA2TK8cCEMB͘`W܉sIK _0ABTݠqroPʢDKMjc;̹.ʼ72XB9]][O)[W^~4AOP1 e yJ:0Hinڄk~Fz0_Z$s?ء׀,.B[&2 /o+*VY`ċFJ3   IOA@We yT6;,7si+z:BiOQy2p_=X &ϩc{t_ e3Յgj5۞0`.1`1)ir)Xj%' eq~5o ACB:54sZLWo`?Ϲ@ZG؅ Ƅ2YU58s"إLC`)BRَw_8{{*D4jLdՋ7\45o慨n(da5aoRi!s<=A9r{XR(A.v}NJzY\d\L%k3>ֲtsA/$}ˢTJۭg"D8 4,։PDZ/-tOmyeq?wț(kn)=ԜB-ښCXk ~HLQóyI_GӘU(?zPOW%3"w6#dX%ïuq%5u3mqԵޢ(N3ץ\6.QM^V'ci|&f3fwҀpvQ}]|mF ])jx٥~gx263pUԡ펫#[G m0$ȇP,]QS\8m"D36fs$5u3Hf6^TlN[&U1ޜ ;}rr L Oϲ N3Җ{$G;zrIfJͲ+g'(8<%@t~j|GtY*dWpT^^ᅣxcW>jlւSS #âÂ,9;#P_HNA=U1Xs 5kZɇ'Wnd$O* NPٷ iqt,!J9zB X8K@CL(*T{(yR/ M$Ġoaf7vVVVy2BR$[@0)L"N.PAs?AL2!Y#V ,ɥgEu d2w&Cr]&SM1># .ztkvVcBRa1 :hV`'Tf ǿr//s ,RkB{٥[o䁏o# [Cj=؊O`mEPX H:[q-݈he̪LC[ne:C@%9Yu[^|{Lho){٥¿ )O5iAUq~RFx$D.dW$ Xn,i"1h1>f=5'bARXi7dmLGtQ /B%FvÚư9Fa (=wq< 6h2-,ZiZz= dRn4 #3:@z,zRśaPQb0ef4(8L]ƼY.tl` 5k," ;nކIf&|nK A|B]쒡+p<ԇZ\GvtQ_e镗71Ȧ3 LUJkO- 93KUS ]|ͪؔ}Ds4hPZ??ahSb)  F+*(J,nnkjKTxWɶojASRj,9.toE]nj߃+vpHih^6W>d!֍W$èOYLG6y;R"H{˳Z bs\#aMǬUVbXJnK7l/e +0d|uI?/E:i.SčRAU!xo+:pejOYD BQikNb S %XX;jԉg ?^U>Y{N;g =sec9*FA] % igYZ7zXZִF! %}]ŗXi%My8صX.(EJ:_HKڲg_