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  /t6I}̤lG%Rn~ d~DY`mZ_mő9pDSĞ8y ؕstnaϘۼe}̀d4Q9-EL[`0( {Uj2.gkn5eAxN?<ET;z<7ba]3fN8YPbXShS`DHb Xg \ܧY} y]-wc7hHթo3bh5u ] n죃xnҡ8 n<>Ȁ(>^ƛCi`+nK|J˂pqX.c)0+q~MMMr6 u)[!#8gYZ7zXZִF! iW]ŗXiɟ11bu)]>_ws[Ɋ brٌB| Xo f( Ƭ/v}*s+;IoLpa3%C5'`q+u(ayM>XL{6I9oe>_+^*^X2%珆R;S_kGc/˵Uh^c)oݬUЌU圡Di-%-xmy P+0adcELMGJ@î"[pN`1 QV,ᅫoԥ"f&'EΊζ}cCoNl)oȻyBgYZ7zXZִF! d]ŗXi%;LcK[ RʾB ߫#ud!G@h$y4Ts\K~se)} OWٺ 3qjx7OMDy )Rm ^+;V6/7Y^^ Ǩn:czyYOKջ.LY J[ rء<<8Ē\1>Q#WG}jl ը<RW#Ι+)Oa•YmՇt@Z$4)!$Ov(iɉs^fkGg_ԄE6~k\cRTbMRfk*wXLzF{8x.P MsKm\ېNZ utMpȵs>~EUQWMt.xlp>~/u99s;V1EAwm_r/XD5:Tv+pnyRɌ=`IM*䲿vK#F*7r. EWVeMͥmDh! (~gpCBUW#;?/w`-~EAAE۱2V]rwa7D&S$1 >Ơyg<)WHB!BhT{ՑFD56ѮKl)P!FQzGH.L~nL.p6LcBQ[V'zdʺFL$'GRd8 ~ *ؓ.||!x%Qϙ yf|XYO0kTAx M?$?X]ݨ?v~v(X3:#LBlbiZ6,eKzqIb RDlrpͤN"!/Z݊aC4c>N8#b]jh\\{cl`Yv /2{LrncɌwƽ:61i'HtcC _ Y=UdUܒ(/ÀG@}şbB|^=lEbdmjm9<ENrmEת]H֑ u^zc}9,zAm4sf96,˗jpW5 ~zO]2ȶHV ;a\{"qt)Ly&EoW:Ë^so BP30U$KM`ieJ15A|-|N.MN!Ӎ7݇>&N0`-8O>l'zv/H lɊ\q@Քjpf$ȧ'7}E=}G:0p§ԩ$dAOtInC-- 0JbܤsG4w:jZuBdZBA M%&!2-Z2'1{XY KJ-JerKsĘ:@ۭ_|$ъ;%&$_ a [tMqVNZXc ߒҿr1pkv|Z7bSe' ~6^JRYu[gP!Kv4~iGn6ш :xBq}~P{vnF3rYˆ%9*4h xNҝϩsudtD/Z[9~势3(5mȰ~6#e_``Ib,}k`C#=Ҽ݌n*h͉f` 6)H+)mAzr~d6xwCkz&U/NwDd?8 I*s[7*BxIXm\xfK4f $[@YNƱXLlE⬩8vMbڦlV;5.$N^P ݍ2p7RGq{sfyǩNhOjUa3ϹVVZ2_S UV{ 3hr+~pWI KV\aUԜ{)U!\f:BS%l3gYZ43438222d6801f534cec95d14853ad87b85b2edbc36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff 9baf556f8a3180be6339d5831f6067916439cf1c