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 + $l$ ]w Randomised_BSTs:threads=4elapsed=8.802cpu=29.684gc=0.556factor=3.377zXZִF! c ]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 2m$qL9-opҴMINDi+hς3 (H95s,jZy Q֣ $UyL8 -j鳏c)^h=~rڪ"zAd]:pR 6KYx'ѐB2)Lc;4 a ."&+Jh!ó͛؎F?f7d`Mح m dCGW?]E[W>qyt a i0$M$uˀ=M['j1OC{)J\a1?EUSSRHa Ns5f![F-q{>EY}j4$fضA]98T OTgesyOnbEGV5 Ċ>!!nD 4GE ^VD"v}AZN.gYZ7zXZִF! EL]ŗXi%BLV'yb@0L63wf5w8H;*Lԉ@imit(PRr%!! Eq;Ń[yYE7NySŭ /Μozެ!(!N*.c^?|\aV=5c߃tB2wߚ?"~<+VҢնO Ktr,xoڷ7$,֊+_U$g[ikltA%ՑM}F(IPgãjXQ ( ?E׫%{C(×lu!Ag<[!;K^65wY q qtҼĺH-m_8+/ )LQ;b !]}v8)bQ0ep漥w0ΤY5ܘhސ֍&63u>mdz0Ԩ:NaY;G]#r鸢E,9Ttn<lZVSO?ev\2b-h$b>?aD !}uW0%<bLS*m9.!؇=]!`0,LuC_$0$ldpR5q#*w\W7\2av>33QlL?t3]vd׃Nޔ D:d)aBR_Cuǀ W Sq؞ȳC*J& @uL^ %Un5b0S*va\o6ETo4л5U]?z}uW9OT^V efy 2ҚqC KwPUG!O,xEk nf.v7fQSfiZ9Byڿ{I(W.:\3~)ZGsp).!p?mbSJdC=3Q(+p!Th7z;] ˟,cS,D>+4umUHOXz%6L>"I&(p Ul7(;UξKɿEE^?nRJ2&pѻ%'bF#Q м>]fIPjZ`T0f}v\cIQDB$A`1o WaAw:nf`$L UP <귱gYZf6916e1457e2cc933914bbb9af5fb3386f29cd333853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2 eff3c994bb1fdb08815e8dfdd79dd4546fcdedbf 31727c4322a509c791765122a58c7cc9bb8112fd 0047c6d741aa6c3c307ecd50dbd77ecd46cc6f1f + Randomised_BSTs