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 zz5 \ 4 ] Rank_Nullity_Theorem:threads=2elapsed=21.555cpu=33.772gc=1.456factor=1.577zXZִF! y]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zLkP@Tb˅>C9otj+9 2_JG>^ V6DC|N(EJ$u:sѺ.5xWAsw};\`0('iNKa㌘mJ cbֈ[9dP~/pD2߇.}+dT)P1OuF 2?[8[,t }ɪ7h(62+HytWV2D6l]ⷿnMaF""ǬTvW<;&ξiPSz^AC~ީ9= ,5 m@_?s#(]O[ʹtjB$T/TiHN|{Lm۔թ'ŔM0@HgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 /g"CK.;RQcp\XV D+/4`yӟ h9{:/ú<cB4Ъ(7 *eR"O\;^O  ׏zӺgYZ7zXZִF! w]ŗXi%;Ÿo<˂ -^ abM)ݮ#fjEhl4 0z?g@b+U#{'Y:BG\/ɡ~Vr+J&^h1 \gv}v>K7ruY !"$ė}6Ț!&@,NIX9a(L)3ޮ *rPL bÒ̖;v9 q{FS˾٤@%yKnCj=@J$m4c%*M\qZa" -'"6~d> `dсuT؍+YLqN9 C'Z{YggBͭ5l}8Wƺ?c@}0R#Of/}DB^L}b A (u]='P|'AeR̾b_n&aHGcš5ە> 4m7K\F!3 \{0?TaEp%e!^K2n*Ӌ;Ǔ p%|̓mfLKf-EDygEn@j.QU+iC1YEw}5tުu:6%( H}ʇWNT+L( v2Nߤy $` `;-G\">qu-}Z`*' ¡X w";>![LQ3SײUh"q~4< 'dTMr/R^8}{7@dT{!LDSyG(H"K[Dr/$ŽyFʂSd=D-y/]K-U'(YTϏjI!LYsyt2:U1Ԋ;vkD8:ܵ{dLH +CDg1gmRSq[§ћ89mwX[Gg}(U>!ÁwYAqQ7 JH$\5Is!0L|.7udAhf Frg^lAs'851-,QyVѳ|8K8l7ą(