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 ) $| ] Binomial-Heaps:threads=2elapsed=21.941cpu=39.752gc=6.272factor=1.817zXZִF!  ]ŗXf1-/6vRZkc- R/{^~xc*79%\++$z`%)LLf/3Z\Ĉ3m,ե0Vkh8>wJ5T9_Ҏ7~>F!t3\O*r.J-> nϛk_LPp˫)l71Z2_}|W+FqwNy>0 {B6 2Ǹ;1X溺hk5G_wۨO&S!$5(!mePZ.Ak;]ejS8kqكYnuhwIǗj`T1h_]zoӎ~cռRvJIJ`F<>5 Y|Dd s?F JEջ Au i]6Sƒ!{sV#/ODŽ"ǝ kY,bz;naD%>T,n:%¾ E* AIЪ 7Eg0x&o?5TF>?sJ;֌!󀠺'UYBLV?|,UX2 qu F6'6Saf,M!V;sC/1<̱gYZ7zXZִF! x]ŗXiɟ:Jc02߳|ztV)zEk"k.sVNCk4:v:aA yjkvۄm'?4h:U3*NL!%rjvʎ}̀OgYZ7zXZִF! q]ŗXi%;CcȆw`XGz[H5Y:oẤ 幙*PCެj&pL%_ʟ=ix+A DP!bO$ ]t{g{ds\ޖ)Qai4bQL47@1=ףoAX=CȂ'>ןtH?J ؕ{1FCfv'ZkLE+ªрG4ҷrBpv4>cՔ8?ФY݇A;(1TxQ}OkFQřW.Vy~dԞ l*܂G}z]f8񇙋gi~!T6/3SIΫoug:n޺ 'A(+`)!WRLt%?/bFG*`lKwZsoRݱP)]wjF;lqFqGA`ѓj#_O00$L`2oinTԽ+Op Qg-̲We BV;BNhdV2`z{)Yp5̓b0wٸ/h$5نmU8LY޼k20|P. DՈKɠ}V֌̹s3M ~z euÅ * q02obr(+{ X8BH%@?u'ak06$ï^ g{;q`Pk)ރ֢ E,ިmƤr7q UV|-7եzƳn~VK,D5ؿم: gvC ","neGB`- Fa3|+U7u'cm%-$h0m9J`IS $`gYZcf3983cf2012eece0ab1d3ea9acb220832bdacb1a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c ) Binomial-Heaps