SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 i' $T, ]S Zeta_Function:threads=2elapsed=14.467cpu=21.092gc=0.616factor=1.467zXZִF! |L]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪ+Dm.=,Cdr'Ǣ1w EHBqTe!ExޑVE2]5+I7-FiqvA^6 i5Uuy'f\F%x>>]0@CAj9 h,sefa> p 6,(gYZ7zXZִF! c]ŗXiɟ ؁#dԗm.o8S0{LUuڙmMmX yN}d<QOr~'kž~Qd8/LOV'  gYZ7zXZִF! XN]ŗXi%;CcM8(EQf܂w0%S]lBbVogZ+$8zȷbe@.jm!^7&6䀬B@ sP3vY&zNc֣8A\ Dܴd)yyV!))Y3`g 6?VX҄8 :c&Y $pO&t 5j&&/Y\OL;'[edy}t+}9ncl %5&@Ys_njp3 fMT_zó1ŜV4\fmJ,[?Ѥ=Q7<+U30RE򻻤FPAiSc"C16 l/ ;mD3gDl4?cFoH}=A#RtЧxs9 `K~8#KJva }vM!+M; a8؁o [E?7c/eEpK5&)<ͳ&q{cLa)ylL: z3BW#N\B%ɀо},:GWf`%L?vtLK{(!~@c0 S>S/J8Di$CT Ҏ?Є7xy(4-%L$SoΈXq1-5J\(5"j ;+h[̨v^']CjCU 3hky~tjwOƘLBWD8X)-͙ "{,!\e /?z?&cgb)_yaw";8B؄ X@$3քk{"-siGRwD6|OCyOxۖtt f1W6A3V4g|Ơj;6MTl:GMhbۀ&NR=4.VBseeo8ӭSPē"UhJ0ei Cu9)*Mw, %un~ HW#SPKLe&&⫃jDDy)tiY.aq_g{Uo6/} *}B4hjE+kR E>/p7ns3tfi/*l`2U]xQ Cn 6֑ߣ#{,v|n~x[_=}v]]xtQ6Z]2*Ǽ ȱDPgYZ157ccd2846aa017749023ede2ec826585c746e04a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 8db471b11eca6addaa8700e2a4f77314416b2dce ' Zeta_Function