SQLite format 3@ . BBh77otableisabelle_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 ll# ,D ]I Random_BSTs:threads=2elapsed=6.974cpu=11.124gc=0.676factor=1.607zXZִF! B]ŗXf1-q恈%kV^M[-dwPt#`Nf QHQǙQ@ΕyhmsviլPqF& P$%A3G,=Vf=D2Эh톧q_(_>lvKmު1dцkNj(_1b4ΗXF]3lH.nv< ~ڂH]"CKϪQ;P+(T X/vm]X)l < }˷Evkqp S)&o].K&-R3-:4fg7-v)R]H> SgYZ7zXZִF! ;]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Z(THteQ,SxKud oÿWO׎biYλx,Eu?;faXmL=A+S!YX.)omho~h~8GCϡf.#kGARD k$^oe>NOӟgYZ7zXZִF! *&]ŗXi%6.6-5(⺔zCDOLL7,%ڤy1׏EхQ Gѥ kXT}TV @D뉬*WA%^Os%ճle}U}"|б vF^O|8%O n{V]# LQkF`83~\xpihgpeáW!7Z㏭Gy?T &Aiۖ[Swɞ~BoAGKJ] Z 5T @{gbA 7df̈,].ðicC=dYm k+ gpiz÷4yζ2C;I91۹CX]:nFc.:h<;W1|f9h/!򋙢μssPGs+,9UJkip,'Kv$ (ikh=1+!}e9| R DNGkG%x{sc?b^ )|LY]sCah^@BV\i)adWeެ\ >`2-g^+eXJI³3Qv:%hlҪZӥ# ԔDZ~]aRGjVRf6{ZT`gYZ7918d1fb7144569f3df96c6969a66b249ee0f7e9e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 f5a019d9692dbeaed65ec90467093f77d7bef3d8 5ae95db6070147c469d84865b252e56f01538b32 # Random_BSTs