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  }3 |L ]/ Impossible_Geometry:threads=2elapsed=10.860cpu=16.104gc=0.528factor=1.487zXZִF! J8]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jhMM('J6x}±Ct%)#,ti@3Sg\Uh}YZ7zXZִF! <]ŗXi%9(PM @qT)Emɠa-@ X"ѿ{EɋV/U_@0mWY\8QZ#HO##J9E'(nh%[*فMpLO?P!4xIEU"N*`c%Ax:SU*Lc-!F(v:!yJf<9)g /%mNո9 J n!ƯU )f"Y^ΊИ|qoѰD&%E܀qR1>?Kˑ1P%r9d bjAy 7PHbRοtwߺ}UIa/ОJR:~e0n "WD9T_-%w^I= z)pMҿڣh #xu/ ZL2]X[F7gSY~$OwQtNEƑ'RϧI|MM'Ly+O&7ZvzqH*PO9.t3FIXNexv.آ77})QJ35Yƴ:&zT.|ru8+q=Qg=l @@cR>i?1NwZژr]fK]ؖI(]xघQFnѳZzX4oud+3/"+E_QGaXj~Ljz&`e&T GF b( an`9WkYq9G1~Pˎ{Y/,ŝU>b_Off+"A6ެIlqbƣPIY"]>@ՙq`pa}{;Sk C %}U9{i;SB.G 8dy~``4tr e㯼=uO!|y֜NgYZab41465f381075e3ffa1bcd8e7b0329790b80506620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 3 Impossible_Geometry