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 03  c]Bell_Numbers_Spivey:threads=2elapsed=18.904cpu=34.856gc=0.720factor=1.847zXZִF! 9]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}zG.7Tm9DY<"ْ}J%XMmn(xW9B-?uW51fYh7G Õ-h2/#m<<{Q1njq$+eG{dOT#u]B&ꪚPʠC{?FL@#L' )zf6%R \%ߧ%9>5d@2C'%/=rd3/VnioɹieG_FNks\}qKOj,UJǢ -y8`'fpRl;. əWr ; Qq;{D֢߮]qwҩP4t[TMD7R#DJN b$(+]pgYZ7zXZִF! b]ŗXi%r <# |u8e` <-l쳡 W)7Mj{z.ŝ\$Rqz 2ݛg̦ѫ]g|=a 9Z|u_ u^19*Y Ej'$@I(oDD̥ J`j׉asNٻ 7 *Lq=Db!,P}RH}5gI3Ctz閚XUY wZLe,u/ PZeP\C{q+eP  #vdHgӏ>׀sAl'fs+Vmu5jɹƹ &!cC:_Ufvtƻ-[KxoJX}/sTu'0:[|\Gp~ŏ :%XMb<nuy_#9Ueo=u=Nf;6omI~l2WÏo*^.|?R/#Թ21JhYsc7BC嗘&-C ~]H[|< .#-f qcd7߆6\򭊦2_-yKNVq~1Xc>+ ȴ_%$AU_eZn?g8`׫4po5bqdHfwAx/&@k[7Ӥ9!,Al +~,ڵ+Zt%'7NZz{\IeWf-.I`Uy["fH^7kj즗. Z+Jލ![.VvǵiCi\["5 A%AcY/.a3Eg/=t`;)Z$eμӴHp (Jc??R; r;)_ >y,pzkژdZ#oHam06ypH놾RęORAXh1%ǰnm"Ax[7Gn ?4i#_UT+uy%aY