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.334cpu=5.144gc=0.064factor=1.547zXZִF! r]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=Bo"FVY,0Ej1hƒm ݓkmN"Rt3&|1ӏg֎>0gp<_ [7a@#G]ix gYZ7zXZִF! _P]ŗXiɟPߋSꇮ&StaF X_d_0V{n(85X.Bi]l_Vݞ&OWl`|}YZ7zXZִF! J^]ŗXi%ή++ɟt8h0?%۬aRBjq \AB]*|u N)!Q[& tMmXZ. gfm*B"JF2 U-"UzI|ekyBwW)u:5?Sm*% 9)xВgngx橤*4ü y0uB5׶/%@/sjzQs1X'8ʎP)t;tv~]iN3R~OgjmXYx׳(MGDMDu:iC J϶g Irؼhо0D&B}9 t8LMD1,,QQ֞>*^`Ùg+1HTI;xh̙BM4Ghnŭ~!dО.ǭl0^[{Yvv.0[3Nhr!rkPg2ޕ OD֓L|A;cH':Ց&UW\Dp o,8<=gYZ9863839f79ef2cbab2955f046abbe4450ff2013000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 7 Gauss-Jordan-Elim-Fun