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 _3 \ ]S Decreasing-Diagrams:threads=2elapsed=20.898cpu=36.072gc=0.912factor=1.737zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4t#b1`ڐ&!}]n͊E?Gq"SJ/\di✀nNTp$'JU;*yz<囑FJϴZl8LàxA܄d;wt8㖚$)\GҀ§YEKΏyؗ⬷y^J‹¸IAa˰0[=u g*% Ѥ 0 ikքJ$x^t?RXCf3Ez%DwO6rwcLvq^4Hs6ҍY.e9H~ ! %}ͺF:Qe;9⥜OW{N߂ zE;,oD5`.]OvVh!1ah~:YӥLO9mh Ģ ~r(GV; / y5-+cбgYZ7zXZִF! [L]ŗXiɟhb[@%= (]T^ѡ`Ӌ\хN&ml qF`hIh\[I}YZ7zXZִF! u']ŗXi%93;d%n̏(L" $&lk*MKj @MCGY;|h*9VCuW`hWn?@tSړYc7_C՞.l$z*5ms?iJKɇ9Mڝ]O!ln`1UZp`u_a8MXGGPďcB_ZB*)ip V^;:ݣA%5RAR]L cj hj-hP࿫-5;Y+SiFO@hsӤP͔9gf e O56=Iyʼ mx u9Oh6O@~ d寲TY>/2o:gʞ#sXT 4mY܍C0|*Rj-c>y0%s[+N @4W'LtDre.[NL#I:|J+Q L+ ^^^ykzD6 EԜm)[f"H`M4ϔb qg'3)#Y4c#ŎqekVjϴCX^mc2@$6+-a] a|$oyD-ilAOLm/AP/d_&v q4?3 *t"Zd0mi#& 0IWڬ;DsE,leggV>3:wd%P{ߺr=f$%T(L @19@q.ӽ!v0v4hǾhaړNvp]xvJ7_8m QOGZVgX%b