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 d5 ~6 *XB qaw!Yrb:)<):#`RJHp[ejtu1#辰{`[ ~O"Ԩy͊$ei29 bM[oHs)p ~7|3[ H1I4}a7rhX sm47DK/͵6(@i@gYZ7zXZִF! o]ŗXi%L S:2gpOY5z^e^ҚD Bm|l0 gAȔr jsOl&ܷACN^Tm>3ْe@SP\`>n|]t?=~/α7>`o| luF 3Oû+6+i (\ o|#mm ::|D|d_YD1.;G,.STȯm:錶Z`(l*qlGwŧpT &cl67BZhZO67%I"!;=V&Nlg BcyT 3}ީ ΋uSU bŒa/y@8R^9pĞA+a|WG rL (`1Oc/ç# G oq"?_:^AdBM%wHx0x 'qqRhͩXv䵀 $DM{֎j$ 7Yfe*?Fɕr3QG6#jI.eYz\{(ҠYtQ:I޽ɷ ǒt&|oOO}.)$<-:Q_t7k{g<*\A{%R 6DK+Odyom9\f#D :G-]#B fMtVz#Y=2'fyh3B9S/k)ũ")\Fµ$((;dD*9UU #ū(K >6Só]hg[P#8n5NG>3|rlnaj6UިGr)ǰT:@M5$ 🞈n` *q=KrW>~IҮ=vɽ`b&=.ؾq/WW[NmWxC!- 3bNJ\amfϡU?[F PR˃)9kشD,W4q. hGRQ &}d]Ҵ[0" ^hwݢ3{bduIRh=i\)D}=g @)SZhafAA}U/%#9.+Q\bt/*H*twLpc A6, 숼)%8~cS5+"kWvSVpC-fо3O_%OiÿbV2چ~䯡1L mPESrcr54|;-Kp)pgF~ϊkNtjc'MZJK~%aUJ嗚0|3cuܭ'xqi4hGJ gV> }%8!?JPGY|֋m%5m*.wiR媻}b3oATe#{Kd8~^ʭ~bٟ1B)@̡ö5o@N8>*p60&須=3V겄k~4Җ_h\zX%nMI,r^H<蒰 b(UQ-˦˅I@y 7+2_2Bhqڻ' HTkC5B4 (:8Wm<}$o 4MJ+i;So.Ejz Y ImòJ%m3*ؠ_DW-Lc%~܌Eڅm7_}q0#_IpE#@X۵Eۋ1e eLnqv:h\JMr Zx<,