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 aa+ l ?%]Landau_Analysis:threads=2elapsed=13.519cpu=25.720gc=1.268factor=1.907zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5̍$ e#cgO/.1fK2u'9jS͞obR$-̵'O>Notu>^iQodYlv/K!g g==g"~6/ώAl F"FRh$_\A=:;Off87"@`ڙ0Zb/I4qobl tf A]F>L o$uPƺVp\xi,$Ń1+㓂 7ՖvCl+y9yU@?wSWvjH/~^,+/o@k^Vݹpjag $Sʰ_>=D{5:V\sD,c y;ݧ8._T@چ t( d-"KiYOb2jH0L=G0c&rJ LdxIanٴ* #S#uʱgYZ7zXZִF! ?}/]ŗXi%&Ig"DPRVEa_RAɛ`'%8SSJ'ѶVU)c!ȵï8M MKh2Jq<"mm5guDnj+6]=L4&a &bZ4C M< L{ %sT2Gf*}#ʛGgW,8 5 <@ur!54S#'Ϟ:>ۓ~" ܱXĆWi1枟d,sgLϟP9ʪo١"&P':L:߿0^Z=D籔kp"=QkvPq{eSԗ;y8G:=,8~םUaoٴtͷEi͌Ebg鰛-qD0 Dl(6tάIn&g63VOK!E3!< yY0dYI '_ 'Z6)wiB$fS$O~JZ9VoW^b8kօ,cڃ(('n8 L] k|t<[^*`J{r7X)t[YK.(~vo+710LTwꂎ|\vEb) lc |u׺ATMu6a~[`ؘbE"Z5o E3IE1cݔ]Xv3_ID }I`E}v;_ M&`pCmHZ%$]p(4okԑ"Y!~bB;^1RoЇ}