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  `5l\ // HOL-Record_Benchmark:threads=6elapsed=104.646cpu=177.904gc=8.772factor=1.707zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5x?ihm sk>f\V&_Wx}&{ߦ[ e3SDM/ 29h i(mR׵t|u4cctgPmx|-xlt-@Wpt-gYZ7zXZִF! ]ŗXi%qJd^1*7l4ac]4-6cN1. %Wwn>"6`1U$-PH"g;:J"ru y=13Dû}GgE4$EQr $ʡ-SƐƫ\Tvk"{2Ag%NIې3;Mz[@KzO=a~j]4fӀ:10۩Zd4\B@eN2Uf: 9Lt~kh{5rl/ܸ@wRD^>ۈ و_9 :)D!6Þǩ%MU -P@˦Jٞe"wKtnZg?Y5[.)6bőp?9x 5 HOL-Record_Benchmark2{_$, 'SflMmՒtݠvzs0@_n>DB15t_숱XF>րkmS"CaѵجsGK΀j'Z_ЛP`RCef8?5$>܌w +%]̈}a*t\w2j 26Rxª!S̽!hOoutc>s~Z1)Ct0r`YogA5մdH|3|W}Av@u+~6w1~d{\d_v@(>`ww!vZ^,+ИJ$c^19E) 8]vx]T{{f.SBXvf7}rMDz۝eyqcVbsa6(SMq9 nf5 >&e6E)C; 6z6@}B<97COw1H:X2t$=C5oZ}Ȼ- 2Vڼvs:Q_MWS~7ղL\lJmCrI{~Zu? H5]AǤn5!L uvRҪ8ǂQ1+[N8@zV^:zn䂀ߒyɨDo\?T1ԑf |Otu ro#2MQX/,MNaNS~DL vd(<#8|* |rjXTu'[NNy#+NR~i3ID.t1)}5>dՂ' _ȠnEas?~R/k2o6m;wK% J&Lp=)g$nlpE2Q*Bub>I\{M&q]O ּDI1C&UZ,DDiV):?*h/UuFk(-EFU c))*uX?WUq\=C V[;^ *N&޷^taC$;ArK2;D-'g14Bw}k~ mZs1XCX2O:jOsd  8 !M]5Vc)g5{ơ4PIԊm2J=OEAݻna#U4)Tdy,B5jMV'0̂D!V]ʄz6/A} +os9t:69S1ixL/urV򇱅bڃ:uM?#D3sQd 3 4?UtnL(Pg2 4 |gLc7D̪[uEuaψ"7}˔B{(I=8;\` \›$ &gFB!X?T38D͒yYs0q .d-p.s+FKˋ/άy {.Y>Ae9"R;O,!&a J!li,Nx3/$=z !Q @ET{gP"-p XNDM[OT;Xe)H rzR2&SAwx{p LōzdO݅d}. #DȲC 3N=ܒ^^+Q >32-97t, 9[9S 51])҇ZD~?^`'A НĒQãK 'k4k7'orG+՗T?,!颺uh \cE0jV Oojek擢Եi( xt]%hKާr9&&[\lSU}ϫB-5_W';d&:^uXwVg{~e&JBs\JpK%͍\c6dp\^ߑD/QIwĠLQ 8wCGPJiފZKǟjqO?,P(B%GTOpm/[;1hy2E#ۺ!~Gj* X\%:/r;$#Gb2\ï &A83$$ ͲQO8JfQa8=( kăK9vM_31  ##Jl[C*6F50PuàuK?iNW]\h`HcTm5_~;D]COQĶ~Y:z@Vr ζT&N?78<@ _v%)al@#fOE`&,闷,4T[ۖ-gU",kõuF9 VTKhH<{)6ᐠ@:q\U#F <9$Uo3Ki՗ :ƅʏGB6DPK$0F#%׺8l<)Ϊ{*Al׺d ]!%^ՓT5,4b iS(%g_ܭbrX lti7A> lDW; Pڿ|*Vy}eME0 V?2 ?dryh0( FDx]rpL Ye-/|lS^pHKQ9H혫\%wSgwȷ =#_!ɱO:Qe񖻌Ip5Kt5I3 ` { RQ}(M'Q;|ZJDLQnoU濪ѳd TylTxUqOImpPyLl]Wʀ}ca"`{DHw, ?xA~a B0繹q}( x[J"ܢrǜġFywΥNd7 +!3Lz?S8M:rY2z2@4d"%ȋrstODB7 vƱcybZD@-ˆmz5&=%pvHM8Os"E[zgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8d073693c070ba8b540b4bbd2b0d552b90a3ece52 b120b432aa1de0615a461fd6f1e356df4ef69e41