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 rrw5 l // HOL-Record_Benchmark:threads=6elapsed=103.342cpu=177.204gc=9.036factor=1.717zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5i0d@8 qaK,>o^9ԁ1k9APY]lo %LkA~_M8S̹|ipe!D_ N2iH-vzG1 V Nݔ`Uikw5gYZ7zXZִF! ]ŗXi% 1*LL&O&p>FE#}St85^*gN`]=EmEFʎw՚^#]6ڮbtǖW&ɺJB[x3pz8ŋK~D5FL /0 x m l3R :%3 q֝_jJF$q`qem2 Y˳xi"&ꌢbyh.^ "%j]BXn9ïkޙ4h7 5 HOL-Record_BenchmarkCP[U+R-PWkoQRͪKAKզ/~ Bޣ{0 ڨ (hHSDTJu=Y z<$Q*F#@HˑGv(ؐ7\3ۆ)+1J]lm @GZAL|YSgP$ - <-a0CCq??*i m[wKm@䅧OG<`a+5;EĀ tZN+:"yo$aQn*^"˪}&KE$57}MQi|!HS&=!XO4+Um%.V6JoĿ˨ 愓jpp95.wI0UT;qqd#Vʆ0q`HxqЕ́x5l[Łg2"Dll=~-<";>`y/T da"Xy%)ؾTDثMQݗ1^c1}Ԙ>,npDBR ~`g]RZ8D֬%‘`n^(3-e55 ;4$b9+XZ P¶&7IǺ:,7b ng[raDI NWʍUaFMk}+&38~#1o| WAT.xLe%t΅#̘ YP /ۦuDm1ɔ3v,.rfHg/.-$) =~1ǻT zF(VRAT^Rc"+İYyb;q ku6z(YO ח#mضtuKuJ/k,$[m\gJA40i o@inoomwHB,R݋1J Fse}pй=b?) ? l4/kر1qx׎k\" v5^}\EDf"kC41 {C>&Drn .e<ՙ< k]< \&A|:j(e)PNQT{n/܏N2$Ol p1my'&ֺti<#Yхsl{(lm@}lk!2LGwzwP){ UğMl.wЌ\$=e,%N*1 Ⱥ_P(%lE?z]b91{ k 'm;>PƁr󃩧 oNAX rrQ܂.lmǯ=vEwI5^ }/_n"2}._^Z u"B*MMC&H3eA'XsC{خs7DYdxg[l_wZBbһe} $Ӛ)TDʒ)]UnRl ([W5.XB#ԵJP~8)u쎃h?oͦS#58gFnڠ ̎ğCM{DE;ƻ\5S]"]<7bX:˃Cy u(z`20c>E"$w\}'^?te*$O qcASt[ŔU,i45pT!^]N?ՏٚQak&:6S ͖e+̠YXdv3GWu5.v;l; E ^hl <ڡ_aIJ7jUر[h!2ud## ՋS@[A葻8rtgM!{#viX.ǩLђ4fhH6) Βo&W]0Fptٶ`^DohI(pJf/죱Տe]0)6`vJ'GF]U a`h9m1}R}ˑ@Bk*-Cr." B8gm#mO~vs%yɳծ-qFՠfBFnZH.X쥧~q*Wr,fat;_*O 3^U#YOc{`'DfϤ 5}LT(/HNXHkeeKŴE;i 2OV(uZc-ok㩵2{+PNIR9X4y>=;287=ԓ0ed(S 0($I\%tO|cHNg .z+߃P 66iZ*^֦l"ReA?r>#H i&|x]*."^g( o =\Ρkt&lˡk͹,jС̆H%7d8fTF$67Gˑ`ō)+JQ~ ST>z;tw֜nR07z}1pӑw>E6WĐ\˝/=\5+8h[1?6rz$Em0-%%TgE*I#XBA MofSգ '<1MKעěA!@W^ i}R%L'eXN S k,Z􅝽K]F^zТ`P1ܺcWCC}nq_|dwu8`0"r*ie3@+ ł1cqvI 鈛b47|q<>Ӑ𻸻2D/o2+Q C.&-YHЄqA r8-7+R4 AEZ㢆?B/G۔kG$/U1?qh>3lNS֨jnh{+CfgL5~F,(߷yL"G94mqpplZvj,4jukEv$ąemIGæUtd-I8 UV?S5o¶زz67A`]i,LnUpxHou aDylw˥ Gɒ2Nc \pEwZ7̞ N&ǥm `IR"VgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f88a4d67297c0e2ec77e620c6ae4452e9ec6476acc 61168796331c08066a160816a5083e430d7d6ce6