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 ??> R[Gޮ||^FޭLO1C!PcS(aaBrǍNhy,~p,k)nC{O[JH#=I yt4lc*P4~miT %ktmw߂ÉU@u~8wK1 'ڧGza `Bsb?-wV3zwc1daPF#rVsAṢ{PP9lW8Ø4SRCLIfU慐mgY5GYm2ܻ*:r0E]痾00PB }$zEFLyn][@QxK*}"-_ =[Z?Y^Íg{|^M`˘ ɉךϻj9g VXOǃ)4.Dvz23#JrMB*r?255FsU}P&y6T }!hF'B33mHeůޜhK&]j/.4>FgYZ7zXZִF! p]ŗXiɟ1}?3DDCBCmlRf& 2L6i1%B#>2(\+j+)6L!'Q żS']Ku3nC b)Tf>++Ii>~ mF=smVqS߭Z[ l%F} ӁM]GӝM֐cB 6~ךKro[Pz0PH@t>)+F{ґOQeuyƉZYhؒ3j:`RESYqBumHQ-*nFw8A{?fM_H( Y8f1F+ NKgYZ7zXZִF! 89]ŗXi%GV;HqdYf$w>)ժڿ%SIldsv^Q]zfkk}塋'_{v.DV^]rl&T~ؘ{WJyUmN+,ԒȧqoHG9Ih)y*0m-[Mc ͌1#kT-itH!}-W? 6GZQcXY \S48vk;K%E֔ڶ*ˮxOlvչ9 |&#T|vxXyH7{F&%fOD5dM @4KRH5fT8.lnq gi$2| 3!-099U(Zd#f 8u6+ŕS$@/r1q*./mH^"Ֆ7h)ob*t@ƗhY"!P^%ȳe1Jvis( pOgYZ15e19fa208db03caace0fd667792938576cf682f5ba685b34502b4975dd781c9ef731c56a0e0c185 7db66820c4732ce3811ef4ff9263cbcff2cc8580d18a74cd898a55252f5217e8291ff1b061dbb222   HOL-Word