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  x5\ // HOL-Record_Benchmark:threads=6elapsed=103.740cpu=176.400gc=8.664factor=1.707zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\28kӫ=VHr7zysK/9[2xgYZ7zXZִF! /]ŗXi%6I ^)f=j]RdQ J ҟL͌ m2{|lOzo7@]m0@7UeߗHsiGrx3{6)"#"8d={aZܾҮ7?0̆IYihXc}zW pKTQy3|%@/艈+6P.gMN+UDZ׎b̵}`ܤ<*uUM.ֳ≒z)FgB$H? 6^ۊzK^">7k*SIcԗ/$5{EOyj2?LvB ̀@1V 5 HOL-Record_BenchmarkU> i.r<[LuW# 9_f5h|p5*H_^2AH}k1l=' aE~4]Kkstl91M@E,Z}ϙ>lV@*E(@#X`F5>͉'gN skH1'^EEz#YRĉW5ʽ]f!Y v3Gs,*yr:5cOS:HXMnk,{VnHZ)Xu1bCP@Lȥ́\%ON6pX[ugVIZD% j%֌ g߬0ơ(l) m<~uK"HieDVT?# Nϱz0)lyc&Wu2sV쫆c2asě(xvڃKdiM \a)JJ&/%!L*UlEmf\[= .ݩ[%dz^'GWn4%\xqISn@A84& 5uf ̵ly8}w~]L._Oe^(NcoR.jo,'xU1"$,6t KMa< 45VDV•0h\סٞ ;_S؟>,=aO5|B9J0AV9ަ)=Hs *I1BnE;̿+@wUǭG|ƜIWB&iAKFrIhHpTjE8ۗ2%$ҿ}ّ: :],4h;⦃yrf!Z+XOxOzGDm`{}}dI9\ji 'iIλUFƇXsó&w!~$??6|9ƭ ƷmG&$~3LSDCr|<$pn~!􎞆f=Vt,:WQ]6j蝡DITzt.r~R0.5.04*|=A?O/X~@K~7LiM[C)*!3eR( 1^St˪6bwChxh ݍfri,-E$` QG*2dd$kn,D]L@7"iL MOgU'm'$Q\bx{> T5t=_mqEx#Sz ;K-v+jIղ ǼŃIՀk\u8P90fhJ\FxP1Ձ9Bief`_+X!gki^ƍNޕ.%{ JeX*Oa60 zҷNpY<dz`ގy^[EB-2xX<vf<vZ3u,O4:HY9&9XSCw_*XS`K_5d/_܎`qXz1iWgʩ'٧w( Krg?n;ҌȆ>]ݷż4.I>Ⱦ@'ە 49nIkeޮxz>LǺa92:f\C}_nќ`*P}G gy|lc纴:peoRdՀ .ˊp<6FnE}=~ 9>W 1#=,t\A8eԬPZ~EQ8a*} Gc`iؐ[5ϛr,vxMZ"7!gmޔ>SR4)Il0وω=K^ZDߠ =3jCRD@G&[Ӿo:+䢶[ Pg?R1zBֆ "s sP!&W~!xlΓ<%ŀ_vχ mX?9g vp>" wkF2{?O:BvI} 6"2)gYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8ff3fe36dc49ebbcde4e5934f36a98a4faaf7799f 11271cf7f5c3b7b5eb8058ac8fab9e5fd2f3757e