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   r ,T ] XML:threads=2elapsed=19.886cpu=29.832gc=2.140factor=1.507zXZִF! V]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R TGxHsJզF"jA+rw}0dY>hzPԽGسj''>̫1 fD4sϨ důCYWؚ1(Y1u=繵r>Ws;٢ި )/z%* ~#iqx&0XPf Cc돚I%JJ5 mGf)`:MHOٌYzOr (zeV͑ e]U&׊-c*XaؙW|W $3[3l71xMLgy]2v0vy+ LU)osP"A6*³o.zh%aIg #-8l4FyאZBh72)1L.J:&(JQKosSȨuEA7PP"F9"O;ۦ!J`ЋT4\QWC3~dyxtpwPz<8Bi8(xpthF:&p#nUcM^Tq>_I0["/ɦ *YI`}P5*㌗Eڣ 5x|E`|cͪo}#7!ج'aDJ2F!gYZ7zXZִF!  ]ŗXiɟ|E\Ât+.*aphG)%uGTLU5u(4v "n6aՏ邍;4 "mj㹝BF[P\#ʃo $.»h^nDƋ^\Oʯy0f$ eY`*X1=]OmSgPn\J^隌a6Q/2NAwq$SL#ڟ7Ln% \=ס9&!{?2N}g},!KqO!;2a#}<ҥZ&e&P3cszu5989gYpDiL7Sd!3wT; 5 G7[l|x6Yga+B} S1 Gcd7r [N9KX^>{E5Uꁭ0&HG~w= S tk"DHW6_UT;qGZH!G\`HQD@+dz<q┤+4n5hIU~DYBkݼxlzu]=HC)":̛[>ኅ (23U;M v7/6V`?"?GZY"Vڦ$&SOgJB0?$G&^5ޅ4sEY͈ND[+#5 n)P9 0ȽE^Wgkng Dg/:OiC b]ȍ ]VѵPƔpmO& dq/g7hP d1$r6qK&pR<ҫ%-ϓXNZ` # 26] ~bw~mxP|:hJ8հWS[2yiii=m"Ǘv)iWDU5IE[.*~s<)C4?#lha# :w{1?|7 b|oC?/Hm{+Us.\b@:_1"c1lD<ލGMA tN "a~Jb`Y_xi֎Jʘf  ƻgYZa499518c64113587083c3381bd7e71ced8a5d062e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f  XML