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 z/ \t ]% SDS_Impossibility:threads=4elapsed=37.723cpu=91.772gc=1.916factor=2.437zXZִF!  f]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,yH̝|'"}aR]08^8 FDp-Ń&gNf/\corܝ}М2 ׳;\eHR A9o -\i:| Bf)4d`!eXDw;QS!ֽ sOX(]y_ԡiw$hT!u> λ7 +7C6X\H/_^/8}RlFGG֗_ 0nMT5RZ!6~߱gYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G EyٿLxQUs񄚌}CDgZ}YZ7zXZִF! t 1]ŗXi%GGf݉[4J,\;R K"? bxK t'A8u&3087 $V8w9^c4TvQnA&^z;wꭟVBAS(F~|ZJ5kS$>vl\i޻N`zV@4 彅\D?a$4)ԈBO=E )}7."-j9뇷y[܍"ӉOu}mZy\8t^3]"[#nb'hJ T rJy7Б!Ą cѦ|B7aEjg'b^+ `+ <=ffUO{Qoqj[t@OQD۾l9u΄OM/On| Dȃo}~i e/h!]}PpfPY*@?98%a|̆JSQu/r9֤#J pd g6Uٽ1e̬Wۮ 9=F!VBEJQl8Ǡ}'߾8-"*a Kwwl#o P%P"  I,RՐB]Od`׽ȵoj| 5Jgn~o60Ȥ}E16:L8cMbvк aVhֳObÏl@+g ʇ\(1PnUe% */Hakȫv,\}8;߈yKa h@+Qˑ6_A*]0#|#{Jt%F8'ZaUҘSuk`XBE[s67? AU$鿅{>SgƘfx!^T*S98ĚJ3T%X` >jOaӮD Bsf5i%J2Oz%_ " kſr l=x%T-wp A1M\DXch9G[ANGu":. "q3N'*=>ՠIi Zt`xlhmxiWaȹ>9ML䚭2ٚ XN#,44ڣ^GVo 3nC=S,]:E# "ZflNV!xfE11jnR OHnZ}# [T; glC%Ƀ-p2Vbȷ%Z0 y@ǚ &+⹽:-2а[*ĴV*jMK0ndj(H4` X'R>GepT5rvm5Щ])1X&3K!3@QL&¥ *JWaatDnEljhɧ,š"Lq,@?mBXI?ĸX5t\wxVi;A]3CfP߫ |>knpߐ:UX'c#SaȟK;́Mxӎ3oMŵM=hS0#jKP!;jy &Z6N5EwVS@Kv z8gri9k9Q^r } y%d(W FDڴϭ`/ke} 3D›ȤxWgL&ĦX3FMi5/cwk[jvoHQ=lfY(RV  eo? Ps%n WUWI $+'9+ܑ˙_ >q|@k!_1K䊄hn"^Ǘl7 5\(p-<7ܒ﫟S)ٳӇk&;%;ϐQlw}P ~pK+OOi=&f o= uP~ =P=9ML(3(]j^{!Y7tL)>J7v^CEד7_nxF@:Gr$"pHlY BK^.¶ y"h5%o5jH<͛L4HS@cm6k(欦 ŸqU<q]Fr$z%f_x:awv(L~6xpץ ʏB:܊yELbF#_Ƹ- *81 m궩$EKYٲ!^JwҬI[#m5aWzTUl?׏-/56_S%[Ycx;lLL4ϙ=nӛke3%,I]~Pv:(hV1_r9fL6q%_HVZ!F<%_0O bf}Ԯ-JEhZdy訌#҂BzAۋar]cSl;M=pZa=?q{A0`ρB뽸bpG:Ij/^=Y=*!S=VBC`8b&)?B6qmc[i.NPG$P9X*> (,spiZʋ(nPړ?Ʀɂ FZS&NxJ7^ZTJqz$s ?gYZ8d0dadacd343745ddb7fcbfce427c4b4b29c91d81795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e 40e2fdf306a6f46f9f37690807c60251629825ad c9df525f2760efc5c348d6c79728ef3c377f26f7