SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 uu+ l4 ]w Randomised_BSTs:threads=4elapsed=7.838cpu=26.844gc=0.476factor=3.427zXZִF! ]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1Sm&ncy.UB:QRT'_%Wڣ% q֖ntܔ&aa 'ܥ'FGXJ|˷ˡ'!-/>h][L%#D-h!⪒֐y2PW1rcd=GgBƲ!>. vbdCsH j­Q{v+/RtD+ 1 hJZ2RK uǣuT4 7OIDjFAe?)K._f$v~`+zC749G8[7'HudiofroSO&unQ%]s]L\,#q ;ܴ$ 9 N8Y vI_Lg s`j rCm4Т? ct x',gYZ7zXZִF! p]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬ#P:Eo\CȊ 'kKbIf-35LxH3s)yI2@u—,jK3gYZ7zXZִF! @]ŗXi%B8_v2O|?,\5*]Fڲ.@k?^:X+C%Kšyi25R>%l)0qf x[A\E۟&D$!xOb!;pGk ߘ PWඇF^^D/(q=)ӸBs>ϸ Ts*<}lQW-[* W<(#Bړ-w4,Ʋ9G`gѧ*pK]UFU)<]^yTRph$:5VW9g CG/$9Pz/ )JSK$+-4 PhnyPo~8b.ǟ5woZ@z`L:pp#N Xe%vɸNj˅9]$WifG_Գ'еF貇BѢ+eas$ V2e%[嫺̍R/cn_8(@OpGe'v! (y9FLe^5ORS/m-?bU3e@ƒ7k9n]gj2#߲KWCCP+BphqK=3H77Dܺq!']RlmmNsJuTobzW)yz5 `K1] .;eܳ jxVWCkY9*Us28`L-`{\f c1Rk4Zvcm ;egYZ5b53d1429f1f1869c9d78c22c5f4b83ece599a1dddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 52ddbfe09c255e7c6906b2f5686e64c16948899d b6ee8bea8278aadb7c6d51b78a3ac39c118f2b11 2d5ea00e5cdf4203dcdfa55e957c648d12c0e182 0a0cc432396c74d812efe156b6d8117c717016ad + Randomised_BSTs