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 F Dl ] ZF-UNITY:threads=6elapsed=4.912cpu=24.628gc=0.856factor=5.017zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1`b,0v8I?in?T3{x |p$MXeOWd!yL~-FqF27PW&F|o.1汮LSZ'A=%+Tae9bw6#Mrkz Kf)=Vv;rH:*sa/H{*3w٥7G,eG{5r=|eK\krQoP$;!7v AMJ͔4*S}LCtr%< uMCz8U!g-+ frrH|Q4R'r KvڟgFMԸ;m6ޥ'gPIu^u=^gYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP7g]%ElOp[":TY&9ܣ5S5]*o >{γrDP7Qb,POL 4s(%OW\NR x=ʄ0O7kC'rXNVݠX흹&(4fTI7%e;kM)Ň:Ep.Vǣou \ٰ`CT{yX_%f(%1jAވ^3"W(^MuP9Ll3h2+no> D3TuÐ uv=b y`gYZ7zXZִF! ]ŗXi%94:e6M̒= (U ̘竿5 >J#us$<0n7 }xD qIK# Ճ?ZbgAK9|܎) ̸ͦˎ#Յ!} @*K>kF;D_l0@nݤKҿ: \X&gѴlp Iȋpl )UN0dܖzа$%m+I2sf,TaQ60JULĶ@ҜL8-PT""҅Qyɤ6,>L}4ށc=9 !JAb{6b/*ճ1iﷶZp{>-̚wdb5z,ؿ`eov3-9ܭ8Ԟ+{8|v;C55MmON4PS/gIV ,$<ܞk(?V(b;'tM SH^/x[]-@Fx٭^$ A}]j]զ$\̓">.>gf {0"aiN{aRl9$ ֆmS|6#WY?vC= ts݂<0Ooo'Sk5'1)TJaM'\@${8kˡc=:!`̼YzM{)DBkJP3E]$gYZb15acfe59180e24fb40350caf7508a62dfba6c24f854ea4eb03a9c8a56164c4c9f9900e0cc800a63 3d37f9fc1d335105901a2fb93ad50f17e15b9248 0af025b1e67e48d9164cafa5554a0c790ad43c64   ZF-UNITY