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 U) 4 ] Binomial-Heaps:threads=2elapsed=20.022cpu=36.504gc=5.932factor=1.827zXZִF! +]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=UrɹEaN@u#3L6ۂg/ `:@E7?L9Ԛ!#_V|~NjD |whb\Yc}Ƭh9*f%p _gfU<{_MK2~@&u+˶KS1aj+7S+8}ddUtVݲ㊜=/N@ EI x&/Lep: { hs;: ̡~.N 1!dҮxz6=Ky;'&9PwZ ^ 8٬Q]|kOpW3#|Vd|3@Ы bTqHeWX}}#D/e G=YB‰YU}.`sJмpjY _P "yDKV١@vkmQhǞPI>epPXFΣBj䲰LmQk[mR8#vXYgV<'ړIq_O0]]N>BE"h4{. 8>G #<8mRy]DIMT$}w W%T}YZ";JTKTr-diLK]CTP2hADuZoB2КE@k_iUűq<Po*p8`u+p8yaD/h1|+Jۆd$Ps0wĻj/KJ'7W҃Q!2kp.(QO[}晏mwc$GBsWnkb 1qC1H/~,𤏓7-*ssXЁm~j SV-K+Wm̔P;Vu8BW(c)kCz Y6pzYc^B灋K%̏tP/O#O G7_Da!:eolvSeጵYڡ?W˦ C)|0C{`Ƴ^x{VSZc#.oo4(s6mp)j~ ӑO 0g);ӏV+,b 1YœG_?\(R;QDOY߆nA~^f-}zM~oyKG#Ώcz fx$Y/QqˡAedE%|C|שHrD-.B"~>Gtz [74З4[W2ȠN߉J%K-}JC]!Эgq[e{AIa)STU ;|$oN1idL:otq汄[x84K5bxB=dcy&{4BD xrD&mƤ]kڤov@iPG3ׅ|sv9XI(6yHaѦdpO)A]\n3<`IY iW0)PXԸ Rg/dD/`!-'\Z q>\] jgYZcf3983cf2012eece0ab1d3ea9acb220832bdacb1a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff ) Binomial-Heaps