SQLite format 3@ .  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  `' TDL ] Myhill-Nerode:threads=4elapsed=29.902cpu=80.600gc=2.572factor=2.707zXZִF! #]ŗXf[&*%5r+=~ȳL\Th;% JUO4Ubq.]#m#LPh&ʤx>Fh%vq*h!'m?[BӬݟ%˓C[ %X?1Ux۪F_J?xE{2cLS)|ԝC"xB]+?<^$Wv?Cnlz۠nVMdWt*88Tlsޟ)MEr0sNh2YrwRoѮ&~/|E20#Cm+9n͉]ю44Sr &8=nfnYuԥ3}X5@r$&n̒*m*;2IgYZ7zXZִF! P]ŗXiɟ㶵fL4i=J|92ms;ә_t6.{! [ hXg4=v4P/DZqUq|"11?8{>񿺀HOvذ;2'n'bM&"rtYm.:~43AOg5nj{B{^rjdAk9Z&G6;z)3m$n>r,@5b.c;ѩGɣ߮`=Z8b`qכ1.EcN__عy[/acLvyzA*dbϿ]}<"Y+sl%1|:(gi7`&ۋq!YãR~g]Pd~ʎBəcvԬ%t? .aeǗbө]J eN$dN&/IY]X6rJ)Cڥ RCwqÕ[%dA]uTa24MVRK\z6"(Qi{O6:TgYZ7zXZִF! _]ŗXi%B 43`P`,]?(9v?yM'e2i a<^8AIh$b1`r'ǩcbvrm $UTVS%L89I[zwSUOn#b!1Sΐ ).p'ܚ!SؚBi.w$Z@I}؋dQ+Dp ux.L\!yjm+ at.R=G_{Aj3X0ak4r0\oàMVZ[7\eګ"B[}ZOќ}Ɩ 1= $6mf(᠞E< aKfd憈H3H rI)HrSu4ے(Ͳ݁jA$D}xcZ晃-ixE#Mu<ďD+A]r71™@YbIm㱂>=Ќtbv]2_U7Nab|y6c*:3gMJZؐ[ysnoJ敺խv p*SkBB ˓ɘ%T+38R:rhAbe4"`w LuVu+srѶj:)(? O.(P; CfC鬲ȔVqlOqJp}l4u/qm~h}޼#bD}Yވ5-VĥN=Uk7w Ks{l豱v/DHa#ZD\0l3 ag5y #yc|jLjKM2髶Ebc:0݅M9ɇ)KMwmxv䜨=-&V~x|׉^qP 93Bn?$8P@2ٱԆq.){|nc9-#y Hg1ʤKw "@Q/,&pNs2w'(!/Z| K ,W; eߘ yv;ď!PIӦmN "{ָJX>XE+!e l5à@R{!hS@Վ Dȧ>KP\ẗEHA;2`CcMa^#0/rڹF s]/ij!e|#? Y^V=:?V!wsчL-y?gicreh+>zl@c:uKc퓨мM>3"e |}gj7ng(o`G1R} )`?Wqr3W+*`"j[9q '+~Sz@7)B@ZEW>H`>/\$`J!+N0{%hhF!3Z7Voc 6^&F12ҚB  2bs!rF٬T6j.ZK AI@ڊ^fhȮ4OQJgvEbllXR VʼG.ڈ`U JOxr,vgOXr ˬUTkdlG+A#KA)j7VMGP] ASSY?c~保i 8 i3diіp©'㮂Da"@ZK!~ fWHDa_lG,TWP+Лhm\$05ܷ~7;` ށ=JEPAqr%cG?jt]s(GԕZ[;4j|)Ds>2ׇT5ooՂD)&QdV'UAϱgYZ641fb0f2d683d22d34d12d924a56d4fbf81dc50cc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c