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  ,5\ // HOL-Record_Benchmark:threads=6elapsed=104.787cpu=176.752gc=8.492factor=1.697zXZִF! Qy]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iM#*)- .C u)n*-%9UEiGD)X3XDlw{v }n;Uµ)Tgģ 9n&6-7uh(.=$ȶl")͙ 5 HOL-Record_Benchmark)+\Jbνc_9S,z$~VL캻t7?{g=W,C^,?پs:| +k'fP4~ii&)9lY"!(4뽢ِfحPèDÌdWh1v=Ga4]\䦈9xt0O#s=BbJ%CUx{H2Z e8PXp?nZ|$"A?y`LRb FSm89ޡ ~™N(&|:^7$Q;CEv#$*mn0*4lˮЩ3>3~ȂG9oXmiҝ ZWR "POD9} ?vM:p'0Gr%#iPwX40:+8^(k~$ҕ!b%2T UL& %ʿ"kP^& E*L鈓3Y[XvZ*4UdK󖴁P%^}z6l7V93;C DB":U݇߳:ݎ;`Z&=U@b5"oLqw!9|@Nntf)pI32ۉx/GA䦅aVq*[@>>bE9j5x7v3.{;CGϔ-D5,Wc< /%nn$zK6ZDr߱BßjysƊH c+ݥn㑷ĸ^J:Dl >0,U/J#*ش_tRŒtOE1;FxbV}*k:;pzH14h9rBr8n~__Z鐜.O].SݣCIw Q`28"}ΫP[@acK/ep̓]i5ep dĝd54W.uHpGrxꈦEmjd|6#{ш{R<6;AGKF?4O]7mhծD82~` ȀNt$#)y["qzd?('6YҲN.$v۸tey{~ H?5EΆsȴPOe$4U8ޢqqˇGA{ 0 !b5Th$6ĢIzozspZ9lVށwQ pMMqϏdqҹ"Hb'V-ी#s{@A8[!1mPYkW^c]߷LŜY򋻓M*4R oǑy`>3M:!2@,ʺ0ky]Gʮ_!<8uR՞XЀ,nu -Li4uOqK[0ViɫNdCILbrMTZ*S:3̙5":/mbLƎ3"Mo*_lfp?$}4{=~yI{^@|aޱvK&ކwJ{\h`e&BNV))#VGvsCQ17jH?eǬldne!'jfOGJ&dnAX4؄LIc,C8L`_ZV:kS)[z(x$-"?|^KH*µ0{bqf |O].&sֿ?*F:CiF9Ν;h3iDh < t+~^iP\t?גJ)L9Y%^^ ĝ8>:YEmPR\nzjrbb:@4 gEziFA9Dsg* )H?k'!kKNŨ*}ChAy>[&BSM\!c؍ESjD}+m1+mRjlc+ "cYA9V5R_TN2&㐢a DѼq2NDsm56&5F>vޤPRgekF?/pMA "00̒>Jb74µ5UV4$(}ZÞ-D5$'1spzZfa#~%QkKuQ`P|dڳ&nbzrH#:)M\ct8ZI'[\T9HQ!Ԍp"H-H~x+J@@gkaG <.Z6jLPV|6A(!0_|7sFd/\4j-"c|Tq j.~pr3;x.B' 1gm H7mnkʦݠ^B2Ŝ޼@`%۞Mij nV@A,&N2U%[5N%v:no~猪HP`cû nw_3ɑvNȄc\Q >gDb0>(~TUO{>  Ca_Mg,R2ހH`CG/-u&NS%)ȲO(*H{ H6$TﳖIj*dAfAh