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  9 9D+ |l ]/ Verified-Prover:threads=2elapsed=9.449cpu=12.148gc=0.396factor=1.297zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\ܶa:q%{ri+tf ӳDyTJK̺rSmdEFfҕS a.B7;RVKi' ^`#S xۮPd_cg2y>Im<kK 6l!aI?[4- OGogYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPA|Q;k&) k4/eHwCJ$<cKWX}YZ7zXZִF! >]]ŗXi%;CtjVZ_)19,y}VlKp"$7FARA!e=kHgXB8 X"ږb5 ꑺhQރI/ՕTƈ\5uA:wHCM 7ph zW=5zQ͙l}HGj l + Y}SilE3YOwvoE"kޟp|uMv}:alkzf[YeFS/C蕊ۏZiT,.9^ȵg CG+{Z(y0uO0 ܓ*e1fJ *,+&, 0d.1\GDmߤA>?}J%rcUdڜݯtŒ8SY- CmOZiC̓c/5a]㵎0 ?AgMZq!Ry!=Ѱe|BsF1n|˻!gW Vg#JbYb#'{O! Ϝ(jtnƽ[Y:Q~ԗMAU~'l,i?jV)BMsaV PcFgE!<=j7S:{jᆆm])is-U~Um Aܽ$66PuKϮx)Be2:HH|!zV@mֽPe?}σf21 ,=xaa[1N3$+Ʃ(