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  5?L< ]]HOL-Computational_Algebra:threads=6elapsed=32.655cpu=102.936gc=5.520factor=3.157zXZִF! 2)]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C`ͱ_*˃uwrTq^! )h&Kj -Vt@}$˖GD]Xo(h\+BoE@|e L_\lF/Qyn㲦bW!BH94^(HT܈ÏNI٪7b^ ZK)y#F-Lh?pP|b4A9!4[2[lG?V+iC* I3i?7~'BU9G#v^uԟ<6v>'4 דԦGriV Q<QT<C ? HOL-Computational_AlgebraXowKݿ9ʊl.4uD=ц vؒ9*HE$4LVp09Vn~|3{NITY/=̩HQ\Z@h.%ә'A΋N(StBgr~#G+Lr-"jfja.VwS "&1 WBy?'r@4jM$H ԯ}% r w|ETHi|7EGX@;n3L04,uNJ]&ˇoLF:q BG0~呆/Z2ɓu)h jT|jRxa_9)gy1%#je#;`}dK K=R`Yȑtɮ^?֕#yolQ}?ke㥢H)\tp;s9l{JLx#"pLǴKP*@m'!ݏ-['>N&V.eaK}/1A] zM,Uij_vI9O{ Xwjkh._ ͳILH$]P/8k0)Di+kJ$]6Di,9Č\M &89{?udqNY\4gޮb m2Z;. dWgYZ7zXZִF! ]ŗXiɟ1Cd@ok0:Q9m3?GUR8F`+1k^WN=krtib^4{:š1Cp=3Ji aDD١/!4' Ԑ=:\Rﱴ˝/AEQ8yje(k5K'tdpW+j. u)'h`4}$sawMg>o gYZ7zXZִF! ]ŗXi%;XTiA_C}<_P*pM(?jLO\e8JDuq-{gR3 WDzo}8^f[*Ng-v$iޣnjN}~-w5ڡɩ,b4%=ASY|GC8m#qX"K<> `ncBV>܄?iG B׍pǯI_,X,dml#- 9҇/]/&bS|OM%>s,:օ(6oz4[m_WxV08~?/~z&Gث(o{1i,Sj)`jO!0vyCS̓aNUT F HL\Ѷe`Gҕ-?">c/)ǔbA') "|^KqBR?ufjdc[Fv3\Hй=Y;f>&Dkm{y2E '^72u13{g}.D[V_0A"}qekOjJM.؊# s;a+R;b`^lK􎦤ԀEqTSkMXB4ϢM D!fTʂ.=13H; tڄ22Ud^>z(!땵WAau{Y mt ymc edVߙ$(txND/_!omc-NDGfh GG?D:#].Q5+&Zצ\ 3W-2,扚)>).yݭ H +4:^h#+GUؿ.'Frv3VZeak+:U$;X"qc>ͫ| ېz){'cc/~ @ejFi`-e,y^d釈~8̞b"o zp\[~:p EwSτCTTHSBh Ъuj5kk/aiU 3Am3X4wC,Í?3ĂRhG Y(CDPGԃ҇B KML}W4.f2Z2IdA9GА۲"X3 UWQŧk0Hs${ ]ũf.- l`|wLaU@_zie@ INa=|զr!'vs 4 "o.ˇ$˫Ӑ*ˇpI`tMܱHY;>G/I]-Ffِ`|Є P'닧bEɤExf*gYZ5a678f98e7e5ca6b4ebff78c89c9a0bc6aaa004bb121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b2 f09c2300a0729d3f40460de3221a99f80cdae554b1c8c1a997dc34aab196d4f526d68129572e7a01