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 H+ lld ]w Randomised_BSTs:threads=4elapsed=8.921cpu=30.356gc=0.616factor=3.407zXZִF! 60]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1~@3 (~]:y: O#y`gCgǾjclr6"۞XzLR!kQg6^-Nd`ȑ|0u"AL껂IT˜9ַym)^t^{cSr>+2`a46{$MfRgS)Vߍ P=efjMܤѐ%X.Ӑ,2gH/}f6@w>w %%m9pxlEUxtyu}Y#߬%0]1̕_`oЍܘ@'; V>蕞y\\oуEeqaƛr _rT"QXG=j_m:P|Y v#;H:KR^05۞9ϷV>q}KJMtbA?{faw)zHDq'I v*gYZ7zXZִF! o]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗶ?;K\u94- Rٹ$RUBHhYa`ιSz*k8(~ݿ5ZN.gYZ7zXZִF! Hll]ŗXi%Gl;JJmm,^=Cw}W J 5) S=)z5N,u41F֑L/O& nO4Ò^K]@݃%IGIꏿc(T|, t97l[™%QKrEZ~9} 6ҙn#rnaSqu#|Y; U=Is&c 8Xf*{[4vMUq^I-&&cQA gI!ke4t$!icZfnNd-\5;|*=)Kizx<8pؼ\K#[^}Z)/Je.NwHGXA3ԫq4t):Q5mrӡ̀?o<_; 0URwX!L\W  -c{gYZ6bb2440a333e7db8b870347d564db1de91a2278a1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e d9471fa014bbf649f7787abae7e6acc35343dafc 7e37297c0c443aafbe3a85a8f60381da224a4524 500899b0e678cc19db0159cdadbdbffd1796df1d + Randomised_BSTs