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 dd' T ]S Zeta_Function:threads=2elapsed=14.688cpu=21.016gc=0.576factor=1.437zXZִF! A]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪ>XtC>˞trͅW4E?cHK͹8q 8l/éNÉ܊"=H&FIQ~2S QMH9\bUT>t; i#߃B``V;Yo3( 9G6w16PM񩍌-kt`H\s RZҝ񬒕MwsD:SqAN:>~71EI^u5ӆ2'l|iL]n)ngYZ7zXZִF! d]ŗXiɟ ؁#dԗm.o8S0{jhayk{ONmj!3 LqĖ,Lw8D3efjmgYZ7zXZִF! V]ŗXi%;Չt{?fg sюgV p){y$_Yό+@)Z_#~bzUkKf^ft1)'~;ZGn79Mp)7&6E X,L gu98Ň0z2ck4+3j(SC]+},/{,O '|L'xF$mzۿΗo_KRZX?l eM\De Yi*yf.5mU,a̰9dx(~ds" 05n w2*hMR.l iL ?,ȎY'|%/A;@iIkq514&zuxfS!h Ess+nXuY.[O#!C}qjC*9}@? |KfWoUh~FΨκ8No-Zd tu4A0Ggr&LSTOLz@k?yih7z:ys4<4wÛ [Č}?0:l2=&+TEB᳔VK}G}|6@xk$hUOi#Px~(¼ޡ#j(ˤBimÃ*yf”|-0XZ0k=*zB2x* h<'Eh=Dp\ AgYZ254e64adda0ef4beb338e8ddaa5a7a1b16f4266e79d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c ec674435ecaa12dcee5b74ea1d46af0a9fb15bf9 2714873e21650e15a201d4652bbdf389bc2e4a1c ' Zeta_Function