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 ' 4 ] HOL-Cardinals:threads=2elapsed=23.181cpu=41.968gc=1.584factor=1.817zXZִF! ]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")qسdX.er6Y.F{='f{N|qkoG<US]aIL@ 엇s]L۪:&"'^NoYaī/ NmlFdtP%kR5/iĉɫB.ûk!߹s?=Ҥ*MCVб>x%΄7ȅ,H`E-$5Šl\۪og֖2dL꼮3pm?=-=uYΖj`g5,m, Κ=.  I'B%V$ze:D%G,U:67\u}4ߊF ζ[i2a7%E Nd\<NyKk1Y,lmJO`GO00R4gYZ7zXZִF! =]ŗXi%9(P/bٖ#U.mًtcw=6e\b41bTڳz4 Ѱ'N؏5NAAl aM (xr\ϱX&d>[5+z˻ :QrUk xXx=)H{4 Qxd Z :)l3oqeܹ(~pG]d&jמo Z0Y|_·d^a5UVFbVrN:`tO[P)"R4o?Q/+',/-tsﺛ _DRO:pr:vasʅBL&b޶`)|Xe+mSM-tP:Ǧ!k0؎GIv FRm&xgCC[$57FhGTpq 'qhk"I^+ yЍB:~v$׸<[ IiR~dbv|MM/[`\"LXu˧ԜD}\s-R/B:-)vI`NZTWœjwhOzϠ)3nQI*dkg¯/$ -ĝdͻHm9܅Vey]BM̿D'I Ldzf.|| A&_?]M*w͢$CyB8OB{ZdXuXsф1$hZ 睁̔>M>XS)]zNٜDf e>MqWȥG߭ < 4,"[7'Th ܀R2._$_e1hw,S ]TMh ?u nՉ9M6 _>s"MoN[_\}_L. (CLPvaxT c(] &:Djos'oع]ip$|}'*RGĻ::{n0m_Z&cHexz  P%z*jnl7&^`i-FW)7t Mv ě+"샬2EKlA\;MZhz {Z^l E_9:3CGF X?>z! :>b!hy6}3UBK[hfˁnsB'\ 0@>%lgjlMῥsO^@K 1J@+;}~G/y7Чq ӫA^Z3FBGq'0w^}޻J )E(8;F^dUL~Z&Xc /C?wXJ~7'Ie"