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 47 T$ ] HOL-Word-SMT_Examples:threads=6elapsed=55.440cpu=79.444gc=0.780factor=1.437zXZִF! a]ŗXf1-q恈2Z( \9rfJ̔`ohC/1UŇ :SfH0qB}lWq6ރ#Dpj*g=VV׀a5*ٷQph T-[1ɟ'Z&*tk.̤GpŔZ U v Q N}喑W)o5  1 9 W*y]LZ`5/ί M;x񭄦h䊘s:+Jk`x"$,MP ef?NqNWq۰eYCjX .BC 7 HOL-Word-SMT_Examples  S9b3?X 'Kioqm+lr>~+GwL< a fi ×jjqs[b^g\8wVƢ68͢KzS0žh &9iVr^5aB,"B[l-f{5D) &8? ]N.Y/"s=bzB=;cbc7D;&.e(gYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ss\Rfk S{"TDf,첎zɖu3^ (y(5?Jz*dsCB:2糶D2ճ= a/q΢n< `"N.n"w !Ԙ@ JQ1԰$8 {Y"Heh}6z,دx=ޝq|#Mst-ޚw.CH]ZMҫax0X8y&Hx,$F 3>̂\ɃV碁9*>uRuC' D.0hXzQh6v9h j=vt`Ɵ,:4.RZ'i&4 Y[u2/N8ݜLwLK=Ͷrw'ih,zIMHȿpy'fcawH=C0rLS`]Lz #8?[߉gGmʀ삢iyJV/DU`!@^0/ѓ/ãX*1)ԝ`h_?"Qd5kRރ= Ae=u!Lg?}ˍz1y$i+$lΌ#-nIOruxkQ(8~|Mc(;jBOp7C3]`a𺚓:PfOF|L#߾^Eƞz)k):H(J]J] LADkj x83Z0%gEeQ! j W\|zu_LoA 5ȒL)n<ES˔2a\k:!u”6/QߘUfV_xLE"s24" +/Wv(cGgShѱ?CՇXe˜#%Q}pi,gwq&ar!b> +? iy+KKߟ֍uO&q%oxj ,է{ftrR4$H^8wU)xH)nj;Ri|_٬wCa VpKB I+WUIF[Pq*Q쉥J3spڥ3BB^K>SYոqNhy`0,GjzuUyt`[hd`w#$qf.J%!^VSǨyp@s}]i'vcnT, *8BaC|} qSS=pjb0z_+&e,IfeeS W8%eŋKz/b)^i9TKuT[/z2l26G7t`#.O,NzQeCy1(>*ҕa>p4f4áXtb+fe͂TMϑf_e$&)Ucz;W[~:]#06CD#? ^q)GR1y[ajK(YB|Okw9Jcnl8e<`LZw6.T'=F5mPaqu h}04ãlkʢϽܨ:*t>Y/&Z{9Cߋ⃦FG\z(*j E{ZNo!x}Hv0V:$\(^TsȒ;fcx 2Ԫje9Ha&l3MEx` jZzA{0"y:V$~`Cm!"tf.䜓 \I#Kq!j'_:*~S -b[tRAH5^ 39d4p5 ?~Jn9)/WPJFÌor\YAPwK|_g([:DA1Xv[/^T/!`E?61{hI-8*,L>"7f4ܚBP ^溟e`'T+: crY!Ϊ