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 =/ t4 ]S Monomorphic_Monad:threads=4elapsed=34.649cpu=62.260gc=2.740factor=1.807zXZִF! q]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*noǜMxSym] k'6^V3I2j\m  s'ɀ5͟ c(tF`R<()cPS0t2ˊM5H1QNWnn GEUj:o1e4$$;~W HGNۺa$k:@MFd#߈+3/(zOʢCMv jjYMj(K̪e+1J*\r / Monomorphic_Monad  `~&۔mm Zp]@! &H{3!tbVāεpw'Y˘jy=$h(ҷIR._ GdRLEe(s=GGZ[B ZOô5>K!y qy LXi[[fF8$nj;ʂ5u_dgFGB".3(i :0HchRI7Zqٜ< 9t|"Dˢޏ t&XT^t&p9\ED;`CZ,Fq(Is@T_Xh|MJ[oT["l+1\nIU:\3؄n1M 򱰖K/U)(}njH:/I|0 Z:$n"϶瑠Wot;zC.SOsloit,Ł;B876.d zR, Lc sל\M돖糜xφiD]Ƿ$sK?֥ N398PW24qޟ -&]&Z"b#L&z=H+*jbK N,a 㤙޾z3k>Iv(]>Wh̆q" kz-KI(3c[wc*on_{e tfQ!Sۥ]4TnV1xPcwL=;jR.*A+]kGjw]g 4'=M \:[Y$8{ 9kMrPZaE:%yW8J'akR$x670?P YQ(x9ݡ>S0dy-F avmѡ4R͎Jv҄y9gl4ІS Op$j5 Ŋ;&q&G_a 9ܫPQdQ`>d\*/^)LS̀PGP2۞8sW(vX kŜMZRN1_dp 4J\~֒β~ d\q>s:|^Z^0@KR(ȍ,5eiX] -7;KQtnq/ Ư& .Ӯ~ <p\H0ofTI!p&D >[6Fn:J9T7`>@h+`)e[gv; USm5dB^旃uǫc|)9¡"@Q'~2}%&|D<ƪr Lݢɰ{A o`lIM_EIF?8 Ah. (QF\nyV}J';"1>  _zeE ( MӐ*>nIKfgc-ٯa=‡i%) 7 sڌɔDHl:_43dbk'Hرro3&0&.]%̚2x8U? <˟+1M\k渔'hww#$%J/Z(U~ & DvT?] `z9tJu}>ݑkE|nq5ז6 (ǟk +