SQLite format 3@ . YYQ77Atableisabelle_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, "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 K# T4 ]/ CISC-Kernel:threads=2elapsed=22.381cpu=42.020gc=1.668factor=1.887zXZִF! =c]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee7'Q.!dsps]w8]'Cg&h ix>R -8Yguփi٧B1)Zb}N0%^|?ťc9W"N; qQq.xc >=glt O32 OJ]nϮ˒}qXB* a,^+wzׯǫqn{12A`w#Դ nUÇ%ey/6sc`I4w"MNSEd÷l2ݿ'E"B93yU+9fIZPo:"3;1w@mb/ivoI #dm\ LeWq[Q $r:}(?ShYY-4mu '$Iu7k0.gi&ivG*1H F7pi"vB%^5>`Sf;ݢ64[5;@!pa2z|W)bf uu4υ^("B5+-I˛Age{rWGKg/VIGH[%p!>Tlw䓮G^LO!hj-BUz8r|sB8cz@>%gYZ7zXZִF! zl]ŗXi%6f qۜ'')jC \7ł-_f@ln\cau.@=$YЉ7.g +u³'37pw9_C&=Tp07 |~[V$IYyy3+]*u F{{wպ.k2>W,`ܷ:T z!rd-Yu,ZH#qD~uM޻ 9cJCBa-wVk|zhV__|By`ȟDe?m]Iwf?+ 55i8o{gELxcB=c2\BHgb:Kp~*ZM3P}[[|Z ]B0r[IAgGn\3Fm%MUeRe)**FhNa%pWѮ-Hb]WP(awŃ 2큹HZ Ũ}_}rVeoDVEMwПEy—KDZ]%o2EVqnL  Uv} ->PQ'FLd#TcXq"z:vʓ uVx}]-AiaKAq(+г>ud]TvVyu6$ tN4(;~@HJ[dTIGFok/tŵHvLqFRdϦ*SIU-y] ZՍ*KFЀbq^. ^jwCue$aG(>(+PbF86+<8TkFȴ M=+p(!gC"HE-9mZ9cL5gkEwTOBrCoy 9]unFp(@޶֕ݐZ+El$ x!Wk&d#D<\!Z=ldA8%f [T,(꡽0|gE/t5ށ {_)@?FyȔ'Ąk2vjJ +yeu([`:Lnvrݶ޻KC HDwN[<78Tv\' y0fEndY&6" 4#?8*̖'mV?we%CxEnz|v*jfw44.jCg,a#L=9R=B=KO}vә]-HF$S[:ٰU:NX`my`P/CQ5 ה07Z?15bTBvnKɘYG2Sj,pGz2C 5_1{iSx: @-sSTTƢ33O5٦^\Y(1ijl ޙk_".ߜp YDba15Pf:;3CjC^&eC6;PD?Y;YlHIF9Vu4 Y4{I:|hq"V_0-d X~FlGq,"$Getf agYZ2f4e9cbd93a032e3266e4cf788e311a5b13a412e0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 # CISC-Kernel