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 1 \ ]% Stream_Fusion_Code:threads=4elapsed=10.461cpu=31.564gc=1.256factor=3.027zXZִF! ]ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZ꤄{JfT/ HCULlKEixXɓVi5FV Y^ly(7=`8j ;sFP{9ho`QzzTn t8 -ٗJ"{>H&ǒ1fSNIJS\ig.t6U^?*wMړ,Зd.JZG疞 #?⯖Tɜb#&4E) ;o,冄gYZ7zXZִF! P]ŗXi%G}}"" =N3sw<w#ߟ%7A] tp8q?GvH 8XA8\H-Hb^n/wDu&(Pa񵟿ƥ='XQacqa `sCDى4 h/ݸIǩȔZ}1I:CKsM I̟|#&L(KUFt)S(V5 r #fNÞZq %B2/RE~ {x[3wV"M yrG)}o42$|?'Xz)PU~Bdlb49,HS9vc{ x-'ɯ Ys2_My, R=&p;@4'ɴ H3}17+NGY{oM>Y#M,;&txTaSLõM4kaL#Ћ-M`@b@|L]&FA51rW\ām QmEQmߴwF!üE)"y9ӟ)| c ncB]TuRh'oFS+1@cP$ ?rِVlp{ w2Cbi!RP%c\@mU%:Eq2r D>Qj%%tpIz󝭏TBivk&JdHJٷ ۏ$6$-1cvH8w3-tFv6(`шSg CצSuSb>dzBiyω\>j )?S4 ;ζt{@TN|W߂]]OEj$lo,HFu@bT0GCw);Agze{!.ʨ.RrYM;!7#W䛀""LD/&?2wuZ<1>2Vn8&*ЀOYXA[ u!r 㮶ijdz@bK@=< (W9Kt ĽRTƭ9N~2#ѻ.PiKק2DZ-;j&oIJ %H ƜrN J`OĀ(荡KP鯎3|Ŧ!7pPQdV']QG^*vɀUR}bC1Xaa杌p!6/#Ic. jJ;CAD*9vmkQe3$3}c];