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  E E03 d< ew]Applicative_Lifting:threads=2elapsed=32.469cpu=52.768gc=2.884factor=1.637zXZִF! ]ŗXf1-q恈ܗ4ޤ9ũBvp# J}Rц cAPZc>d( z٣Qn;d٭7vlAr#.iݙ!twc(0+}}DŽ`Ui<Ŷ nkj-ҡaŻTb[%s+ !QbC!{7=eq7jaEtqyIඦx.]BѲ{^Qd ?18T–cIWkvpBR'4up,#X 6x j7M獭vq-4V>} ҫZBPY?!p~.3 q'pk:=zsxVUT u*Qf͚S{D]jcu?~HvTHwh[J#S9,s4t, $T! (ط:lq\ + &qfYڎzTC3:yϤ:k^I&b+D@TI-z¹2},U 3 Applicative_Lifting+MHf֏}54-P -;LP1;w!Gd&"_ ۢPF2| \zxSkWF#g5ti{cMy.93bqVIU ~UmßgPށ#r3~~EԿ=M[A]7")<gYZ7zXZִF! ]ŗXi%6<:m=LX$yT0BZjiVBl&9alZt_ɹ XVPI[fݒ148 {=K`&Qpi˝(Z2Ͼ׺o.F(\;KJA^sR'GcM"XI+f}50.Y &cfHsM,StC2$D{X*\~fMQztR$f*ߝK<0deZc]C>)}Z'$кi]VY~|/+mCf<q2sG˫1u1/̏m7nNa{_|%]Q|.11 N'x[u51 ` {*!XZ YL901$/sQ:Bl~_qHe{<.=1ЍcLӷ>"nɄȂd sPY,`O/L^GRb^֊Dsgܗ8^&}^i[Pe;> X!'wzf~)R?:Iˎ)"R䧪. ;*dkFR?*)ZAsTB=EF]|=\T*Yao-ݱ'sFZǟ/*u:_D/Ծ?O ~39j,|:-lê9~|Z `a1[{4)-:.39Ct{0/Q,o\X&5[F`m0 }9DxU_ k<D4 LN'sf~A%?7΅4_5oUS܇`>yy 1:1mD 6Жl x