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 D) t | ]/ FunWithTilings:threads=2elapsed=35.163cpu=38.068gc=0.224factor=1.087zXZִF! 9]ŗXf1-/6vRZ#q$-RR s(|CdG e!J&*D\Ð9#ɳ % ۅz51<$&DnpC׽_!a`kM3.Qc!ն*t M䗥i*\O(6H`4^ť~'Pí%FCQ 폽'-ò9pw*s ] d&߱gYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`'$bރqǥq`"R`E(+_Kl}YZ7zXZִF! v]ŗXi%6SwM3p7lCg8-kyM 5K&.p* e&ڹ{uʰ ie~/ 还YȮx} 9̧&eAJ;D(:AJ95*1D"( 0݂=@ES-G y(SNVZ=xM/qUˤƒ7tFn?biQU#k.DQ# /ygA=)ANmS)B@J@bD4}ɺũOXHɟ*DC1!}{үGAZvn~>Vf#O s t[ _8*נnlTh04=<<ӤU.i?MIp3DBN!l H4\\D#B`{/N ONIdbLIm.j V| ?1kvEf!lg-V&Đ7?MAU*$b`GR dFE! 9tη8mŜU#Cv|gXrƎTn5EЈ*/p֢gP_)µVYT`H'ʒj-ѝOӂp P7ۙٶ{"MGRxFg]}&8P@mz(9K?!Uj63ɻ? f'fyN8V _a1l{ť-ErtjEgj[(LRЩCN1ڪǙ/-IPU RbuLRܝZ `(=hKe-r=Q=/hF@ypBeN6S6?͠Rr&tj0?a"g3WM/j<00DO}ǣP9ȾH6Q`.l[rL" >#,;"hd3RJ#ʒQ!"#]" 0; EwGk]Zտ^#'zf!I''ja KՁ,IimتD`w7h<ޮ vA@{hOBJG_9y-2)┬/zHߙ_Z?aR(5 MHX:q0 e'&BXpns{Zk06xc&A_-ܱ/SXzJ]0c$J Hnb[1eG5h/\6N_QyL^nu_p/Cl/Ld#/t fO$,ا݂Caa9z|*?d 6./"7/ЫR󌖋KP$~Ǫqmg'*JqDZ% a PVw﯄ \C.8d^ŚxKб] }hV}4NqD ۙ( 隬oK24e cy&M(gɛtsAWz/uYA 69SP䱉7JS8B18fedR,_-wj'8iĐil$ ;v ӱgYZ50049926c70c4ec8b13743d7cd144bd93aeb7351e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ) FunWithTilings