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  h5|\ // HOL-Record_Benchmark:threads=6elapsed=105.133cpu=178.112gc=8.640factor=1.697zXZִF! Qw]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iM 9nD<Qc q h7LPVqm<gYZ7zXZִF! E]ŗXi%6U6} "y<$[w2@0_'06Vz@Cs."xRj)z?A_>)>bu ]7ַ[ m98<<* Ӆl 51|op۱E߬u1f[{i=#Fz~ ;Qlcn㯉sT|8֟1RGJϮRNvt VNc"C$%t Q7&?ZTP:孜6rm=XdOvHʷ`0Q{SH^A2{.aQ[F^.ܐlBJjT'Op_0h`5&׬U)9CXNAeAvM#uv',¿%`N  5 HOL-Record_BenchmarkRhaIK8!^Zn;zT+SkxLfG)=ke *u⢻ Qn[(ٮhpW`į5`/ /DSc;%ʇBxscvCI 顭%͔Kj"mLu?x MqfDW-EN1?TOҌ`1\o Jm (lb,96ōeڒ 5|=:PmD`re_w+<{t;ppWIRozHQm5Br+NP]'CE04`_e |OݨsXz6Peɚe'96aJŌs1=Y=oyNxc),LeF+rpKbLw{ʸI۩`DZ",y1M% hHu87I$o!@<'j-uO氾^?ayرNl(/s$5->?l ,W:Yluvйc:.6&d t-&IFt]w4@>r3"z$o*h1}kd홧KXr{ ~5%[LPԧڪω^@p+7LٌM` ¾ 4بJG"q\A90&"Q4ܬȼΝ/Q$joQ (>| C~Se2L8 霒 F+ ^ՙ`T=5h٩ .>[(щTrcqFO ϋdΞ W#ffA0^[+6Ugv@UrInTй^Ll(VF۲*k~=>MeKaPvCEYGt)uDay\+nA:3 R3*)nBvH7=T ϮPsA q^vT'|A@kKmtǢ=4jw.\C Lzk۱SFXUяQ)R $\o|AzRZ|D! ]HuF\CQ0ӆNGRܩ<*r.XN%hTȢtd_HqISbBpy}`&GK7x`jYP}-CW\ε,"0yȊyP* MY+Q璳h?Hia<Nj&-*pB_dzr.2$G?[WU l=@kpx#Zθ9r&Vz0n(c@KA`M(mĄNBkjvџH[BHg9#)+5AY*@% KNf;,\*|_]AҐ\+iu,{Q&c O6Dh+~̫ɔ p|1}t9 Nՠͽ1 9΀ln(+mkhs?1"\,*^$z!xuhoo4 Zt|0 +ח;g{ˏ.##:LFͦ-`9.}V?|WJoKIބDՎ&"% umyȺCA[R_oUy6hZ UkDt|9Jk[kΡ9.3߈߈ojɗ}>;dЙD.l);wB3;ۘ<א9p tD;b##ٮ} ^l:C>-} \ k"^ȸ$-~)_ yϛZI_ڌlY!;ݯ  ,|,mHfc^0܇BބNŘB 0B]Wo㣻:C_þ>`l\EC&ܭиF+ wZ(L^xlDu u7O^eY3C:he¡>6S:ޅ n$'JUEB/H$QEK-QLhUv9&/VՃ@WrJ~F~E:wf.# %EaSL{vMY.Ă٠#2p.y=8%Kۊ#09\zR3s3Sŏ^y G\f 3k e0rVƗڗlrD=lhhpidyEMNrSk%g1b $e;xۻYm'yX2iGyȑ6?`̊P)pqN诶sy̠w<͵2sC܄õt -0A>y)Zɔ7H)Ђ'_kd٩B:}pDH(kѥԛ&5*0"]WĀY 8ˈS5umK)3j꣗g,sسC3o'3T7AH?pD`]Asf/+Y`7!O-ܕ qg JC*nGoxTh9ɺV$m/fOuOy@#)6SJDҽvn>;jp{X@e7s.$`* EzboȔ*pc ʝ;"LŽZ>1 @*t{օM5]30TBwۛ鳤ed Ѩg2fdoԐXɊ?~XX"/Pd,tGG W؇UI?*'( d5d}&M[ K5sy1MKUYT'sO@LW7Q͋?[ɍhwr߰d]zyӋJv>D ) $Wdgu[@,;K㭆P*?qS-4P=Wt9 I3ъi: /b9[\q&@g}`rCCf\Hx~Ae8ǎzHjNa%0.HnH(9X Tyf"Q,E2gYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f86a0ed784f26b5ebad2e9665f172ab4f05843033c a5a6641747e9474d03d52614c2d0fff98c0bb585