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 '# <$$ ]%]Random_BSTs:threads=4elapsed=7.779cpu=14.764gc=0.564factor=1.907zXZִF! 0V]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($] d }L^>1^UsɔE!٬}_my+2g@a/e9^1j%ُ9ҕ.xEEGg~d TL6ಥDi 80o5af]v0#'.tg@A95N'~Ï1F+10 m8y0+1NIw j%(Vq9!UifRDWCVI1!e 'XgYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻m+y n7&^R'xib]m:ivٛSqDI"ȽJ&+ܩ:|/JWJ,{0B>xk#̳b]LqƆhlk̪irgYZ7zXZִF! B]ŗXi%Eb⬞pB,)6c3z\|vB -nԿ^r.RT{>)r&WGx<z E.slc{$J;ՅՁ&OE>8/hAUc:êO`SJ<|;)xr!Hh5+3<O:]M^ym>_XقYZҴʶYw4Kz@9 lSj3dZvO Ķn~e]FՅwU)|t~Јh@Nuuv3&}`@q#z󂉮Tkhܔz#nhKyiU3Zd sN))_ CkN弋#M ÇlJ0)Gvfbqeu[_ W~;v?QFaMz(I.8"A>QBMUPJ6\Y]uw50* H]/G%r+kjc Rc&mfD2XQ6[+ƲCN~5d-YK]C]@]+/G*_ka ?$ 78~ g`6qMK罊M.Co}nF9v KV TT7͉۷zȻq`șby=dE aSz=?V_tW7]0Y+jBM_nT;B&tW`E  jm [d"?5wk!n vd͖k)W]D{$M =b+~RW=br:'$7o2C G:6=_Su<,9/!$#l/)HE2kz4qb#'QXcϜXKr$ѦWmDꓨO&Q-f Z3 *77v_P%pv_J¢=|[49bE_+//W5!/@" YJrQn[ƌYږ 6;\ )1۳-ʻKXݫi-(I?r#$s|[~hSr,2Di# xZMV^`F2sx8AZ)#l/plM6fH;>_*ʘ_ Z଱gYZ1f916e8fff8ac3a4a6a57f0338a101725ee9577987d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c 276bced4636a28657af6eb788414550e6cc4e5ce 1dd625f937bf1a587bbf365704ac307b528393e854eccda9270aa77d4b857fda7e0da243fc1cda6b # Random_BSTs