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  w5,$ ]/ HOL-Record_Benchmark:threads=6elapsed=97.487cpu=168.428gc=8.980factor=1.737zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2-6Ү _P~TOyΫA= oIC#n TYb0GfHjKy]}nd ^.!gYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/ Y4>TzdNNFeA!BN o* ADj]ON}YZ7zXZִF! Zy]ŗXi%9(O>?L"Ays:_2:Zb?+!Hgh N ceB3EoFm]%p~J @l쐠ʼrZ";ؼYGKIv nY)`Z"=%=UlOS`m?"Oх$c*Dz2 W(z"s֣yt 5 HOL-Record_Benchmark0*+ 񊱤~g+Fܑ*i^2`Y.Yy1GD-*G.Eq Nz3%. אT߰N\ֹ:BolȾ`jhԄjEì/d8tہ p4Z kj/>٬d㏦m멇Άm5W5/l;f-/ƦP<۱'}rY)R+hD(>ͦ m%!Gm⢈ !cc!ɺJ 8! uf5읙,h.LgJ-< 9:ǚ|+x"UA;wLVsޣ}j0L!7zfcC 6=s'l/61 b2?ZmQ&$*7oeLFB QӝʾMuǺ}0IÇt r}~80nSV\t~gtA/GrkG[_G!33Ekѻ>@g*F khO0׊ii!?X[1-Z ȺOK))0L. K)+am`2(rGX@<ۜu[վPD"'Oʲf ~lW++4Fٿ*ֶk׹¯Qha5^7g-){4-ϸF:bL &x&+3G ިp@qYjPΤ݃ڀďS\$IuF G&x?8Q}P:[m5*]tQ*6|[Q}hdžu-H&VLW: L| (p&qp.;Ԁa,= lq"P6q忋>jqv+TR̒:R([Nk0xc@lƒɄu}Z`vB"2ZKyʊڄP<>1 wᫌ &l p'gm]XRhM!u^t\ MC+_2hW[kyЕLS?wG\@U7ꌑԚ :RZ:jF>2d)B8dWYPb]%o7rv\LE*^0ꬻ;i`8և/>2NV@D><}OFug퀪J:Gx>2c ޏ$ht9j8xǎx$6{29gw }rctחc r^(wp|D:V"7?u& ԕqd4JuW֓peWxk6<" JWF/@5&Yhazb.*岔ɘ_ZBG `M]xJr;b%87-gAoY2͏ҙ:[%R!Կ'򟛛brFd:6[.,([, %cڭA|zr+Sg$4/i ~Tz.i X^ YQ98G)1r7U}Hcsa#ߵ AK͌g2VvӚi!&=h۬Qz,k>;ѲXa{#$ҍrܤ@+m; ,JqG%'όzKA`{eJ Q$*)Gkdvwrr$@Ly 2F5VGH{ @r|09ݸ|jkB"Emc9X!xZUj:_=AT:5*ٽ%L}}&H-dt[哎 ǷJ/o޹ !.\& -VF\:9H)4+q-ؒȵEXO6E.Ab7( ;>:/pg5D׆*gMiQ+ćx}PADk$: Yplj"r-_jX\;7tǠanj mPq dMyy^NL(s&/Tw(AM})3hd«P oɩG[`ѾF6%~496ٯ%?s$LHYO S{9yV0/<}|qe B`_*Ħ߃NȜm㌡T=zuD'A]}GZ_-I,eDNF5zA=C%Zro!Ыά ]GU PGsdo0%,*O_Mp:>>|,#tH #XcvM&{M}6pe YcTH6JQPc!'*^vSh,ٿCt>MVe$W !vz! toyWU4AVT;biy& Q J\g~dqr {AMAe!kg^~`G RGMPKT_sy?6mz1"j 񗎄 3lF{rw4u %fHwfPk"%KɵQ;j">a yQjÑlR'S;E8zۥ Q$U@] ri9Mg ,X쑋S_n6nbB $)[1eRϪSÆ8ᇔxz4QeQ k3 BiLU#Wh0s0U{*1oA(/DzcZ@c#n&#N5Ԫ"ǎL-t\N}#Pݦ3rz 1)(rY<0V` zQ[@DHo}Ews`'/ +!;ǣdS$:mo4> h@ TݶmE M0 q/%eHN đ"ڂ.;:@.tLP&l I I E*:UUfe2׷ fRn!_15@l>G9Mj0qOW]J΢6+L{썝, j1сЧ:<6ٍq_>NK ,]Rm#L3J?U-T+lvg_ʰ" .$ͱ/3 Px ;o 1EWQ{veAfrZCS|m=";K,Dq8b<8oFt"0Pڿ>蘺τ_ t@8*^0o"һb>y xJF#[W~쳞ahyc6C=ad 8b _ p로=/^{ ^-b: = ` l܈$Qr ۅHRsNuӦV};Q;᩸czlw<.AldOO.]Li5~蔥)