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 5]HOL-Computational_Algebra:threads=6elapsed=30.876cpu=96.144gc=3.816factor=3.117zXZִF! .N]ŗXf1-q恈aldC>14aUV#/|) jUe!Hpcv`8/wyis)xrnܘ~ .n&8#dˍvVBrM@/{~Q&7#_A㝩9ӞWf{hI]Ϸu|'(e-Es4Ho +4 .M Rp||iV~QDDVw܄yפQJI.U8t-|Wmc٨ *&:y.npOO<@?-E{g;cd#i?fW0w% ? HOL-Computational_Algebra7W {!NsR| K2W GHO+r{:Ȧ)3v!2f3'oNT;Xg7*Mo{d5!d<(ۮi1ٲNW]KTFDY ichZa{ Ȋ7qlӣkRuH=K0qk+D&BFx^$|9@ݺmJ qHMnۏ8ZHң.7i.ӁU5MTAX20j|]XRc\r`ptCkyfvEJ""Pp%ԓhӀy$<;W#(5QّfoF:C@:҄O2~R=F[ ]m+{ہaMmOcFa9I@cŘ53u^qϺ)ɧZ xϸ_a1;^|~|R6>Gv޲ $mciz6tҬN1R<ou`ҳ^j A7V,;xROzd _WatLJC?Yo 651f=0ډpyK KG\ f*GᠾU}lhSYo#`hL/!yC 2V]2v ,hINaeNq9GgFzm'7`c)wpHy;4O~YvZS [:8,sfJ5CnLX x݄j;* rjy/:5\s ́+>w5dyAu GN³;wSf6Xr>q,a{g1*Lpn178bvȢ -yNZn!p~?73CHCџuCHvčDFzw6Dl6$*TnyVk9XsMa%.MrARX0FAܞ,CtntkT8Ƭyek9zϧyϳ,x8bP ,21&wlv>M$ʾ^Ɓ.grK?}dP~ꕇ1q&-!8*l?11 ɝ;Ebnā]Q?Hn몴zE3cpĵp%<0iv [1,8Uz 6yb͏ɲklB;*HRXqe)UX6@j ٗ|=5V+yTqǞ0Y|KLjN`~捘)PA]Q<P_%u4b\P#ykk2` РO!d%(b3! Eg#<7zm·2?f9$YV́i8|*~OMe|C$J&enY.b̀ek(TdX/L L(+t} kL5SOM]