SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 A# \ ]/ CISC-Kernel:threads=2elapsed=21.351cpu=39.976gc=1.592factor=1.877zXZִF! 9]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee_::[hR= iW?Z:]JkJ{ȕ:X/͚뻗;3#uEEGfqeD=|ު2T2VgJ8m4:'@O߄qrCXm֐`)[E[e 6 tR[c>X\Qi,ww v8'8_ޤIטE#RW B yS]L.iT'bk}'@waB,:O5KuO0-e:s>D[пEa+eI19%['G{, Be|HDJd7.AT5nk\U,vN$mng`'s̔/H.W T>348DsJQ |EDgEuEf<xgYZ7zXZִF! H]ŗXiɟLN.!}" nPBڨ&wjn~K3'xco!$Vp XxUz- ШN[$v -̋秙o.0ܺ!L0ԥ,0-F74]&Dfv%O d2<^*<íVό@Y": щqoC fW@T̷Ƣ`9Nk+tHef,%ƝA',,gx/  pw5tв!՜wlty1pwZ >F>:K_[pA+nͬbY,8xړ rnF 2jL}< e@gZ lҸ ͺLHh焤@qqtCYEAkxcFgh^kĐ;:j(R+K -NZ$vːi .1neh5$eN\5FxX)]y|2o']{? @.F/YΥ7FֽUtKf6k?)]?BΑuL|[%큕7 ^=y{ս P>?Od֦D3=|W~lI|B h+fmQ=cX,/X_TvruT gwwk&)@ Y&; d( N"bq P,;oTx'|,Œ2D[ mN :8lR jط)<˚&W|RL*+wh3\۵W+tIWˈ!rԄU Z> :G'{b ͸70Y}Dem #[PM_-?EwdX 1x&,}H?^%-XӄhH鳝q8n{N٭[sBa'biNq occ=S&O*jX l0f5*1| `HMyFo/@N'VzFw  L X9.&_\- 񝓰a("π% -`2F_kIO?.`Ɓ!^q_F 4\ N+ LXȲyT̾-^xk *8{MH@ɢD@1b2L9[W[& Ihj\r=DK6.lcW}D"d e`Ȝ];)cav߬@1{:bwVMEKށ}[E.PK3ruF *38 ʓf<}A=-Puee45;$$ sO{^v)K{CӍ~;ɱgYZeeb9b307c45d30fb409bd7aa8b7e7590b5121d9f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee # CISC-Kernel