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  !7,l ]/ Gauss-Jordan-Elim-Fun:threads=2elapsed=3.215cpu=4.908gc=0.068factor=1.537zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=BpPZ.<͗cUױ,}p=2'"o)9rʹiMoV'S"cfB?0@ vtbTw>fsFGM^hW,êް ~ |YgYZ7zXZִF! _Q]ŗXiɟPߋSꇮ&StaF X_d_0V{n(8{svHm7Ɨ>9*AA]cd'm`g}YZ7zXZִF! m]ŗXi%90ùT;=wA)iD‡VƁ?UWџj8Ly6ȱ=^-*6T(ceXuv?vpsZ|'sPJ;9>/[Ik 7ҸY.̾8rV |m -1%Aз ^gYZbeedaba49aecc072266824da17999f2491d58ae3ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 7 Gauss-Jordan-Elim-Fun