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 hh# T4 ]/ CISC-Kernel:threads=4elapsed=13.642cpu=47.596gc=1.972factor=3.497zXZִF! "]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVdf Cb夥 Wf[UJϖ2&?&TPمLġa8O-|VFʤ›۫U)AO$֟͏ I}gs.5U Ы eIa[.^ #bZ 8 Eb=iХ9Bn/,Q&b &CYcEVa(Ym'<k!.)^/&J$DQ!LhJ=&*rQv| h}MeU O"/:)ВTt&re n&nGTxB qE2&x(Xʖ#oUA .\ RNIlD \_t{ZgN8 vA~%f9/B /[W0 }H^X* Tikk2`~N7cxϱQgCV$z4H﨟A ŒokMzj}IRA{^pVvV5wיּK1}qUgp5EmJ~gX e\kch v%GKfg`æ eQHŢ\]&Xj؅H g<~kC=\FuV@*揳{UuZuCU('ȳ gڻBو9 CbK7C~s+I8*R!Y._/5մxQ}.TͨJs> ʁ(尒*rO;h=pY`E(tpej"3A'wpMD_gYZ7zXZִF! R]ŗXiɟLN.!}" nPBڨ&wjnǢc^J 6-+iy8yŘ-l9 #cu gXs3kmj%ҧL4BZ<\0'L1z6'WȒ _dD~feN7'JޱGmXgavV :4:>c|o`⡟n^ޔڱل:(Aޱ*c(+3[ \ޣgo2os3N[w ӭADB_2M 6 dW k:ۡq#@p@'MԢtt48aV"/Yu0 ȉ`R/Vࠫl쩣vUb`Y-}zuC/H{ Yc`4 Ԩ \ Ɂp?K3$`J)޽x.ɧHs05 ^b̓sWT>|=Xǝ8K"r\; o}{)e.~iT|DNLw!0}#mH 6X / ЏwX՚5Kʪ_KZވRWLp~,NC|N0xRK>ROX:4 "PAo H[ q8V @1ӌE#V %֕~f˨p-km΅|OA6"D'Ibcy{nK]DL( eYtTN#)kId9.CG^jDgǻ-F`\Y4TcoƊ T2i_beupؘo`q3FM@֎81];}zYutҏ:Wp$YW;{2|8?X{ճ>E~j R$9_{2އAvn1]'=$j*PP7I+6$Ϗ؂R=u8vf|P,u}&1@V[۴)V@zOJعn>aw˥jXɀlˮlޅ޷s1Z%ecxpHsBle#bp/G?ɕL67d  _1ۋېu"tTuD\?'*VǕMo{QBtU3N}A\IGM:0TC1@*Wnea9UʹU "=D]9uIH K$X(35 w W#8I?mԷ'u @ˍYmdŲCJ^ifjۂ쟍; 5azp QT![uLR2I؆ Rn}PP[`+s<߰:zѷ`XajY;Gka4W!f6_w&xwpO rj} :5 U|(SH,KuKf^X9[.gYZ5a5f2bb729278eb3a574cdd4edaa115ccf74ae2f1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 # CISC-Kernel