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 Datatypes:threads=2elapsed=39.331cpu=56.532gc=4.024factor=1.447zXZִF!   Datatypes -6']ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^;dƔtkP_d2Ea5H;D >w)H㻚ɤ{ݟwtd|ˋġ2rBsmUq"^7= A- &;_q%8+IfދxmP͂ pp'OS87f se 7BB2\(iȵjIϚ*B/)uI1heۧ$p_SZVң=;2X4rm+,\!A܂,: ӳkDlAWt{i-`c,Z[0'<ڒV=kk ]xi8ǓT9 =襥i#BA/Lg'7/y}ˀ1xG_LXkpi3G&84 H/x *P"z%6؜\3yQ]y}nctmѪ=e_ʇeYXҟ|FDWY&"!qiǭpS~ƫwE db >Kuxr P <0`mkxXR׃Y' T-b!AlЄAɢ_ϰUzKCH kO !_ygV˯zXo{ /tbw6%$a%WvPz}",Y/Nr@Ѭ&uL MdtmxL ȗ`5ېS{$b&!^'Dys7B0N2T#E/W[gW?|7<=`B%Q-hߜ;G8(;ΝMkB\֦BArIB,DlNۑm vܷ$%<#ھ$Y@Wq*L;6g.nm.@b= `tEVX2WVV@5Y0g~UZC.ׅgYZ7zXZִF! ಉx]ŗXi%#b=gE.r#H5F&O|^'`{< U-]z_cOF*o~MI Ti04_F~ֹ>R4;+aܦ,-KqiWx?x k]K+G΀@@tKz PɞI.!"X+ K@LRZXx N'VZaiF4WLGcC m\V֟.i;R&h% D'M:~ g SE$Z Ҍ5p*ᆣQz+rt]PUtZ, ;&߹!6 %?-+9 ,CJJ Wr]io$tB%Dk =-p\ 2DP6 *~APibIwS[~dxt b3I`lŀ[ Fͧ=_-FS6@g(l~a'߅w\Ѡ;UTUK`j㠿W*L ܓ`50&$D\^շa5 \EO9Ly >OMY4t}6.Tnu[67Hip2">F=NL6_rǺYcal6q='d }G;ˈ2t9e^*|gvxз՗DMLa_hMH,"s⓻nZF0r)eoL 뽶U S%3 ⢞t0&v"BB q-}i'l&47#Y0 p`3{MD WQ^*Y{%kGGDlNb&Bo]P -pك#8CT)D4~%Cǃwti])<%DIVbdgإƏ/:EriuY:``Dv3Q%E~!jݎ Ï b[<Ѭy*T,0b}X 3ax0}Ӈ/ݘԌjr<Ľ;x d#Y"ǹ\u#V \\񂌇`hb@^9Dp" Op6|<:]12whg7Ŧ^. 6+$47Qi-QZ5cvRUvo_IW[yߒ2&s,+,E$ qƛ#;+77l ,v0u\[C݅[9"U˵AB*|t7q;bV3{*; +()hP96hq+r/]vdc}0.Rx0;Zcrxԅ䳪 5[lh^nL?ỷ7U?|!s4CAb_emr jI2b <%hŪD@܆l#j`9_#vKDj^n:([7ǀNe|DߟոLT =(, "}#H5VӼZ"e6:*1ca~u bo;.*h$˫DpWVZfA@(0JС*DmzhjcC6MHaUb0*b#IFACzɐ,Cn5N,>6+53\GT͸=n軎^/[U>ct; '@vxo"ALiʷ:{4wYab g\}oTr