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 <<A l ]/ PropResPI:threads=2elapsed=16.309cpu=27.108gc=0.944factor=1.667zXZִF! o]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&l\; U oVmcE(#7}At̯(.J "!#@jXI' 3L!oxxbB^%8:ъIII@Mh\ؼ-Ob/AL1ZNեӌtL_7o-{R$]1e=]P[=YkI[k;`(5{ŗCXľQ6]aW#b hK_#|qadQAekɰ0BA(Of.ԗ[!j(t~ XNr!gYZ7zXZִF! YD]ŗXi%60n]rsLĘGIA آ ],(- MbjaGv JOEKϞwb(tt6U܈-a j1/d&F>hd$osϻFM܉4Q:Iq sjABC%RBb=/bu$Mx{\`dӴi3}ڝ: _X,R wGYjFc@_ê r[19بTiiH$zZvk8&ag+qA:}sPF 1vQϷ& 7.u0J> G1dq|f|žuHv{<8l 4USgTNCBUuݖstqALB$+ rʳ%musB5QXUGm׾?A"!MG&*G#O$-* T7u'\05,PM깿^U"88􏰓Ec46[28<ߜ#β^=UpVHe$$ mCT^vHZNp*EQA<55?"p4Smuf)#2V2+`@u|(e)+s޹|r*t]5K7eUH\mCS\tJNa\p4Mk @3[XhI9uQO67ŷcyL%xn %{MF&Zy(ԲW[+x:–x&.4aCzFQpdH2 iC& @'4}w 57NKBDևr~sqZqw%q~7SŜ߅ΐn~IpKsQ2?`<(SL7Lgm-Ri1|/Dn8`P ?5K$ .rנx ŲRJgYZ6af390dedd423b105e4027b1aad4d6f852b7e984e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87   PropResPI