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 Z $l ]S Lp:threads=2elapsed=34.613cpu=59.104gc=1.108factor=1.717zXZִF! ]ŗXf1-/6vRZektZZ/BcHkIv[ W % ag`)޴$^Դ*a+_d&y`J6ku$1RG21c*jz -8;zdt\}K]B_R#C>@nQ|`M.prE9f-ct][aQTlt{cPa7Tpȕ,W#a K`p˚Rƻ")PG4Y XF]$k5f& uȝܹ?u{W 6J[uoE<'2F\楅e҂EK?6 5O!DeꕈU't<,k9 {:gQ~S{_ߺBew}߄[MU%b؏u#wk%j p"-ut={+aݗ)@pJ>sXn{~'./: ߏ+;Uփⷖ4(m23R~``͎ce._BLKŴ(6j,ODJZw+&W;&B_<ƙr u7<259 Q:ewߏ56x&GaO$qvle t>"rf bϛWpN/NSwi&WykSVN!$Չl\fxi rpm#2Y|*La9yDө/2@rBO6 Yb'*0*Io8?E I 1S]Q7NtK<G^|=%|ݑ_D~,1b2Iha=]uKXH-euL5NM$iYܿoɄΐl/2#,P?{h$ȴ9Ad9@Е8vÊMD! >ttMq5nX\!Ή=1jhYU@:ZBWW躲LCE<.jRfp&Ά$GKVŤΒPAy"#dz~߬ag[W%o)0VV\sMmY8Ź}jz34ƺeNIe/n19*Y+ ~lFp@Z-0*{4CO@C J1= F5_ñ?'!ϻ=HNטaRρ㝿%L@gi0 Cg*/ Em1y_KhW : (n=֍ IvNʫc^¯cf)Bձ> ꠚ#M~Ͼozht"=ED\x| 4凜XFmٽXjF11l0Az[$|ҟ!k6w%)=MVi`}.V"?AϽRrc%ǴA\pT|c3=IKC3)Vi/ d'r\`| o.B{ %.}?"LDoj]h;^YUI''QԸx}JQ&F(K),h<fԨ޹SEǾ(yq'Twiv\` ;`ȊoK"rca )q~ t ػl} G?#M{/fD 'p/e]nlڷcURŖYk-¾{x=z:9M)P0_y:Ftzbl [9=4gnt"*ކgo"pʤf;4LXB pبӥgА#@7C^ ;l2/LF$%&rj(뗜WSẌu^5z:FʻQDt0a[^9߻WaIORoIkUG΄91s"-P>8k`T* ,|L @|RcU$)&&Hq)m2Oe(]FgJkh1j ~bo.Xxi~8a9uҗցzd_M Mca.7)qf,~;-pt}ʾ^Vm ?Ѫyg'"J4mW[x)ybuh+sZ̢ ;2a\^,n:Sm=%jEPr~dyH]s/.%0)³a Jh*ydigoB;T<t:$}',oE~َ;B\KϷfۮigإ1j4У碏:rlw>d~)='#>vT#Gx44OzeB 荅C|VʹipC /\B);RqE;0(LS}Viy1 q .Rv&lЎI8w_#qUU*yY3*EURɰ< 86sǦ|c$aM cgYZ8b32bfbe4eeca0eb213240183da17995991c513efa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5 700b51e0c45cfc183b096c510ee37950af75f94c  Lp