SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 qq % <, ]S Sturm_Tarski:threads=2elapsed=17.727cpu=28.420gc=0.524factor=1.607zXZִF! !]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :U?(gPu?Qqs5󞙛W4"qf$1Ўz3 "%_l!y@n (x늤bjkW.?]b|^¼;vg)|J o AӈkLŷYyNK7HQ9Ă.oY='s}tͳ`)}#&"`-O)@˾l 0AӵbF7Bk YXPOi,Z*^SbƝ;ǠZ*9#sdht)kfĸkmE4n,RWȶ-WzEz s:d䷥ :1F1yFHo\] km\xwjXrBo㴰)?"Os3gYZ7zXZִF! X]ŗXiɟ==M*]0tI'ZbrCj3#Plr( fs@Eə/^iF/sH͙Waݎ{X?nFlxΧh|nEVd=e+f|#Py!At9٦>ּJswƟ@24{ެ?jۡ{:Hof!@GGD ކA&X#MUϕ2rfU`nnJO8KIY9J(" D,x9[uwjṙۘr7B3O^+tRߎ|^sr Gh*ATObx&Dixí`ı ?珚6-&t(:u'AV! W-밉BV0^ |(3)̘ϼ'7(ޏk^N񤫐Eķ(Væ ? R"ČwᘕRXktܖzm_a[l֖X*O 4ƈղa|^% \C#~sw/k6檹S! \m: ~՚D8I0 7]TtFTK#c`83[KDmvЪ ʮLy]adӅPb,I)QU)ͬÂ-i_ ݌m|@|^8Mfn"fOqM]xx?W>@QVsh/Yj{ee-}K@F^uV7W#B.R+ NYs580>Ǜk@Ø+UEO`)K9Y N~L=c@xAVgd]pMEhp]x!!#c4J'@;!ѤuA 3ןrh" T}q4(fښgDϫfyޫU"-R G&? CO@z]U;ۈkEG85'2PEPۮFkYgtb#(0ɭ0]lGou-D!!gg6%OuEsy{bCc $'ԖTsuG#x6w["Ċ܍3cK2E6h?X #tHȱVxQƟ|K0~