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   s' dT\ ]w Zeta_Function:threads=2elapsed=10.256cpu=18.700gc=0.452factor=1.827zXZִF! O)]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߢ#pѥQ(٦{NiCʂoWIxN PFZzV`@hz9ʋlwv܃Ͳ`LaP),;w6J 3pO&C>NZje! ʊvyM;lu 124̂/aPs+uAѕ'.9fD7%‰QJk ?^v? νV*|S±gYZ7zXZִF! b]ŗXiɟ ؁#dԗm.o8S0zi j" (a"R9{m I15W?x:264փ;~G/ qn SꀨCs=t=A]xC 0ar6rAƔ@LDhv:ÇJ1R;/GRjv7\'0}ŏGD~);zNnrw0$5}A34j$n,q"T%^:6E H5ת'OHyǑb!yxjrsf:v1 Fȍe qE>;ڰOiN`WF;nm5?!2"4j2ufwY0-]@9Y,?a(!Sx,KKyY(fв$^8ӾuW,1$!l%<'$:'~ ?sф7clBF" 5˫ϯW()g'&N8?rȄ T0q.HSN{f{R_N^g|Bbº׆pg(<[a,zpE6p`%"eg=TAUTgA=w+3a&X2Om z Ak^DZgLW~pl6jpY5Di=$ؿU"PTFu\ma4t/ J|t!PO۪ۊ&39T>$5(ץIڃ}ڛv~,b1fl Uo?2cr9'1r FkТKIA*yս9 %JöLbnm g # h_evQ4,>զj9odULjc٫M?\pz>s/{P7xBź4y CF'X4[sRΡ4\=?jvD\/bu2ZОu}J3i}:QV `[gYZfe74d7280f44e0122970c252532d51b919d5605e325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1 8e884ea8bd9b317a0478e627fe003916a1b5f463 aa82907db8d380bb45974de483c69bd9d47d27ca e07c563a413b78a6d5652fca3e95ad61469d5cbb ' Zeta_Function