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  [+ DT c/ Euler_Partition:threads=2elapsed=14.425cpu=27.248gc=1.016factor=1.897zXZִF! Y]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I,@%o9¿oZ044>r캫x~ykWg;İO>AH[_Stw V]j# <٥MOEU*N*JBe`na&N2T=+B|{ +hxTQdJ$X_.ƋoKoyE\MDF]J$ˍte3}p ͻ`XܽR6?U7 xc>.!Ȟ´b}$/~Cy1⸎1dTnl֠U~CkdZ%vʲV02BYW> ƒ=S81 >XZ7sc4g##Kccc$Ÿxs@T($O ~4'A/يۥ4>QaRqwMs5MYOkf!K;CR *g| H],"ϰ^71k[lD>DpC`A0阆MTuK:M<[ [(Ns%7~=ڎ + Euler_Partitionq|o &~\mLvDHrI(ϐy%QyҖ/ގ*HP%U vݏk~+@*|Z}pFhWOFKOℳ(wqyxݎCϐB謷tD1XA͠/pI -%|Ex p@k#D04фO0: ­LaOWK\k(:lg ^^bjnE0ۑy \L=Q){ذ>2&T+lO F|s:v㣮IO!Kmƛ:|hK?ghmB)vX3#_RrTl$NAMb_` ՜&㘦XA_3Za(FG2?Q }WP4{y)Zd%|ՠ.# 5:\w3!{x{ W z9V~_RkD&=^r([% Զq/_*"8Ak}tZĒ?R_0vxD{0jNg>廑`.3O"J$y)gJU"$UKHYՁe:g޿NV6G݆n9HUL}xn9HmQ€9s} (GK6EUO22(_t?xs.ӻ(gGO6mzWoQuq.bK ABqMKLNHYWoĉ=nb}!{]E0Ϗay_Ō<^p[ U|֛@mX)(H;fU湌V@rn!5\⚖+Bch{8۞لg0\-z^8QKҞҝW;0 n==wYuP}վd5$Ik7 6| uQb 2mC#Mcʢyc+Gp(&+VǸPI?q^-G:oM*t'L#eAֲ0fag\oH1j n yj3h>Z_2uPSi+m y/߹͞HVD2r$;Ó 6TEƫضisHw:рRX-xHɮH3d9=i~uRش{cacb(Nʕ =Բ`7Gds ZA Rk9 .+`<{%b%qk=b_aL%J"wF тRzzY8 P){M 瓁Q':J~F:#vM<&!񧷘'1z7^mj8,3DZ\BP~rsMP׃vf=WY͈4zךT'T,&WȻݥi6xe aզE΂]ifǷbpgYZ7zXZִF! R+]ŗXi% KMjV/{b'Y(T }zwËْO1KV&4,Z&O3yۋ m?r#2Tx4&7`ny hRݶ}3˅(+({L`:aFl 2W)0?߹J N(iX7f`7^=ж(^1)sGI"@*XərJ[XDdDZM/ V 5}4g|;}bLbDAe$ּydNIOe2h. I\XUw/QGEj,j0^e@bq7Xf;`paCֹޅD)MCc$~vw1xJqx :Ȅc}.hY~ebQUf]ugL'P̔JܺXϕXle݂&0w+x52xAj1r;NSn?pxԙ.5nV˃ &UӸ5gPQ"#%qh>Pu2jn87]Դ+<9C%N i/{I B 2bKZglñf˻y b2ZI)8r4̰R ɯQKvS\ݴ|A [I[ʍT6lyESٱAu}MMEPb!Br|.vtQ#\=uj$Xؤ UJU"  VgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 7b856ffc78586fa0be84090ebe5606c3239bbb3f 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4