SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info +5\ // HOL-Record_Benchmark:threads=6elapsed=103.002cpu=176.012gc=8.452factor=1.717zXZִF! N]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5i(% " Rup^j$HvM+t˘,1)4ќ P$9Pb"]2W}G,.LɃFd6/J>}6qT'zn`}r/;#w/jB=gNoرgYZ7zXZִF! U]ŗXi%N8ۅc UG"܊bDstj+0~.e-? ua>un4ĢosG"Qr`&b(3jG8tzM)9Q6|pEezĵ/٩q;*u pLcwT.zӰ$ #ӎ0kFpy!G-6HV_E`fO}̾,%?3F#?>ل_t܂o/Owȋy_tЉr#Yd@;i#kr߭@X8of6tMQLŷwY«>.i &33A%="JiY'թʚUNCYibJt$$ 5 HOL-Record_BenchmarkJsh󒥐%Xl4P]81-rw,)!/Y' ɼDglVB D>[HDcV׶A B9CGxbB6;I׌Q75@Iu gGN;7 Ψffeٲ_ X!H{e>F)X86YZ v$tˤ6Ir'򥪄تߠU|1BU']OƋ g,O>>0ul [ ju$UԘ grZGy)Qf 0KȗM.]Ta﯊$dm]tmDU  8QL|%&ڜ<&$"NeRA烰8iqlu̞P| =SHiNL蚞J$ʇ3Rt|InR/3ҁxxP"0$ %g ch7)T$7%';eBXyqZo)>׈kJ4MNƷ:D T!b=p^fh?u(P(oZjM]akHه'b!Jz$zʯ y R\wF0O\ZPBZ &q ;' ")BJX I4fCϝ痊:Ja.<_b\jy6gb(Ixez d̩s+y^<a?{ryv?xV֬t0C٬L@.׋Y.۫ju|8x|7HڥT4u<C-$5>̧-_߹%z~]_}jQ8VYbl]j>NIЧߧ" a lT0:uDc5,A\)N7̱áZBY_a:i /ݨ h*#!#Tff"[Kl/,V7. [uPu>9]Hv 璜+3B:q9o݀[dfxw92uvx.@R{Y_UT҃_ܲ͌;,*% =$Nz@OWgd/tHU(DӼK=GO]z>n/̓F!}SVN3iP>VMLfBM7c{ s"JAx#)g _m*]YIpI#+xc)).{_DXgC/QXj>]%ib(Q`ZO3q(ME,ocx`R0JۣY(7cty:t #S2>46Te39!i%/x>v!AyT9D^ùXfX,%I(˜^doc|$Pƽ+tg{Ka QG 8j1l'=+w1~6`FfJ0' ta[n콒 yK.mQ `Aݢc wŘr@0O^%|.]*"igwڴ][S(&Dʗo}f'I,^`VBG7W=ժȂ4$UL+!W?h6nSQ 3y\ oa$Lii,9޳°LP /2'~9(TU = tNkp=2RTU_ffž ;^}0t~3_nUKxlߡ%/ɛ$*+x[R@9ӒDnT&fzi\(A%u@& P>pGZ|~ɏׄ!M1+ |R=q|fQIMYEFbY2 ê̗f )C_JJkdn0$Ij~ @3kt\NDZs*cmݻ!J2~[vi1qD\%>VmHpؕ]1, ;A#nL8DCoDxGKD{ՇJe _p2b)ð'p+jV__iX1"͎ ;pSN{85 ojW :i\7bm 5!s߭nAD`Ai(VOZȱx$( |Q ŲZq,T% YG>֤Cʲ+5N:f1at{L8qT I:tM+ݻ.GʈgG.IC~rap+%Xğύ6>f^2O\EH>} e7շe&H憐 E(b_5ql=f*Pv پ(.qcraFnMqIZAD{*z>D0w}-J3%gF56beN0<J"\l0n:/2\#m1F?j SɅxzФ6ɥD9˫2}`{_.9 M:A)ockMp圱\+Hs6}ϋҽn3)}HA$2j Ռ.Shܧh*ǀ Z|,Xo@D܄haQm*B)"]mI|9Kj'~E/!c HaoAO@p9hCmax{*UWj7.%aZi{F(/HD&˳e mnȯkQ?$ 8SjJnO#D;>{tvJ,Ku&\'gJ򭟬-ܿ> 6)v# !ՄnvD#r/tP@.fr 4 y ZQ>.ko#4m6GzBzy~t`$'V^p?pC؞2`16acRX/vK3%;-bUm(x޲|Avnb$]5һE'22ff=ro#ЙʓNZդ]|8 l FȔ؁<]*֌}=O@*Vdx-M3Mtjw\4x=Ў1"$`C:S7v(ݛW'ݻter6D0>'$0 L˦Lx3KJU٘0%`3 s& >@{CD4 H<>9܂.\v8Ttꀐ6L4[D[nLl+xHp.i|X*.UR4oN[lnvL.jcMT}Gż~nT4P2v"ۙ]֪v)&AJ.