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 %L S MSO_Examples:threads=2elapsed=68.948cpu=129.476gc=3.744factor=1.887zXZִF! ]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqy͛r?2'Z*Fcm)!k?VPuiV4T=93eH2_sn/H>Shfâ)`yPhPU+u^,yI- ]ŗXi%s-pQø{W&ȴ[wH ۇ ƺ}X°k̙ zo4_2vZ3Ei6CY [/\ܑ7 uMrxiufF-}v1 -uf/:&e$/GLP ROi+tVEG8X.Y97kju1O X#v"òĂ<.W!6 8:Fw9 eX^c\X-e[ 04eY("Lkč͑Gk>'(J ~c@:}?qh +EljF9\Euxp{R`9&x%6ksMu V̏sykrk#뿗/6z5YJ]n%05!} Y870LG%c^(4yrx1zjD 9h(ZDqYަtX1[E ?XjOz/2=;"oUk pT)pjjoAt;:'{!x*b>e}f $2ao"NխosP埈M𢙮l&V㈶<ǴVNӜrRLɴ!0C+͛%-H ʔp/] >8gC?[8SY ۘdc:!\?]-@nr}iI &QKNI@>LqQ*;d#&dZX ȅ~Ct@?9|1%a't}ߑ ( ,U KƑDGwA(BP`hR&sKLV7'@J8#ڢ'`lׇyqvO&C: _0^8*WabݬeXE#aH?)O}@8C͐sJT-ȑ_HM>w^+P吜?|gez x.X7 +"0TW8ETY8M/i I, w<"gd2&C z2qij@'Z>Vh2 NI7E7wd5NzxRhWLh`"G靹j]^Ȯ?ibˇDz9 h"*[WB%&K=> I+Ec%A Φ&'eȂDRۘQL}0mY$*iam-d1M>SB]/sj2x`Q{sSG\GfJY )mH ' .r2]dAJQFfW[W Eog2C18$yW%1*c\5CG@ffWLHz a# pf}'Okxb&>WDmSfA;W GkFmehZoonӅ`zL{IM aW28D:jG!3ߙ~v bݞ-hlާ*1 I%k`MfͮL`[";ٖ{5hޙDG+P yypM(E3Gp|ΖDZ0on@?"ScFxxo).xr)Vz7~_Xl޳%D*Z 4goYPYx'-U-|77a^e"d< *R8E5cG*wSsjJ\ k8xf_*c3;ͨcZc{| (G~x׃8=?xj%rWN">r ﴷ]vaYQ@~-.}1edP5,@vິA^[wi`& kbXtx<wo)ИU;AopK擯Fw!)͙쒁s{{ _%2sTM6k6+p~Dr$֝(ܩY6N>=YB;tdj8Ao!4D۹x3T!]m "/ߦٱ5Cկ?)͔ ߁Ȥkv#8J\A>eW}2sEYdݍ&zԥ a29sp:#p*$̲(;/5n8lbW&>,88P5YC7h3yJ^Q_6V;Y7[KxbnC|bP$saxV?{m҃&G's rPqw:4L25COu w?O=>t~-WPIM s1[C3Zب\kQ<rXhb'Ҵ~ezLV˖g@+i\Z&cGF+?HF!@Bɸ?68\l 5&~ou݇^\>#ծ#([3`aV;Rͦ{vxRw6ΒӞ2