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 4A1 d ] HOL-Imperative_HOL:threads=6elapsed=34.629cpu=82.524gc=2.752factor=2.387zXZִF! .]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø +Âe[6Ǎ(PϴBc񓴇0]Nj,yY}UZFf5f%.CeU‘;CjNBEC:4XVJHUfzTm(nwhhݶ7M&n7'5>8Hb(j|x/B~PxW Y%aˁ.pY ū':i]5~:pĨ/.[ ^$~N,֭1je.☢m]u0& CVyy0dSu5TLh .a'CR~TAa*e{U~2P@2C2ɡ? 2 Fމ,?;kMRbm͋5fLJō0ފy4`awq]nt.4fu%[V+L) &լ0zE *'{ VGCo Ktq>L3S1WMlUgy/k )-&N8:cXg֗RY\hZ1K,<7v_yT+ a8b9,'ލN yoo2`GͽVz%0c5JD(ՇB=Edmh87Vc }@E<K,˭v/2|uq{m"<-pp{v6+KbpD[P '@Mk ,$+濵><_=[}y؝ea"NٞPU.{U&=yBgT9) v~ǜ.܏!Tp\=2GM`V,2Z W %#;I< _ކ$ƭLc.w5T)ڌ0qG؝mym0L`%\:&Bt }.xŋZ"w:N#i2F}sCIDtֻh|.h1}0 cħjR5E%aŕWt<~ Xp5*4G Fr^[,tu"ۏ$ƕ+^२ A;Z\ w`Pm<ꤨKEjecP|{s q1wyq)WQ@2 ̪A٢TDl*vZRf֌͉A~l"8qՍq+hZj':$[)~2s$(k;HqSM6_kk8ʱ_BAyzb 0,[K )L-Q!b9.YhDq1