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 ?# ,T ]% Random_BSTs:threads=2elapsed=6.288cpu=10.428gc=0.680factor=1.667zXZִF! 9]ŗXf1-q恈%kV^M[-dwPt#`Nf 8adY,)ۆCD,ynû_.4qRowabtn+u؜ԸC_Lm>iޙ6h4$&7h[ν6Ll2FY3} ?; 9s9Nز"f^5Og TerG(/e-I<4 4Ep2 pl*vs~:lLqs*}b!h% áqc'.y>=Eu<0:b$$-;kxH`b,&Hi fnbl6_F* _rU~u> W{2SJ-EeG]9ghJ(trVm@1+Ǒ94-U \tMAx/.8?N $|4pagiUyԥ|vY);pIwTNx~NaSl.bYv+`\jH]ﮊҫH5I~U,z7YXx'Ng-[wdY'ziJ܍Y`jgYZa00ce332c1a9083e2d2bef9526c0535551fe40d9ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c b7c4b18b2f66c2d4ea976d640e744bd66d0f58b6 4bbecf7f6bc8861615373bbcb57290c304914bb4 # Random_BSTs