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 4 LD ] Corec:threads=2elapsed=60.701cpu=88.044gc=6.040factor=1.457zXZִF! `~]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$s7ٓ&T+j;{yʼnޘ]r;9*Hߕha",^#pb K%kD黯, Feɦ7Pv=K]T48ƍ%H{ >O>dm^ &|NNC ϥNa= qjMk`&-oy(+"Pn3b"fЙ%pQ!fh*(]i$ 7299?.'z_h[%}h^=@ooekiIgYZ7zXZִF! _]ŗXiɟ&zLo".P_$ \,E b, GK6E7ӚjTm퇿X fezi3s0`#֕avaɎ?#]񙥃ԯ'Ɣ40}Pu:¾E#j V2URL'žO]Yi %ם/Ĵ(%l4E@PCr@?uRLw@˴MYΒE ҝ n)X)~DGx *ֶF՚E ĊY'N(` G 2Kk{4#m} Ouׂby,A-D-ח_i{GY^:v`~? $nzڎ}Z`\w%JAdӉ\{P+ A02 (-G!dh6||!%RAQ{ .%K:v*) 0gFpKᅺ!I,5;Uv񩆄\ Tktg~"Pgk;2fejńŔSN|T ?9/Y(HxɕP{3TًZh֛LLv?w4 ^ulqڐ5lEbE8m֭ZdsRTrWVKaQ6:޷pJ^Ϛŀ1I"{_znсoS,V ePѾqHLh TRγ+'#!sW.IqM\*xfS7_f|ŦD}jVAw#@uF+]/4@9]ovMb/6ctsZkNȪ72J9R Y&Űf`+=^a=)Yچ <tkfL=}e% m'3i`'T"E>I/>yqVAH\k9Ea+eе+?NJdžfj0iީjO܈]o*#(d*9{0o)zPXA;YF`C+Ցݦ&CHF{(NL|TO,h(#ZSK>xQ)&9:bGVa݀CwQ~E !`j{(q?lDܝoiڅOdŕ(C.~r!y^0fnL5Q] 8+ek;-'?%H3&'ϛYָE=kPnq:j_[ F@-gQB1T–u?|<%wa8ϦR!q6[*}>Ĕ]J],]] c瘧̦>PD6!:VwJ*.Wl#Zդ!Xc3KUqvC1:PR;I%u})#RZBb иBV {WddJl-v!Fh