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  J J+5\$< ]/ HOL-Record_Benchmark:threads=6elapsed=97.501cpu=168.676gc=9.556factor=1.737zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2-HBn-w۞Z8ݛмxgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/ YEKbe֞ƻTr?% MCqj]ON}YZ7zXZִF! X]ŗXi%94nC,P~x0%rKxa[E{D|Qoo@"&lF<(Ṵ%9=C@]eֱL2Y ^?>:bm18}e80XJ *- 3#D EDdYu:v-ӄ;r%IO/w-k,(|𙥮z `-mޮl 5 HOL-Record_Benchmarkwr ~ΥA©SWW+Lֹ B*"U:05Fm}^~BW&tD<]Ui59m>^7эN[ %]\>6A-ZKWbwi{|֓ܽQ:>Wݖ,;Oҕm尞5J:}`֮x"53m 3RW+ɾUQf@|Ygfmf"Q9&i6bܝxs.o}itl-oc,%OZҩ{3u9 ;2a'[:h15֗1ڗP*DI inxs& z͚ż>;%¹D;<Z,[11GxvP֒K 4C\$Iњ~TǞR Hj'ߜJVy:E=$dNjpO5Iڃ޻Z u4ɠDKʠr ~^)W>aNI8%W lv2HF?,[ :aRL]f1WIs[7f\0ʋY[[=ndПv2 chRoDawASg\OGbWLUSyb>r{|i/(6<6 ZMVH~L7̸oKǏq:,mmW '_ tNl=G&D 81or1oȲ /!咶Vp|op򎨜@w% AD ?g(6#WGc>]؈mx|׺֡ O˜?MxZTy䩤% `X~A} ccXIBDzTH{RyjmkS˾VY/#>UHBl6\qytۄK`h\pgWF7ƳN>KjȞ9 ZSAwdɶ>nCU"%ZU@|mLG|UTWy)$\批vho㏃T@yEfjH^LO>EOnq6 %ՑC*-2ňCŧۆ.X尲J4A HwY:lFGUV7]] B vy')zpAO#0Ot5"AȨ("?mqY74$=:^5{_Qdpn_.Ֆ"*PYK=.+2u"*Om ;fg~Bw=>F}ii &Sѯ_o@7dRDotW^ael7pk4RnmCq7SjS sDXwP5W ոm8k8+ a]gdQ!ɗ/]XD$t]\jpTtF; s~_ľnؗ*X] @Ox+F?ֽ`6f9VMv38*r%mְލfB8QUSo1#(4CY&٫hۗ|/2RwG6:NLJ#> jzD@hq%BY`}S,V*AzaL2mEVN~tĹ8Tu| T*R!': h!L $IJ g+b+ ݗA`s)  ʊOv^1zQ*e(SRƕLC'$*8mnP@-cdډԷ|ŰWBAԎ9o(6ڙ:bsRը/n'0aϴ?ng_3P\TZ)U/"nsQyj7umSfs-Dz(gQ_QJދ=܎ SG/%Ia 1?-t12VYg!3w|b46N9<J>?_>Jj=GBbU&-%.gqVS D@OaS@k2j==ĔGv?K\8!0iw>aWX$BXŕ96oMp܁EMW۷>*wMNLp{EraڬsrcAz]oI"+a=N;-KPw~Fs< Gh>^;c냘ףȚVR-mx?]Xry}B?b,QJ8s=grh6s#],IV\["žy-(/^DDLݝ6~w=ao Τ!"p$qAav%cU9CVFvIyU8ur$IS$4in )hO*pi%&;E/]R!Hx¿`ݓS/vI[geIq|l+,%QwD(<2.q?6T+p_O !09+C ,11׊“|/jb/P~GH }ު]!F-e(PIKR e,(r8ƴf긥8ue8O { 1v<U$+1 hN/]:Y2Y#N'I `c]*L/ ꓁AF@bKP#5yt4B2j.Ƃ'DHE;xP)-m3&?,,ת.<#V4١?A1+61zm޾rSZœ}mqBWm'}2U?o`/oT'|.[~G |g:%ﱞDFp ͣvu>$'U.f3MU/04{d[ /$ gv!o)x'S%X0WGԴc"`hky徦PSj1R,QXQ[xNk1+6,+)(7{p` ~o*@b6i󐕲?7z03=[Еux|_KQ,oC˿FJ\wwG qwo̰?6d!hHQ8g V;E*.o>6QQlJ")cg?m2``=` ;Gadb ^߱gYZ9d7a8bacccc8d289055b1570eed4424d63341e964cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0 7cbe2b787552e2377b1e9e19550fddec8825838d