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 &- D m HOL-SET_Protocol:threads=6elapsed=21.617cpu=88.900gc=2.064factor=4.117zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3G FY֔hH1Sn<ᵩ/$R2/p,g=:.bF# 倥)א7l*5)-[i^2ǖ?|&ް2J/rL\?π24]N4o?&ݱuT6jmk<+dy`n7҈ΏvpH؋R"Y1{Bk_A/(\*4R@l*WfZrw~ &K# td .lƾzuڢG4gjX͋SŨx甉ipиLMtm&<wPf04y%dnflē!nspt{.#WymV/rPh`b^љ؁z<RQ>\&7W N0~N Cf#y/Tkw^j`yyr02Q$}qght4ij=i-̾OBzLE{GsΚ=&`ڌk*󙈐wȂVKG(Z vᄔޜ.QA1qM,qP 4/ݩ}Xe 9y5\G[!i+^ǻY _ 'iTt[MAӕm*GPIoGdp }?AFgՅr_8&r:}Skl^ w|*M ohx*_h&s?mW0)|71cl5Z!(j.j|r~#ugg;ڜnbA5_sf9Va|QMd䄦N\'Oh[rTi ƚw4@C%j!hG"euC&g2]c##*`L GZŵFe1V ~*&rC ; Kܝ^`6wnavb_ΰ,\l JF;/0c^I(_fSBrZeVz rOFZIP0pZw-D)`^;zR6Zc0=Vvӊ֊.Hdؿx4 7Ґ8 n~l! hAZQJ ~8n;PB~~é%4:Q[#.;H.PՇu$Nv`w$/o#UY`˃3P9#5IvLӡ ,œ*@eѭL^*$l 86{k!.=?$޴GU !2hള00M=7Wޯ-8V_;[[ryԋ$IMSd`xƚ <yfn7+.R&RyO=,QQfv'hh^]֯<^ t[1_񅱘>e|&J ?lvf"bGt?8Vwt`mIxP#.ɳ kj(3ZR^4r+wa