SQLite format 3@ . BBh77otableisabelle_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  l5\$< ]/ HOL-Record_Benchmark:threads=6elapsed=99.061cpu=171.860gc=10.036factor=1.737zXZִF! f]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\27(;ei]k4C%ϯ@FW N:бgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/(ef.=hfoY|T/k]*U}YZ7zXZִF! ]ŗXi%96DSfñay\(2#kD'P$W86k*m_q %jUap2xtAIX̅dC%r|mԨ4{KLinKҎΦio@5dAcL<,C ȄRWM+,VK ȈIx b21nA1d>^_¤uȝ[4A6R燻GGvwpjYsvZ9yF 0ٽqnG$3Te& 5 HOL-Record_BenchmarkX6 D.5=_2FF:I̳ϢdR` .Ǟ,l:]`QQ>yk$(&x^5a[ؙے77dW~Y3|!$bbI{&fVSdH@#N5 Ls"rLW'v^到3vϫ}ᲙiD1~GPM+ze?(oZ8,_^PFc/zmp7RC0Z{FgC2bHT6LP 9pAqO&,Khnϸ[" JW6GLkucfi\4Ȏ7]x%ӽT#j@œw٭'F-VI~ m`$& J: *γ GW_m9nde lyh &?[DjrTwQ*\4*b'޳-:ꐅr{&M}UP-¹ ت8E &<n! ZӀˏ$:2Ό;VѴk_x"P-A]z5y;0%)\<ǎouKXy9 Tfpد'*4:$Ost0F,2 ÌWx#0$j5Y(p4 rRZGIOOR^mpYb7XbB.ZhY+ ic*zW}'KDط؎a4q5v X[mVWM }k ~^ 9sҞLn-+!eb  B\UUpH[鮻έ#ea4!]d6rÌx[7Z Yě F}XגB1"dpj{á|.E%St׻:jgEj]0Ajap$CVPOYTĝaWb) P1!ZG>N\vc" 恾RQ=O[o%>,0YFq1RJa5CyѬ92K2/ 5LvϳW K?çڻF*: 70VCE6@5$cu:'ƯO SZW!0TǨ_@:Vգ20S*b[کbP͗kk/[%Ȳ3(6ԐT^&;fh$+uW Cx];1?0.A\B/7~m"KZ47o)MHzҺe!Mjg4)fDð oʷ5Q FV B&xVb! ^sEQ:{b;Xuuʼ,d}Œ+n"U;~޴j?hh9UTXH(R i XܷDpE`.H$?L aj~tnSyݘ`%$!n>_`ɷGW=02nǴS>J3Lv=^#4@RǨށ~뾍C\ I'AߐMق"F]qUs0ѻӒ3X @c:zSG8y-{ALTMFAV1ڻ c9h*@BH Iqߺ?*ZlNx3X6 1"pq#-r(k^Mfix*_pYnOu3ۼy Q_}"b+ᄐ9Ț>+mwk[֒vS_9 7.+7 B{t?=pK >ɿhbz0t~X.Rr; ha *!!ZQ^9?kw 8֑Š#A sL`fL m.!3@x-`ᐕ` +臆`yKAT'?e۬j-~Cl7ⷎA?50q&-xr;Xc ԅǢ C"]15SLO}䵃DvYWU!G/ҊuG|[D4@)W-W $l%&CߘQוFآQ+kF[ &Ĭx-G39.6c3TNzѠ:٥sQls:.x\sik:v[-Rݖ,ܑrg lχI !"a+^cPq'_D)V#-H#k.>v\o\ɢeavd% +NΖ-1lبiHtT)ν+#-D"KZԩk/ &X N(Wp&F,IֆA~_㣣/muGys~yu.d%)Lk&(rE35OHח[tFߌlX,$Ȏކr;#HH hfi9  #Z IN48bhWOR<|^NGZT̠˟IĘfCJ[;+{"d,6"ѿ3WݦK a]UcLx4CلNJ_ŻL}ٺ?ҙj[JÍdP'E15K>~(03SʽD W|[ި;._%Iһe!E&uh|:YϲnQWW$Q_hzEI55Ց3SK/̢_WL4ֽGFsC*ޯ%돋6U֘a᭱vD&U8.nY3ʪ(O?kă'd LNuCTRm;⧂6kބs6D4]IƑfaVǟ9=g620el{pvU]Z4Q=5x8Wk~B Nwlgvc!Tט pʤnJqg!צ?P[~oɚooY7wE'71jWWE^-DBt;וD5םwo,oz(T7 >3`1B{>֫2ooU1Sw$hv?4q>o-aLwArs^0dEdݘ??j*=-a!cIw۞8T.̄ ,%