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  1 d< ] HOL-Imperative_HOL:threads=6elapsed=42.268cpu=62.268gc=1.716factor=1.477zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}cLU&0?򓜛f?HˋaY` ?H,}6Kh *%"anf[Zd8]ZXAdѐˡ!0RncW>BZ! &y^|(F8]4Z?~`_(iN}'lXM(%[T 0?3}cx0+A4 5kYqg/Pm]]#y CMN 1 HOL-Imperative_HOL6}tuȑhaL}JELQa =K^t2& w¦"[,HTh p;qpq `G jG7;oYS!ENt0:5}ʟd8EC4 ﵮR}Ti q%W=N:YJQ b`-X{*W80k7}s5R9Vp*޳q+Qwoz n _/nV1ѨFi .i''i~Y +=G3|1U`ZKi5'Iz6hoY^<79Wl?Q]ut9 q!Z0 X2YcɎG,0P?olOm{0V}l,m@p\,'(΢nl/)Wc,0*:kWz wNǩhU 4eg+Q3ւkvl[=34o!7YdvGCɉ4AS?ʒhI?l'2ēkEm'R}4\{K|i 5gYZ7zXZִF! ǰ]ŗXi%ղ )C ܘWdb_/%&ʖ}+yp1=v!Y튢j@[c + "ŘYі#?5.*eNjLmg*ؗǠ.3#Xvf9h%)d3_bq8 qh) 3fV>~9٤.~zK׫H-ShQkpOP.n71D.慼{lv ton>HBhO+zkYos[e؆m:{|ܶTE+"6HK3;JԐh[-GVv9"d =T2/R"RHzꗩ,4δKҟ︡%={?D{<{S'jv]OlCFgL|5q7t|3)etP`:_\}PjPmm0ʼ<'tXZdJQZrjN#R:uh"WD{I*寿{3V3wM.%7ŭ(dෂ0*{96]hz@2_%$luc)fP-*YxVO6}56mNM >OqC{V}QLC>6^`Z5GdlGG^1[=XӾB4Pn48:ïiP^VGYM?3x$.3Ksbko. Gc Kn"+'vȪqtwPL5;ճI ۿFw PiXƒr%ؤ #OkAD&R*a\tgYZc6e2074f22faa80569d65b9f85723812ac353fbb2bfc9fa8902db3916d36ec4512397ceb264483eb 477271fb1badc091331ba1e4626476e1d6c56cde 11a74db1d2d9d127e73040b1139a301c3d720f1b