SQLite format 3@ .;  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 + Dl ]w Randomised_BSTs:threads=4elapsed=8.532cpu=29.532gc=0.624factor=3.467zXZִF! ]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1mPq1T8RN+ٮ{y.}yB" '-U7[AZx*&Kxu|9K;Ӗʨ 7C/qWkDpkS}B7"ߝ+r^!ߦTrс[9,~;ܯx#%o,gV0pgfR{6K5~$Z(/ZL?ʕ&X Qm,+͓ZZ`-n,QH@r)sf:JJbz6!b>tG_qa/9YG^;%U)׆/ӽ>GN+_1`8 ZReMk4-k^?tܼќR%WR9U \^Uat]RPfNTEr3"0g BH@EgѸs$(gYZ7zXZִF! p]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬKЯ@ {ȎJ)S m;Xj|4]Fٹ,yejK3gYZ7zXZִF! E<]ŗXi%I[UJ~E g_Q)ρ$7xJ%Fx%Zɜ\pd*aP5H!{bu-s΁\+:1Q.u%PqRߓɩ{iη[!y'l ] VnXv ֥ 4ѫliP㾹 m\'aIVgT*f>9$'nS2"xWD!?nJ'r<ăQ>"( [ZPxUe8kA M~K;Oo|^Oa|d*z/Rwf/}9^,;}Ċ uUL:.j~BQ/uݲנ&w•d68? >Z* #:8GnQ{-v K@-~OAU  _Ts)af0C(:4_f,Zf.`,.\L[b9MCl{9Ț[%|fxy75 5"O><$ (n1q+r{.MH4G,wC*rrY(`Y$u/#_jbdZ$5vk f)gYZd58b35ed5be3e076f076353c59c5b0f3c7f043d85a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 8b95958ef3078c9f930d3273f90bc0907f6b6318 0989ac2fa713de984aae670b43b560765d93803e ec1f25951e867c3d597a36bec0d9a8bdacea1175 + Randomised_BSTs