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  #td4 ]S]HOL-Algebra:threads=6elapsed=26.721cpu=125.664gc=8.204factor=4.707zXZִF! Bq]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!fjx@r_P%Fj-vdTebX ;kٱiwQ\u@3'=*}&K[@h&](/=h; h5v\<8zIcow6*M#rinW,Ea>s`8+ũr1>ſւ=|=2l #L8w a"AsjVv{|J5b/:!Q~מ)OxDX6шJ4hv23o+,ܣ|, .͛ |TEΞ|X+;짌>ЅNZa0g>K> `:?LН  )t #S]_4mu Z9qg0LEo.p~2;+BX#L˖8?<'!H`$^zTejq9u-4Bh_,7_{%HO,P/gD4tI *S,^p+%~WPp1n3OZ&ߧ%g̾oFUpk~^4?GҬ΂NӨHkjrCԆǒN>EO*& a'7bpN_k-5'I$p RҶG%# ;y* # HOL-Algebrać)דU-Z$UE[.>̄tp='Y(HԐ2` AO>Gsz4RQ^Rk3.NSA?dcbR6* Z̽=DQ%'`Y6f8SX;&O"=MwY? 6h<$:N̄m( I2L"S:Ur0WnV6`M ].RP}ǁyXð`sV769v,ߴ6F-ւC7iޜ ‘xIZ&G] cuIqNr }_m A@1attcwȹAꩅ sjoFSsO'(ո_ӲPWq'bj;YT^³e8YA`ዟ+TGxY,-6(Ǎ\ 8K#p0њKI{wQrN噙/pH,Mmj1VX ]v^ EP})$j!&AKC,ً oYh+R#xھ3D^IX4/"S~^ $ѹ"Lm`\vhdXAj9MwۨXZjK]wObsmy-Nɲ%ZNe obA :N&Odg3F@ YG BٱgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8EOހxcp;˥3L2LG%v4+{HP.[UK#]!d 9QSo C߯JmSB$Jc8QVtsk_T Lj P昦rPȅ/60p߬x-a)K 6q$㍵4>6$K}s.:%߆\K"8i#Q'M< :/ g0僄Q>Dy*ˌtSӗGbOHrNV酔}/(j?'rWD|gW1Eꪴ@:y6.$A'G ^'#OjF{/&*EՁsq:1sapafrI\% 1wh; ^-}ӱgYZ7zXZִF! {f ]ŗXi%;33IX֝oD()ً d%M~:waEM@Ino(|ȫ;I`GO2~ԕؚs&G]G=2k8no>3\M7[CW~3Q7~z#syj@2sx˥ĝb2k|nx~R*<cX2f\G{C>Z##u DwoPӂ7mh7T $Too]mP 2%=Q䇟lAjW1GPϨm [`Ý‚`;.9B%EI6yw:V)Q bJ>Xٹ"^gՆg 5>wEMn_ixG qHKyk z;[@b %H ΝFYSi#0|lk l!G)QPdrD$*DJt'i C=,ƠjΞ-ߐ@ioSK}4,,ML>CTUqjJ ob#.,-w^z$-הDnHF%@a2 *Bz ;Yۣe]Y\ͲiXP0PBTg9R OoR~2H0kL3ױ}6H(ρ|TBME{MNb˔0ڹ$ $eItPU ֙; L#tz-?p@»דQVےZ%aNL ;@6G51 Q o :@]lJ/XӃ1O&W`G!GR%PրYfr 1Sj *n\GX7^n"Vv#17 YX0tqL]XQX?YԁHńVŦ}R3Ml#32'$d\@ԫsPD ow|S_e=qײ1,DOιs)qM̹YއQki6^m S:ڏ1eC)ޙ#tuu90G%W)>4Zha@?).;֌>t("Mhj4]k PAIۂ?ߌCe! K2ZI*`D"Qƣ`8{®X*50F*YbWa#9˽փ;VP!I␑;՞fT!!Rg<GW7 cCPhUB&[׌b4X|3[N.qSw`  s9S]3H6ds}|JEjf0GK:3Χ]ReT.ɕ7K5t8(dY\1dRxSь)﷒D% 쩿/7 x7hRiv:;Q" L2oFH13DezlP=Gq!$xyD*^νb?]:Ox, e0PTNd/$XKMŦy@XbF.YvCs+(1.,B4rOӻ6n ཧо*W Z: 9 EksS{}Q/DBd r:6VsTso!ŎJg$E_hH%IGup8&rhjB (M OMń<ꠠG!u|mgYZ13ffa0b0345e15e1a17265909da36f134f937bdc0cea6af50952712e101cf3d03ef47baba4b0476a 5e4cf06377096ce71c7273dbfcd36f928b45e122 38d2c8fb8777b52ed35c5b157dfaabe87b62e97f 55901a26fb414490819154217840706e1d2993a64ef4afd8fe178d6ac1e1d2a4613402dc33e95008