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 II4/ Ltt ]S HOL-Isar_Examples:threads=4elapsed=3.616cpu=11.564gc=0.516factor=3.207zXZִF! b_]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9˺cKArP)ÇǭY4_'oWIB[D"9 ?߆_^.*C_I~QGss*ݷ=a>S'\8?JX%(P)֖ ,h*VW$x 8tl2V Š^UEU8Rd`rv뻗$:,ufS F'qŒdW8[c*Ϧ }:IړlҲᐵNdteYH, 0u y gYZ7zXZִF! s]ŗXiɟ1GBS,ӄ=0ma^+*|]O*Sd \8Xf;=}V4ʟQՎ:yW-@]ѓ-:jkh zu*mS&K4Z /xk@00XY>F$BX^L ~4DbB%5W81 _RhYp,(h>}?"䂈bDuP>@' lK /^GBʟ[5-|08Al?6U!_vY9n*GHL=6m!<0+0FI6 mFlgYZ7zXZִF! &k]ŗXi%B4ٓߨRЛ/_2ၻ hFgvsJ /#s/np{3V[;@ϼi}dʿ #l'j4lv9:̑А,o Wz? ~HQ݆JP|,e?& bjyM L M; s0G#Ͽb' s? @ s][Z*y'9'6D|s0>!FTf;ʃ m,&=-jţ'Hb=mȍ