SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 kk+ \$D ] HOL-Analysis-ex:threads=2elapsed=40.773cpu=50.064gc=0.520factor=1.237zXZִF! h]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bzЦ}N?)O^߬8Y]Py Mrsx9A5T>2E(^y_g3r0}UQ"={N֏WxXG fqr6㴌^3+]v寯2Mm/vr6^9^ׅ#?:{vI(qSW# gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.736cpu=1.464gc=0.000`NkS T}YZ7zXZִF! Ņ]ŗXi%;3asQ_MhH _$W\z Ⴍ6B/h&OnnWx4%p$нaП7;Q=9o_/BoẂ ADb4{S0a,6dYzIG;{ >S3Ph'8)-d5t Ji^jzedFL^[̴@bu>A(fb9B˪/<(XxZ]hGTx\ڟCa3XEq⯯l_mr^CE`_:ER%5еvFtAw`p[x*ɢr56],"HFavdXnV!O:HI}_Y)?4:tP?%6dۚ97 :{<Jp3) 91[A]|DAqtj^h p3L60wt1-& G$d5s -σ$^ޕzoҖXdWanQ̹_t/N\s4SC\_`uYFd&/l0baxO[ױ3\TO楖)5QwvoJP۬E/Cyf7,x/iQ mYG[K7xZ41$5"+/? ~!  gun1%ULb1Dҙqr)'Suh牰R ;9BpF3,G~&>+{CԬ̺\)ζQ\%}{k\Sm0gN xBⷷ ȇ 根RazV7ïO3p_z?i֥DԎ3ZAzrPU9$(y^򔺱jEMZ1Pe P'-`&`;%-F٭gO.ggNU(}:@S{{-r|I|iA3>Y{ N m1"P{CmHfޞSP6Z'υ7:0WvcȎmq[1Nh*b'=5Ĉ MSQ o݂~fR\}%z}3Z=dꈆw·+S~I'*#X'%&}DZ` VpsR:3k%ڛV,12Ư}iC{J}{#`MbI òU컉,g'i:i&)l/)O6Uf ^k2O6hoڭ|A:Uf2X3/ß$~V?6&0Q9UnjbH-QRoKNjĄfłw+m=J¬qmRTW025jdhvJtJ'N)R$El{-D ^\XZt-'XxD6-\ĉhL<'gdG4Tj(憬y@9 o Ӌm -0ftkMJ\o_UOYj <7Z^vq]j8fStw;c3NͭbUߺ\([