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 p! | T ]/ NormByEval:threads=2elapsed=28.381cpu=47.500gc=1.632factor=1.677zXZִF! w]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# Yu_*ADa]w,UV;(cBK̋ &i?Do%#͋6R>G+- k~VݶIF'gEDp&XԀ|UeffQ`CkbȂ+ƻՌExq.Iޒ#-g-)k8wZrrdȦz!Szz r: G7\#k.rQ;7!9'Uo~-qѯ VTTOɀWxBvɊB_jC&ǻ \I>6hK[M"<d}mHdeZ@U@lc=H5)މ%9FT‚ԆcB>*ɘvO>o `EYr'w0~LgNj,r[A)%gYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.534cpu=20.528gc=0.976#q]E-#%)}YZ7zXZִF! #]ŗXi%;C?bDrǞuB4}·[L$kF8笪ٜALhv3R@H1*{^* 9^0~AgrY0+^qlHdlB1uwB^f" }|ck (hh`wVh0L );sٻTfy\cNP;[OTb.T8eR6vHO;fOE*a\zO?{EGGϹ*AM_u6NfiH:Ɏp'g}O盟8sR!x`D~*hu}Bթŵ=03kp hyH?1JQZM~e0|ϩ?GX_o~fVů'0߻KlX2q?`fb =$zYOOG@K14c_fmk\S~}L/vh&ehQʾfBtTηd8Tx4j̆Sןv6vz] z)~ a]e FE A&~ "sI^Gۡ*1g]'h/$Ȅh:9i?dmc>PW}/WQ1|{tpG /VBQrd*8hμr4d3s={.#G$SV jγ}ܳ=3X"􌑄1r3lD`mxlp0pN $X9*/^ .?,l}3ogG7'sWRI+ZMRo!Aȧ(F+cp`^Kr_"`OG((RB(CeG#UM@1T`Ҳ&dy_iݎD5G`iuusu ;m\/ox{#p3bP$*u;<V5;L.WTl4o;}$^ ԓ:렜ݙBc)$V*# C L -x4FV^p9Pc&r[G:d-7aZj·fB|=Ύr/zbndj8{R+ݯizIECr⣹MY8xZ_l@zp##2$5e0fw@0~U&0e7iuݺ0HT9 BY cgYZ850898e0496087ec22195ce82deb9bf1bbca4ef0a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39  ! NormByEval