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  s s 7dl / Gauss-Jordan-Elim-Fun:threads=2elapsed=3.014cpu=5.560gc=0.052factor=1.847zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc#M.tFc:&(83t-ߨz9&8m("N:Q? r*9^4 q?р{_X_7+O]̧ς:fEYdcK)<-EUf*7/z9Q::G <cзޚ$[SP'θP'XQ,*@RRTk *gYZ7zXZִF! A.]ŗXi% D>~ݼ/n/W¬) sw#=Yv䅖4^0}}"A[:D9۵E,Ykgy9q8A.p*1m o"jei!ngpb^RC[!@TE.؟4Ua{W R]hqwr{"J FRU i䟂ѧMX ?X I9M{h-2"|t]DxvR9\mCftcmF&X϶qFRƝ3injyW`͟7x6I6Z7!nj u0D-DsIBg>Zc<ˌ饉J 1H3ެW2Z#hb \zH("x7).1hgYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189d9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 7 Gauss-Jordan-Elim-Fun