SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ww3 L4 w Presburger-Automata:threads=2elapsed=32.228cpu=53.096gc=1.680factor=1.657zXZִF! ]ŗXf1-/6vR[3 nQ@f0o2췳_C?XMX FcL6 `*>!mK6}04?8[oK4A%u*[X^ވj vGl q"hE&Vn(+|%oIΡ Ê1prXU*ٔyg˥]F'P詴5 r~ ڬ]-0M,fC*q'l. L5p}aL]ʢ+/Wy^ MC 6`3]6V洧 "'cVi8^}L;$OLD)m3Mn@I=)zo@kVXswc"ݾ,LVX!z׫0<ӑ%q,:YN65f6ܜ4d, *Nz{ )!;n\G5s-ђҀn@;E~369⪊?)pt{CBczس܇r Ol1X~Ej3˔ʠaEc4kٗ8{T!Q GJf`L\wfٌv2XQqj^-%tJ&vu6brc_g:>0t*ґ~ [f4;Q=/͊uZ(˧`U% !Ah"-Gv"C\E~qމP-kڞqpH1/ԅ(zCWgG!^*|d!Ct pF.xPcą|(dT!P:.D,/h,Ɋ$Fbz}-Wb@>ƇG<+dyy>,$?\j[X@SQ4wAMrjͭ3%܁!vBr@| ;ga(-ptIZ& ]|ʶn¢Aўi2;U1]ZG͚Zl^Ron}x3B;kG;ģ)xT+1ŹL/1T{#:pf0u,sIޓxi YR $+-}Q֭+<@@%[}F^9{ -ͱۧ-O*W&3F\%u*)äC.2¼yC/겗W'-\s_&FXQsۚs | W1Ed7w.U._ Xz}L^a}nwcFBo