SQLite format 3 @ + + ._ 5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info w w qxdH0 ]/]UHOL-Auth:threads=6elapsed=76.474cpu=381.658gc=10.640(/z * 6iH|?c<Ț!0{)#+$%!i Xp@8H8"`qEFIOݜ6D+2I," wֳdCyh(Dt"_+Y-h, А# XE<8'U0{C "cJJa@aAUN(E IPTa_kIC Lx$yo0PHGf:Cίa¢̥z`4&LҕHͩM]!8D$`@x<p$\pZMKD:f=ݣrG"y (MiMѵHDd--\," VF!y@YH#0b!0d^baH.@D#<$ d1<< *A`T`R!i0*("4H" 0,X Â^F;mz;.N{ǧQH (>_jvJ3cOsS/?o>u\t5߸~gUQ?~ɻcS<:;6}{O9fэٺN+Ͷx:2Lr_E2sfU0Ŀv)Yoy{X՜֦sZTW~IJ:|i2o]sJ *I|t!"2OCT֚&u-XWY'lS$W+%z=ϋm/9[flTSǖU|=u^mu5Ӕ{g9:Z:ҾCN붟L=#ZYkն feivr ݐlB«iڴ6ޙn i-T<-#m0qʲe" ]=^H:#D[QMiXbU!5?a霮4MVʥ|6j{!*N*t*ơqFvOiey|}UYݏ942ڔ*Sٔd?dgY)jLKCvo^F_v6Ɠ:t+LkN9D,s6[UHG)%lWtIFUr?uT;kJmyN4^ZlnX\DD}R]Tj+E;hMB 8<ɃܟlôN0tSk7 p0 Id * uDhy~|Y9'hLSw[?efx٪Io&]~S}Wd˴=lfUn6854۲5~.T2 s @ 4,Gm D(H,0D(`D\(p,aw,`!VRRն`QEᦺ$cRu0 $DX?u#6sY6H>~v6#_ϧZ`r;Qtښc+h?PgQx,Gr UTػs+r1,@ SEɢZ<맙 .{fwag!d[S6sе˚TnlZ7vGF=e\@Bvxs^L Nf(n8DqjգgToC?:چZW9*5v $ʂvj}h{!o,k5Wϐk3 g׀+E)_XkHPI&{q̑\b+2={WvqpӃsZZL ҊYinH!4;6:$ĝ>@~rbat\\IDeyHRij^y8xDw \ΆmLQLVr)zqDMUt2Q mTҵƲ_g+o y\_w!188˖)q!v2!MX{ t=bK3uniG$%,P