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  k k7tl / Gauss-Jordan-Elim-Fun:threads=2elapsed=2.924cpu=5.464gc=0.068factor=1.877zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc"}oQanQ4ɛ|@ LL#!~á$ē}y7`x1l0CXme v?d Bz'O"E1lr* pRl1E{ZtX0!,WCW$ƧJ}˛K6b1;]#QZ^3D`d}YYagnv`6*(gYZ7zXZִF! A/]ŗXi%qjdlu ћ(g[ZU;9yj?{Ҥj xFէ!L7Lkys {O5&}ҜDO䧁ʈf2=p?\(ΪAzPE ^;y(r8W{B :!s8X_4A/ӸL&K3%~ӬAn͠m!?`عҗh/4" |cN];e^kGhcKi04 R\v̮yQ4los6Vs<K[!MV4s7ˍp~5R3 JʛnIĻSzIŁ1iQ;MDԽ~3mYRPrAŭ~فZ#ofWzk?:[E'x| W;j5Axx@Z&_DVvM=+ K%:Ql7Q#TH2]I&yA,+= ;_. mgYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189dc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 7 Gauss-Jordan-Elim-Fun