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 h T$ ] Corec:threads=8elapsed=47.772cpu=83.577gc=6.637factor=1.757zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hVw'/돆UXu׵ҩeP ^ƺzaIIY9EL3l{Vz]U:Ng!нFiyTl %6hqYc9%Wg|b]b`>87=`Y"rs+9l; 4oFvJl "yq-JqGq$Cӷ+̺m'UeA݄RZQ~Vjd@ ~3# |f=YI h X dcwB-K<#a5gYZ7zXZִF! b]ŗXiɟ&zLot{ +u++$514-ߘdRd9XLߌvJYq(u ŮbzJԄo9l}bӧ4 ߫}E^M`1`tl @2zPFPҭ8+x耽EmM6՛J- Լ:+'* ɇdp^OFjP:P#y^L?:qq7]>Vmejq?6=4Z]-3nGB=79|6m`ɻu״P^IlawM3:@n gFZGݝw~p&]{/Іawx[aniv$YҬЅǷV]\!)fcp I 2>՗𺟶ښh| -SҪ ̘9(/!\'cw؃8j=uR0 9Cd; ˔g䦿|$gn1Ts006I,H2K1qK^|nDߴ#Pl$Y[n&6s gcTÀ,⥅h.,s$ԫq0~v|1'Drk}]^0`B>0G_fhOxKkeٰ2k"`;[)Y;L*]HT Vgp6?<;Gt[Y9kRt=ӳɚ 8tܔd1 eJq&Ak . thb:b&Ϲ7v@{O26RsDt\ s|a F1Ю7&a#2 B,fNI3DKvoihJ[v(]LLW:ͪ/tDl>jI/fgec_ E$X٬ ghzZC슉9,ӎX"bӶF4j=kD_U0 LhE4M^LbqꞐ?>] ߦPWǃ,dE6<7>\5tgnkk rQ3{I )#㾬Yl|r51s#t!'NC"CÔK^5NYTBS(i 7>q^AK̈́wXܳQلkQS',Ta4/ Uחv;,,X h݅bRKH zO9.dٸ1.*Lò̃"f%tjPyAz|̽ OC}-9w!HbQ'_^ݏk^%kBuʹ Aubm {.UU>܄|,-pr0$Fq\/pD3.rNw=B2( fSb ݀!evBggN;N;UY j`N[#8B.NԸKF:fxP7qbFi:U!eo&ͪ+NSH;@c8#\}nAU d}xzV_hC!=ّJ(W6z]BƉkNiC0o(iQ]M/΀қ}CϮ7Il0-z&l&"EHhɶ}Ij&b$3\Mˡa ~\ zg6$¸O :''p+g:[(#J*(1A 79œj6 R$ GΏ)P:.L:wqֈ8@{ǐh)5sd2F,4մy56v:g_Y˜``V?HP0D9 YP4@i\w圪~0 N8_R~Ɛ '[?zdAmOp7 Tv7q`X:GNs@A;i! j.mׂ+.ʠN(#b<ƺz}C]+{B3IgcL&"mU 0CWCf UJb*hB*  YLޝ>J$HM_ x;