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  `5<$D ]/ HOL-Record_Benchmark:threads=6elapsed=99.886cpu=176.488gc=10.920factor=1.777zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24$(1DC5h}5fx>K#8ZYid~Hߧܐ̓"q Ig#6+,gnq.+ɯqgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/g-ϙW>ɹQozk054iepM~Ld`=uk^{\*}YZ7zXZִF! C]ŗXi%> =LH@ S_Rf |\4[B; C:1ؖJm/ЏT=<.?Ж٧L횄hb#Ml <>|1 5,ĒEodc3nV@V9"xCH O- F$RՎL Tó3zzz0ه Zo%u=UY+d}/~)gLݑe"}MN4 a-9L_5 r×LU JŃ1AYY\mOLj֥(W qiSؼksxu]?G=b~ 5 HOL-Record_Benchmark  oዿ\ #5s rޫ֕VMagu=N֭8sm8 o\TR8ƒ28U\b>(/cͷ}xs329RUEZ9W ]Q5EAʓd`m_s~  )4=+"eaLYEK9|ŮYRL>tkRk~:M~_IK?KwP[!|ԗ;g βnL&k.{~@0cVrCvP~ ӟsBJZ&- ػsnͰ87 0{#NHc\pۄ?/ S]8;U ;RllNex}b@yp;|2\Gƥ>Ľ]1HJ.ZJ) l.-Qt̂†đYmuk[f@p,Fss/$'m9P&2ce{Uo738>/4'3O xV#Ne-RJ*YBqqm鯍R5s\iB*CUMg^LXHQ%0&I:ySwNHmxЬ擅&2XR^א`%Dqڼ,[7lsbaGc3־)[ƐSRRy (bp!FTf=}Fn5._#}S8+FgH̓l;@ֹ<\m#X;WJؘ͕ n;FHN|O)]}SZ8R+,,㕮"F9(QZ):KHבֱDnZڧ OFT8s}.fMH6`f~#eu_{ۮf6гt׳RቍRٛK#֩ȄsLю{'_x]ApB7a GUI4%[17aڋ κBn@+X|[  `Zx0`lV ^F{ qddk7u4Dc^Nkec>0n&t1":b*i<$>oORa m6ꛖ|fbLko,s )71@-h*J0#3 dsC<#Z&j v9f6fP~Do`j|yjf(H4Hh8,lCY01} A 3Yp$ivv0\s?͞DžRJs,;{;B=<|5D>\ѕW LiFd +yաM ԡ FKz[*.5qnYEÆZ4F-5Ddz4KJ 5ER9XW2(2FMQCio9cj@"M9 TrkvG X6ìXAShM(fu? 'm}iGV;~çeW8g6aXTC;fI!oKf8YFԥf" \RRߏZtL>y"JfA nrS_*%ޏ"+bG`99N~(ᴝԒC]z =GN{34_p޽8iI@~=ӠD JkV7|v Id<7jK/pHS mVJo}=8%ӲئUirjЂM!+ I2OtES[~5<5W ڒb}%xv l[w4lΨZ zӽ;Q%^ 2{X"Mc+Z^}Qfe R$P7j4sf>1Ńn\ ڨnD0¹DUU1]r244#2C>A] 9s./E5 gfx|6Cej$.=mu^ r|FB@,C"OJ@Xk\0. X1h+RG T^lӅD @T\JSIVN:{XˑEbP+ڱep1jfN ~D s,#]3$V2_fhڤe ew|jJ J_zʭyѽ0&`"hlz ".N38ni4+l/Oe(\8 F, lagxBMt?O ߄]ZB,.;l8(=i|0Fe*qlD`+ xPшEY,I]YC>-J&HGlcYkC_!&&>5V LswoO{Ñ8Тc2"d: 6 0}5z GҽV;/!h;1t1I0[D 'jk$z 1"s!"p$;>- '`ѯ1 |Ey,0 zC['Ub*4hСxEocuؘ&;:0 $< SX