SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 # 4\4 ]/ HOL-Hoare:threads=4elapsed=24.622cpu=57.796gc=1.572factor=2.357zXZִF! ]ŗXf1-qSqjq[N),:ʵ?j*509`hxŐ3>Q2bQ15u%gXziuy\)Fɏ1f! 2WQe acl00З_LXnUZ{PbRp½mtpʪkR(Is T e:?Jҍ:%M獹ՊQs.)$Q0˽'zieF8yDv;R$=KI£tVOB O vP\]+Yw/UŲ=Xl '[v_?2Vr^lV=Ke}d쑩RW@PRLk <0?o=j9*S(`; pZB?D[!'Z}. |DSj6=}yn~NFOu_p^i/)}ވ@Zߺwɔ<[ -l5Λ['}9 Ok32+i\M!^Ґ-򸜺St-_X(9Uj2tvψ4T7tz5x'cƒ  f P߉hu  &(exKX5Ə{JJ3jj?^/j C>ߨd81'Qn+g%(x~qk! d1G6`ٱgYZ7zXZִF! V%]ŗXiɟ1S:Jg~(dSH{O'1GK}Fʳ9Cq#j`؁.R 2 >__$#=T˟oApp6P_% *KN94k#޵L7m)H.|`Z(Q'߿Uxc{TzO{gy$q!u G+^I E܏3atƓ:J 9 0z%wXKE84ֱgYZ7zXZִF! rT]ŗXi%GЛfVB'c+~G6e%c+ˋ֨{;DQ嚵VBG+oUkB-"@u!H`E.K\PH?lȝGQl#qw.3!$Bqr0wB I7TAPבQ쓞W! -Q6orQ¤1f %bom/L2>Rؽ<9)D¼Јk70(7g$h4( ! K<}vt&[^e>"ZJT|c\~ݷI}+>Kj} yVD/F2/l]}aT͹4%i]owǍ /oao#|@d}Y_VME2o!_B=^ʂ! E߮ LڒNp y9A`ZnBhkJQY6P} S {z.Mek߄ҷ^ 1]ZqD^ wb{_et"!@>xQ jd_B?xp\$@cː@S xO;"B_ZZԔ"ƽdupֵ01gȢ[U h&%<;;Y#xa [~ IhUztn,it׀;gN L vA̖0C4 QETp&|oJ21v/wz+vњ?'RWiRWX抧rj `iP >fYrA6m ʃtL`>;d5@/'E4qBp()\YS b SHna)},4K6 ۶k9ZoKdi72FHs#6$vX %[4 Nu q2n_cuE?b*} tJ'Fm, VߤW{0ÁS$ \cFBxPf3"~Gއ|t?-A%ڋnsq폸 .ȝ(GgH,C.% a/̈.ݧ5X#*'pܯ?yQX7Gֆ3\>}#=εZb[ d43:%0WjXO/"XFk#:o?lq<ȏІy6hijC4!R7vHp޺mABrwHILS4c8}eڶ_H0O~e|d*79Hb `dWjki㯧GQ1jmEP6i:>  2]ٖz]5`@6Cu;Cm-x[;q]xH!e]&Ʌ.kR\t[Mg~[8,$:LK1wZ??* p~OuZ"AHu3 m`:-+ * +FL1ĂK%H.(GưӸ3 4ﻎٳP,+DntM."Bj.UsR0s8pSYB` L <vEh;gZk RI%@Po;ts%>J8$T6enAM@i؊*݆