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 PP- | \ ]/ FLP:threads=2elapsed=19.731cpu=36.344gc=1.296factor=1.847zXZִF! x]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҊ[]_baY"͘ᣥ~NvH30ݼūEv ݶgahJMQ\|*]&#Ic';:G=YYK<>i4WsyxVEԽI&Q.C 3@! r NۓCXȫdEu/O"r/3]sk&U#e^${PQ[ՠIY[Oa16/7W/Է{d8BڂǑfvĀwi#bRsX wKXsbL0Hސc@ܭs눮B*'I?"V٬\34XSj{-bg,V[}HġߐeϼhO-޿~FȠ:bhT_t6R\j9lJ*ӑl(cov6m /<*-R!Mn0k+Jq*<~#Mec57ٸNI7X<}]MqzUYA )9"q fmmY@tj&,gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM} ꋛ=Kɢ"NUū+`5˩ dsIhoֲF=~F)^vvoC;-v,X"I2p9vgnn] 31׼,"cI ŊAms)q HE^TJ;kA@@gYZ7zXZִF! l[]ŗXi%92m/.J|PԫmtGj́H 3rx4yO-9Y& *!`2%5iB-m[Rt?q#rL4rvZiXs%ꉦ1Fa-*r-]}u87 =xVtqQ<`,3W{RLO8+L]Ic ONz8!Ygt g p&*Ve'{ik_RCp՚ w!GRȌW$g#0 T'x6 OZYvXVq!C."-+8륪ZJpцCjkVN=?W À*Epb3nwJuƕ4Sge)%hɋ^&pwlpS{Nf84}41o˱.PY[bԓ.phd!b;'<)d}ӆ6rԡZ BEۓX|w"Óe~kDB5~"2\}>Ԍ~\dfq2A4*v(|T=Bn ̴7TovE . xksZQn28 2~;,i.nڞq ^YcωyA08ũa-ӸZ(T8ӆC'{:1cd:̂B A3Üpm|*hAb#ir6C^۽r9G!>=Õt%Jkok/Ҁ}\\*JVB|okwTߋ}؏4/J1u2y \9hĐ)-q<&rsoy5m}- Gy ' ]O! ƨbʇG]<,2]N jIle(.?-Uܨ+ؓS.C֢2j0ΗjW> 3*.̛fUYR`X|?ki WTA8֘. ^2UyZ>X;y|>Yv_Fgナ3<K)[}k?ij&E|Le jT)H7M9Y'K<ԭo2LMl[OɁn]IDdPtC1 i= !>ۇ;u6bcU5*QW&@\h!<ܩ*^L]Ӷ|2!ОFc'&Tˤи0ԐQ۩\"<]pX݂0]v]2M&@_4MDGu͏<m|SkqV+sM~lnr)0h"4JLD7 61@rx,Lث