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 F7 t ]% HOL-Quotient_Examples:threads=6elapsed=26.873cpu=40.808gc=2.440factor=1.527zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%ԱCI,Qz͜#Puѱ]\<NW\9ξGfj6YNIƑ޻';ɺף8@Xv= -sJ:JH,\|iӭʵ?=},`HN#4͎O_o2R* NW>ʷ3U&Ppc,TrRC"?q٫s=.|Bbax,L/ҿYt}Z,y"CVWy7ZCC\i'։]R7SESͿMW,#u=?WrGؙB ̰c`&xvMţ=cSh gU);mEeZް=Gg7in:A\<^x_B@GFr(mU=K9PrVHsy1me/ݳn_`MdU%Av 6ō^6Pg ΀:hк^CkjyaQ gDԠĠ ? óf  dpv"AϛI\yFnjr>Vj9LX_u"-+RS!io ӔF.ЁNFSR#k%i/Z/2/f q2 ?6F;XF Tbxig'y ^b.?O\fm$a^-?[y72T݂tsS}  괱gYZ7af0d4e4f9689975021aef2ee27d7e2c0b19598c33e372010bd93d78618052a88797c5afe4f11382 7daf0c8bd7744b8053173dc61bbf05acdc7970ef b6f41c0185bf083cb5382e1146e55641d3db64d4 2dec38b21e1cfadf9410f1508211cf808cdd74de 11c06e25c72c311b83521e5dc67bc34eac641af0 7 HOL-Quotient_Examples