SQLite format 3@ .;  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 `' ,Td ] Ribbon_Proofs:threads=4elapsed=13.745cpu=29.964gc=1.700factor=2.187zXZִF! )]ŗXf[&'RsP-nF1"(pxgb4#{k2Ku9!=utE3",H6rh`%p>-* CLo&oDpx? ҇󊍙$d&BЇ#};Io,hѫuαiN<)2fl Mcӧ|'w4fB )g}[|J_S̺E'6w;}.IRdy [C}k"\/%Oy*eZ ,)\bqP%+MJW\ŽSyϠcbج1+/f&q國Ewr&KyۍYEzp&z< W'R *~4 toSBt's6kͥ/"+Bix#>En,BdUq=B|9dO~:~Uڰ?Mhp';U`s/~r}j1| /Yy& CjVbbyGdY<6}m芗+CI0(ӒMZMxY݁'0ŒЇKW ҂ↈt`LLI0UN $$vgzoٟqAʅ<1=UV"RL^fI)?;>!0vquU%K#dpisB)ivDLIȄ;cåε Hkh: 3--Re +'pSό+Tw/3=6cĮ?d4}`p)U37l~ҵю*2Oulµ)(!z̍l͹bܳqyE8n=kЖIbNwa kkPJ KGR,c+KXZ&gcTIVd3P>}zV;nр ajDشZFf^ΨﱲcYRصg.C,SWk)$7Ů$PelN%V-`G ^$X[0%4M皻.^(n;ٯ'C+..1yf45.#_1a(\H/x 4:骻&C3I׽^n(73gLM8" |TWާL--ΐx#)cÈj2x~r.O=QxB76ԗ1vTI KGjqBCd+՘#`,|P4af#B|a_HPnsd شS/mP_I U.hAMzy]Aq!"?$EԐn򂦨e