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 q# L4\ ]/ CISC-Kernel:threads=4elapsed=13.683cpu=46.736gc=1.492factor=3.427zXZִF! _]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVdQCy_Q;G #w^idE&Y=AhVE@B";4 9T L`|h)em>p1RL7έ~:Rb.qb!]8aȸ;=dj.oI_ UvC:3a%wGTZG3tK`ۘZ7-[s-Cc&ۈ>boKBZB4>S8^kqy B>3a׼K=^0'_' U#ѥ'Nac)WۢTOȅ7ȰYY^f] s]X>mo3Eڃrg^tp]=X@11jy[h x̲fQ\ 'JR9x@Ҝ/%Nį3@{t~.nKu8$lfKn@8\s;C6y4@ $cp7L@g[ٸv+3%B#5;To̵?)`8c rүj6E:#iD%3%PU谛jHGI 9<{_}( 4q4o־xРہ`8#*ѧ5a&W3:Xrad)= ?Ot)s\%A9!D =: H|S`ZV <̱gYZ7zXZִF! T]ŗXiɟLN.!}" nPBڨ&wjn .S E$^r揎VzK 2]TЊNVi^{>d0<_]h/RAjYVG5α'!@pn>+ J>f:UvtC b5=1QX(aT^3bH>F~MD<77 7Q `nU)!N\7 UZ<3д$y| , C ڍ +V)|_t$_do {rNw GzN47<.xA@LF:2"{ ]?@}1?:NF^E\҄}l,–ȕl]0*FGAJ֚ i0͉+9G2cэd}=(ʷ\NJ.`=I/"L2(.{w䕂PFVi˞ۺjƚ=dM*1&/l$`n&EdGʤk@G/"5Qf j=0Ww@z %5Clw{d-҃1 -LK)cQ]E JN}&4˳E5biK!2Wh+Ƭgӛ=0]7hHpJZ 2\1\t :af DŎ]#(Z\R (:i8^?9dTnY##CPٴ1g50јl3] %Ĩ\=ZE2X@ێ9MIrW糊Y+΅0{-Рx?V.%ѵol 4oR!ME[.[LΔ{ĆV<Ϻ28Z9mۓ>m&'ojlG8uC,3\5͞|@ZՠE޼0oÈzr1 FZ'JuD0,Qs4ynn;1dJ+G[V_Y/sbԌ na-޽8tģ'RWw8!r5[}1EՉZ'lĐGeL>ҭnJ]a|#h~ o+rzzUt) Dˌ:!T]6Ȓ8DͱgYZd7dfa972fb24fae07288ee917afb2456b9ab186f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 # CISC-Kernel