SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  i i 5\D // HOL-Record_Benchmark:threads=6elapsed=100.779cpu=173.552gc=8.636factor=1.727zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2w6n8R_3^UF;c)\x xgYZ7zXZִF! ]ŗXi%6pB(ٶl=PSh|QzCE m`4-p70{Rb#@FdJt_; fpyd ["EwoaCj,@Tq˧5*!%-2WjopBbƤ́z|\j:M]?G[P\p sG-F5Їq 硻>7<'.]q\ I@Y}͏:D_^{02Ҵ" Ly׀KYmb:۞њH푯gG/[dDZor 5 HOL-Record_BenchmarkFpϮy&^9{= vC٘tG/|f+,NtODž\_hг-t$߰%zMа&M QRWwldd]t.H"]Η}>:: tx$MSNb@AuLG~" L\"qO}M"lz-܈P֧-z ¦ۍDː[=xKaU"@6k$7*|q.ں?JH#MմiYV,З/1W'A8nshm (~B 3sx퍞;U;vf{=- 5{3\0}WcT <*\u{")%w14m`,hmwE>\VQ>Dxt/p.*uVEJ+wX#- 1ބ2n?*嚦>b4|Z_ Fp~)FOܹMgBW#x";22U[ ]!Z51~U/ STwD[{P0\?;}qh,u!v<twLW<%i (ğ7ayǟs˕hΑ0^\4-eq07ldU_ķQ>#ʸLdymi^Zn,m)I _|T0 oYQyx a[X}T!.*44D iF>e˩6ESoTڕxg!r.Qu] Y2w.R%E_)R$wBvǷ"jCj+f-w\J9b\28yŦtɴkSDܻv"z? [_q0mu~;B{b4<)H=&߼dYF&/<\z,V%92RngDݠs/L!Gc{0=-+qo "nIdI\iWZTfd҈ǖӜh},0}p9qWOnCհ72GTWJPv5Ś3ŷ_*zL`-;ækOmC F=G _mWw>߽uK*loFHK*E("_ڃN;'b[F7ۑsVN1 (Y Jbߪ?BR_zaG7B[w4˚E D.~O-}=IZpfH]2D>33oǜaHFHDD:S ݗA,tːؓ9E bt;'#NCTg?ۯ!E,#v@UCPjy_yU,#V9 ,;[Kļk(ٞ"/9Ixp%18c4j_haboJ4YRatYl#xD{tU1@2[IoVw4:ի&SHԖ*mh'˫8gM#ӟU7H];m]t(P1gύWP/u.=#mMo$7~8XM7~х%ew&щl lձC_טG6 t.56zm)U[v;)䞞~k](i. ~0dUи<\m\# 6zG$_5{p1R<[Yu7tRGtjKS Yz}9xȎs Z9zP뤕2xX?ܷOO-`[2/7~ޓ;!3R*HДmgךzQ'/D㵔P+Nu 6[!osRS&qXT+; |(En'+klqe"1>֌({opAA~[7_gjxRZh,۲5@oiVGN5e l`!JS'wk|gˈpi2Q+@{ H~4QFBp$Q" nEK+|Z(;yzGb(ه>q+&fik =_&nuZvˑ yEeq;,I9c AVr\t4FED"~1k#_Mn<_i+ժFԯ ,Q›jfJm+e]Eq_7]&Y&t6{9 ! o2Γ_a+ׅW9>גFϏg-Qzgfыv *\ErEwl g)d2ƧYI >Xy2hlqx| AH=E$vt]ks:/?ǒ g<8&TҕR w2? 4."cew:Jl/B[e 0,E^j z2Rcjs|jÅ_`HbK5o 99wT4Ճh$,:]6jWG]5wPqru ! F  #oeE(MO})#10efnT oHuDc{'M`uzAdm?l_ PC֯k\MjKRѬKyX=HxewC "h]?q1.I:YYN$존+-&E@VmNC!M:ƟVؽ*)YWߟ!sWx CIt $tnntTQGsTZֿs>Ӏ jˊcAdbn/Wůr8;Âe^x[1K[c tF<6HXBB'3ȡF"~wVg=Gdel8풹@] `cJ&:$S4]yY{,OJ?_cx_LeMAFnL̍נj]͎#\|/)tB"%b*'2fV ,5"gdW[4u O96:~`ʋup8]n~şORmE03G>8ٴ xKQ.tĤ- (Z^nF'R7"_Y{F%HΤ ;n ;J V>-pl)t5B "~nn>L|.'*u"S?v s [> -|.ʿ?#ꊤoG'`VvJ->BqfۢsW}I{S8"xCh]=G{3 Nw | c;]/4$¦.$װڳՙ =`Et *z#j7B#!rgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8526e8fa78bb99d89fa778f74719f4186ce030a12 50e68dd71ded21d5ecfdf173fdbb4021489c2646