SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 # D4 ?I Random_BSTs:threads=2elapsed=7.542cpu=12.028gc=0.720factor=1.597zXZִF! \]ŗXf1-q恈%kV^M[-dwPt#`Nf QHQǙQ@Εyhfum aZz2;s^M\5Ry8.1`qWX0,͂vj_7c] O;xH̅a'#,=GlOC] Dڢ3h*k#IlpFq"bo(KKGMnϛA6|¾(p_)z⯶LXQ $h`^ߕ-Ѧ *-긍b9E\sV\ӊZipi2ffág܊1t&Rzm¼0'mʀ`t7Ø W%mᔍR8!Nu-[Tn>հrUG咭 o&h /}+[O;2R0/74qJL)4>x 1$,kY3?Qz*Nc^%9AJu0> 74])^e<,:OEh7RkC8]3cd .ϙPd*>I}ȦlzA-:O=.@Mo&(N?^}^H-(@d◍C0+yeY2IɫP8;@+'Qb^H dy0$?,WRriҡ(c\x+O)`Fߌxb#ip>9@:kP#%dH.3 Z-eDtX bȱgYZ0c435d5ba426f4b05fab595c7c429ff2382923b6 17b9a1585aef604e28786415ac55e6599bc1f806 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 50fdeefa9a7f8946f6cf9d894d68a501064e7938 83fda6acea4bb2d116afa192a319844acbc14dad 9ad49c6d7adf0a95009fbfa9172256ff4f4f641b aab851782d89b2b8383eebdd733d565243178f66 d93c8554c222a986e1c3f47e515ef012fc16a636 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b f893574e5def72295d50d1a3beb30634576a549af0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 099d6146b83efbe7db34269cb1d2c2c87eecc7c4 50fa91ee8fe18fd2fde8409cbc55ad1420b6b860 7dd8a88d169fb2215a75f1bd3a631cf87e1eb137 # Random_BSTs