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  e5d$$ ]/ HOL-Record_Benchmark:threads=6elapsed=124.231cpu=208.088gc=10.584factor=1.687zXZִF! i]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2"2Y4w;>F%=\ s[5@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.:mý]pH)u 7'KP@yy%l_}YZ7zXZִF! R@ ]ŗXi%;Y|4x>v'J^zfk-YiwRJvNaϖZɃ­V;w/tHryzCs-ƉA*[K\xLuc=IFRM…_w-H&Owg i!Z*T)j[V_.֗Yظ^N5d'C;=b_^}AP"12I+L2৿R{"&;6œg՝bT8Uy/Sαo]íH]T?Ӛb{J*A?@e‰cS%ep<x| t|([b1\ N>c@ߪtudfTW?3~;ժ x:}v`x 0[_i3r  =_h->Oʗӽ8^-RQԢ?tPHк~h{jOmdZ>8m}̤zh>BE]*ܸ1Dˋf{}se\4'h`UV3W *q ?dx)$!S-z? Xǩ nR_-Euru;K3 TF ;. ݀ !$(hbe]eߗ̗ kLˍ=K~2DUBZ췐e 5 HOL-Record_Benchmark  p@py8,y hlvk%ٳ =q9ia&p< V.lzMOŧmƖz11SQ(×i3@@}O4Z*$YCy"Ac5"Z#vn|f*֍mVl/QS\~8zIh0vx$ gh$^Ήxgoc#)q6|^.ox9[TܵyWLv80C!oЂ·k"oeN5Apm 10DJnm9? h5T-3<f#gʼnVoQO[]qs/ڹJOϢҺx@,Եό--!S&LحbNIU'8KnSX/hrf"8WH2TJ hGaN]>=IhMٳ C!MkױڷK\`O2[/$p?_ %m%RîI?pZVnYg.Ŵ+< }3^ɱ.Myo2{C)˖lJm(w p*I{]J {ѯ.oF?Ɣ]&wO{hg-pmioJr3bDT:! 1A5Em[Nw'fN9, H۔ `SdJ\g!CCEOb!fDn]ܰIQ|%s=ͱȌ\1B"I# tN%;,#v4~Kn Xn&;tmcV$iICAFUg\XMFy^/JZ t<|V+>M3siXz FI/9Ό353*?Dč]ԽUV}=,:N"@a{6lc`1W&uN 6zA‘ͫ2D:w`:žx|bMO LA%4\qJ%=u2`zFۯT^69<%|%MM5kO+NK%0X"Jԑ- t>8/ vRsC>. |x虜g=jMMMbټOw,RlWeG2GQ[R{Br8 7R[@ٹ\2PHِ:h0\oUu"b/ ltVG~9_ezԛpDc3<5o78Ƿ E/cB5;) &Ʒ828oy,rTp1_O*?]⢶!z>lXޔ.$PgQMԄ4.Qb"r7#S !1ϙa x*m;<ϕoǻ>J2!#9?X3`f=;S`ׂevq6V-Rﲙ>Dȃ) aܙh GHl;$a Nbs7ZtNFq[NUsg YE+Mj d(2n*ȓ}D2(|޷%oȘ6RA 9}~vJf;"L)@0Z:FإEpv3LQo9z;L X YҾJ|s׊|%-Qˉ[DsraɗIm^ه -Fqfna4\c=:tvP[@Y]RPog5Փ!2q3FhF"tC_kXH8/%1mmK0.+Нܨh (4}_}g>ҕtLYJYK֯o7n49 SP_ \4#+l4u@2wnф;Xz8nbcUKpELm pji2mmP}v°KqcG~/ŭUɺ S( }