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   t1 , w/ RefinementReactive:threads=2elapsed=11.480cpu=22.120gc=0.472factor=1.937zXZִF! L]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓgC@_1xvwguqHI@3_ XOiY =]N[[$G ӌ-|, \t|i:D ;NtyqH7-QpGVx1J-8sг\[D+g Kv:!ˏr9j|'iot~c[¬E\azQ+^Ɛz;|o׵TǡrjUXۃ[΄Wk*U*ļ6r6· J7v.#h j BX)|3T*$1dJo 8AH W? 'ٿGەOwW̜ ]Ywys`ݝG!١QWe޹g-5UJWƈ݄-F=S#W\gSdW]:Tۆdg}i( ]f 9+jQC:]f5Ty<~**Fc3/zPDèS"[:KsGs?gTS)cdT;ܦ^zT[[x5枖w:[т28Dt"(m,1v̭SׯcvGv 㳳_i]!4BiTe廴=^('[L,Flm7<A$ ZP'P32HĴriq4@nXY,J5c֎1t1x% (S; !t2KBpA.25xkcy-%h)jd) y9ŝ9NNfCcm'e',B=dr|RkI&T3;v-fK~ҎCCC{Ma0bFx%K$Q2eMO}o0'*o+)- q2BFLw9ay͛};:zNj~ZE[?R2-gYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e09711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 1 RefinementReactive