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  =L, ]/ GoedelGod:threads=4elapsed=7.317cpu=7.972gc=0.088factor=1.097zXZִF! `]ŗXf[&D60D'p'Uw2+*Gu[e?0 V+]#9J;nڔ-"/!}6|>zgYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC5p̃/csh[x:=;YH3}YZ7zXZִF! :']ŗXi%Bp2x3GFG $_5}=sR$]W P}m*┲:`Ɏ髼1Eh^3e|f2It5CQsv|$>*>*ksVB@M';n>͕тM 's@FI)Q \K)1GTߔ Ŋ-tc)'X8lVZܥ^mrΙf(tUTZIi #\ڜ ӝb_fV*R2תGekfG޾Y)o MT[$=z%MMMh}mJ+rF<F 1܏Y$b>%4C ~wp Cyy;P99Pi\F+{-/]LenZY;n"[b8ajײ 6/EbJE(n-Qg!MC4Fm]GHzb?Wh55O;CkfE=ku$b4{Om>i}' Y9~@z0ޯ`iRw\FN/aK׌G-"7 #po?)A/<ƈ^3|#mdO0w%K{^̮~r{ 8/gWg"SCe86D|i.ֆ"a-ݠCm;EO# 靼2&x}іgZ&3H)FT$s {\WzfҁAzhjvv<ID$g(=Aol -Z%#;dx7G.Q*נ?kRn"XGle Ȓ}wTXr.^^-426 #V$Y ś <WNNOގv@Jw̟ΛMmnhFghuı8CT:칿Fc6}j-tW[gYZ37e722dc5bc28b21dc3277d4022eea7bac0e9aa3ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022   GoedelGod