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 / t ]w]Pratt_Certificate:threads=2elapsed=21.561cpu=40.840gc=0.508factor=1.897zXZִF! 2]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0BΑ)b>НҬQw6ioi\rgF=PT/էApQA~t-M {Z=iGiXyWr n`7nF  OdEpz 2ȅ.OW0V'PE4 ̈́%#+pP:-8z h֑%s6@<0ƍqQ`q.:zϮ铘LE{"~@VX$gYZ7zXZִF! nk]ŗXi%6Ȇ $1$*Σ#\˳=bQ*d%M 39Vx5' WS EEF:="^"|ꭙM's*TdA.C/ndohf1*nKp3h sq!L?'G l MlBl9s؂`Aub3Ζ1rA ^wI(4omr>gA:ޅP.-Vo8{v(~H׽܈\7t78yw]H%Lk8Êo l "԰ƝPj*\p쮩9|z+Z1s`н?f!C_!D| w \YQZƊ׊ƋNuOEolLzX5l*yGmvKqNV 35\ %#nvjֳ ECG4KVէPM$$ϕ|hz4:۹vD =N\Atގ&^#<`Lh]M͖3#zzuwuH9g4e 51b1Ea[ C?R,M:>J{_eW1~~wU!9|rV6%D奠"oD3 DEoqr. 0,_hVR█wH=,6`q&<4\4fap[V=J L,׿OG6$UigrhK@? D3o@M4O-f`e"kK$CZ lԃAuGˊ,]G66iUliFp\e ʟgYZc105b036910d020953d969ddc437878ec946309c72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 33be9b5969e49d605fa56dbaa097dfe763b9b93f 04c556be6866f0eb405381ad6b4a95734ab47aa5585b4162b4dee0d0db747c4de5f419eb5ce3ad08 / Pratt_Certificate