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 .+ t$d ] HOL-Analysis-ex:threads=2elapsed=38.810cpu=47.972gc=0.712factor=1.247zXZִF! s]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'b iC6i2KdЖb*lנ){L Cd>tw3!Չ [3,y޸ғ-ĕGr'M?=a@X1+#/sD4\;$-n%NwJsqTA9W:` 1>}M44ߜ&-zu黁Qjqy?>d!e4ט ڏΨ2mqiO ֿhӢ dqF<q+\E+3vc ||gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.715cpu=1.416gc=0.000شekS T}YZ7zXZִF! U]ŗXi%;XӦGԹ2{$7~8/QoDsZmXX˘;.Rv F;1ԕ{Rai8z@+I[F?-FK~=_gF[jŚpfw9IYlHr~m 5oM磾!4 Ϭ%C'0X1+C}'wM8XhB!,Z`hzqmTFgao./3Ќ3vI OfhwJj)!ynH;bx6E$Ax ֮ɉG!aa?W Im=)e U6@k|뛑a\4tZmPgxO.^d떊IbQE{9)82_H3ƊjEBRC^0EP&݁OOȔ? ΉҟaKr!f3҃koCfD~sG=7!<ۤnW^>FC_,wӽ RՉwH׮=ڹ%Wpկ4s)f2qW)Fh9)g `4I!Dk5id5 }X%ՅC;n2pY"$falW$:L"WD;ZVZ~yF&s5QDVɰ,CZ~2$wMz(#Y%p2tD}~Gߊ(<N)Brq TVnnp\ȮRCc~cf1 -5pEвD;h#cEi |TG#)sqp?f,~dM4 QׁFǼ/AQCj".jq(VS<~jy@/*4w/Jt8DD\T wn"je.Ôdud3kC! JBajgl. GShK1Yh\ 0ͦTQ]fDƞF~|\(+Dv+hEѼ>RJ?6xR㎝'³ۼ{ӛ7cT!uOi1Mt^:E%FO8vZ|-ƀrS4e{9.d N~3Zxc\E8/Bl͒?gʵѼt -UEyϛeBaKgxdҗr%FcA֛R{>.MѤGYʜ.lš2NIX\&1vazŲW6LJI{ m Qh=E-)O~s&+ŵ%cf7kT d!FE4.sJgC:MGMg 9gۦsX! 5~{5oquMp> {?|Y MU3 fYq7G%%WW^I7dM SCmə 1/ |EB &}pE]|~g נPܺqb⍌|X3mEHPקК/.gYZe021b88134814d346dc844ce63d5f30f9b813b25848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 ff352491d185e0906ff4ffa03a2c6e6a34be2eda + HOL-Analysis-ex