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 v7\l ]/ BytecodeLogicJmlTypes:threads=2elapsed=98.503cpu=165.072gc=3.240factor=1.687zXZִF! ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!/7 6.ќ852GSnI&zm/VraكDf57[:WUlѾ$&Py5\h]2=uSmϘVM-L N4H,<< #}̚-%~We&6}Ge Uc bD&89= οNK;z#(8VVz^m%愚&$i#"(dH,t|לVГd'agap3NYm)۪'L>&:dorp|!?RbD>q(򈎳!|aà_C{?QSLiw+|_u|- 79AࢼTo0j̓OW(LmKZ}\+7#]AiLɏplw ,Yx A;5>\C䵬?' ǹ ]4S'cΊ@UV)ILڅDO o:]UMuWR E:guUtMg%ϤyMQ$[Cm!Q@Oν5!\LLkxtW㎅Hף~T77ZGt`'T) 2m]@6)g9?V'C=+F~JJtxE,;|dE/&_84c͓78DU@Hi4.SA'ol&Zh(\9\jF5gD׷ηCHWA>/lKv%,Xv$Q"Z>2`O3ZIsT R*E~}J:G϶q%\n#XUcbz -Tw(|1LKB|U :/!煦S$CL?HqQ\S8\x;}pOystF6nLViOa՗~~aC&,vWלVf~z YKOڮ#;hʐ%H#}mj}.JKa_ #x2R]<(}w2֭[YT Z )[IQN!kVɟC m9qԖwfV2LXS8fYkpBKq ,3Ȳ26{[ ῤ1P>|Q4cϼ͹oÙzY4ЊJT eձ՘ٗT%D"iRƀ$ 1\Lkų)!_ΥLpBEKp[lKܻn !4]]+5UJ|f|X Fb1/Ezes\"k?YpDG%dӽY)V(~%uk+Yu敚7FzmE 'P%+iNVŽi,_ODjrLM h3[K1h{_T.Q`euD^P˴cGfd#4Aޜ)N` 1ᓡCsX{r`; 7 BytecodeLogicJmlTypesr#:dѰC'J]ݖ@A)orT$kB^=y͇XjfC3ɟ6q7 ۶nʔ"-{,E76GH2RwGn;As/rs X鵂 ]q'R؍T?:SQCZ I"^y -jZDsCUݛʸmV"ah{f"+;Iy&R"/ ·벫p6|⓪[WX.2_kT!C]$K*舷ݸ?0?rvF NTxaO f_L)L99ʶ%KUJslvՏK)V#8+DLqPxt0y3_֖Qe@BMQ+QNFE^yրKydz)n{djOX$&fj H|@!VԚy9׼&968Kͣ#L㌋'D 5qRѢ(g4+Yg$MоrVbNES%$sBWE9qsZvl*〻k5!DKiƒ ȅuѦJDm4fVG ڭG휨j;1fY_$g85c]`(w> iD*dXikf.{HWu'. mKc2KB2chF8Xh o[Kr!F#9ө$ǂP%Cj!jj}$.e1b!+{O!81 *VapV£4(tsF+\LKb)HBːp79U XkݺtM/r+WVm\"(n#ߴ{z]' R].7&"dŠ:ӕRa 7ʹf0rc5ۮ 3\,r ڢPȮ31,h2jxw<<ז7V P> X+N;0 Q&9WF&f$^ɠ;w3.KVGfPXrK^Bdp"azK2Vd\޺h)S6i2m+oc<Ԡ#e" l;QUA:1&}'hjF@~)bXO7j tzYKSVE]Jx»E&„mHQcTn9>QdH2Y>8oI<} t r`&d4u#}{<1F_x%;<-]Abe>YP&<峒ێ>SB02lZ WpƾB~:{G%-INʱGm03ltu9ӀkT:ЧLepۅF0ݥ)8:,Ɇ)>7%Q2~q-U(.=R,{7Լvwo |ٽtoc,}U2@c"k*CO$Q3+G rgFX[,uoA].rgaA0LvRaw&Ӳ RmY(Za!3BRh~ IK$ama@"0uUabAL`#PҝĮ1*WYUd]R8g9\\Q3 U!aqBSq#TJ|SڀLyLQvZKpʓ'+HR#jHnU O]wM ,vZ0h "YxwI! q|%^ 9dyR&K{J(j}:U/=R֚HIorT>@y|ecUx*7xC9MPɌQ2OL&wGnew3yˆ%[qdLX?'fr TP(pa=9^S {=Aet<*?ʠH aU)5Я޼,-Cɚ=])s) y|ȦAFa #"lɷK#}qֻu^/B]r?1H3D1q?Tgu15> Жtp7qۜ~ zXO'9+`D/\o4'̐7 r$CA3#ץҵ|ᦷIoWT +!շb(Y%0b¦@&tM[w3!ąڙUmm7JX|XɱDY`cWJ^|k v^! Ji)ʭSF*u5pw]"Fn ^ߙ׶,)emQrKTyj9L;-^ *60|jiZLg 8 [ }Ln$Ua'/ͧoȯ-=RC=Ygxk{e3\IZ@#"35$>zLZ G&C?|^Дn"s纻Q6>VO7DaÍ- 2&'̑] ̅93>ǀg&ĿtnFpQg,Ar*zZͺzSnj(lp XrZÿ/ԶbEs!T! REJTT5>mH?"bj `X{>0t½N!!jˏ8sq1`| 2,61WITFs:ϳ\RzE^˴QSޓe0e:FuxV5Da};Y`6,Z `LDǷlj |R槿aQecY [c+k ;4˿zδ%=_Kn.?|)vh($ *0װ ][ W0δdXuu\d*ꛝK 3/6sIx'AAH5ZA3FEC>DAR7}O~54:y6|3>˓HlDN&AgYZ5b880a8ffcd3f3606722eaca7e3fa4ceb1cca6581e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8