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 ||% ll w/ VolpanoSmith:threads=2elapsed=9.115cpu=15.912gc=0.612factor=1.757zXZִF! &]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhquxghb}ǖ|R 9G'6H_9SJ(X{NHD́D!=>CHC5,Ѷ,Ľ*ѹjUe@m.!5:J,G)# ej18#.\F`u#2fDbX5^mhXFh䉄bu;te$P~\gܚVv̦azv3fK<>HY)j GEDc6@VH HcY17P]]HcozK©? _qJGЃ/ɞ_w"Z4`#i %E5jb6Q=J< [hKRBF-QW˙%2;]ԑQ!p+)և'} j?+9M"˔E'|nd-|g(|Ds7X34t]"K^S;a_`}cQJ+`ɢdJEnCqSYjK&6N|C%z6g[/9tI*;|׹glz^>pΨ~o:`3 e0C eX_Lcכ#oTYr#OL)t~]@)@3k)z H6uhE(URI =y6-U2'D_VT=W^]%Nι~*d8\kA]ۙBӲ%裇C⑜ d ֢( jБ+Yۨ@ 7?m _fyy.C =$<QbLTgYZ7zXZִF! 5]ŗXi%q L%zPx6O+z(g&yu#bh c>;;=dљ#W"Vo:0ϑ? C>:t꿭T07Eoasnf5>8&`c1xHR_}.DǚT'}9㊠3eTys"dN r5cLlPVBN ^qI3tymC$N_P|`a>yӽ`LC –wqL|V,BqЉ/Z+_ӝrhj,2]fmW\Ut xH%/O%y<_x \_Wݨ{5Y[oҘl{{?#twf۷d$f}ߏ[]\/l nPfș30[6CP+f2^Dv@9\v]ԬTW̩]=?&}68כR;^mYva/f7؅=-9S$6e‡5U{L?]}B bJ"XNGB+P|&ΐxL-V'^6dhcSzIݕhX5izA* ? ${;y6|jW?lg~xmjuq }ЕGs!q6ar+ h: yaJe\n;Wځ{NLmw( ؊