SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info K+ $4 ?%]Landau_Analysis:threads=2elapsed=13.547cpu=26.112gc=1.432factor=1.937zXZִF! y ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sS2kt + Landau_Analysis]wTހGm?-[P:.Vv<ܤh+&ǫFH+ NӪ EFe.<:!ӪI-%Zq]B#,k:-"|]_#~77%)ȗQ4mןDzp5)Ì9ZFK82M{NYn\V {[NLiۛW =?y닗 q?# ^n&|bR VBH5rKl('a{$=V2)ш#Ğ[qZ$I㓹RfL@,#z\gNrBצn@fR)J#]3цKb055gh>\vP`ˏܬVTJo-v9G&})%MtTztFSe&=M98@xi2\]|Iw*83 r 1}3_I&hU{4&bSm eFX$aLybn*p2)CwiUw" *%SY4ngZ|%JqfiF%s.n=- Sߘ& 6m81S1&6[zLh{ɔgB\+Ʀb+DXv8Y4&F|,YSx{avn,Vp):DYW<H?<;E/9T:ɡ\f;r-JGrٱofʊrU.r͛ ;*zӻhrA/PpH%#/6r>V͊B}%f4[ϻ\ 7+Mk˗,.=hrgyhs3QMSx>˾I9~L)< b}sa"E7%",6I9JpK@׎v:,ḴgYZ7zXZִF! ?uR]ŗXi%ֲ|qQHJV,gsZ6Íz^߽4 d%׌%olʳ2Kw ^>D$rxui vȧgɁ#j!gGԾv7Wc6H˒C*+RK&ޮTCtQ DƆhL! {GR%P`6F($rɂ6nw鮲R"=S ?mTSB|qhd)M`Y#̶:=iúlrv(~kʝ%GS@') r==~=zѓ6~ޗp[١oWB Q(ip_e%qK[wa'.xhbɬ=pS*{?N!n8䀯IMG€uPT15M LA*'@FM?6!NU,˧6PGSYb4%~3G#ޖ"/S6#NIFdb>|34-#G ;=bO׾D, +W~~_Em@pUAqUfef9$eÈh:?e\9l z[ "Oٔl,_g1%_s/6G2돧Ύ &g a]qK*V+v>Аͷ}`c\xY-w'K/ bkoCmLl8bo-4o=;F)Lm/HD+O&IiǷNhXt0,A'Vɥ0[sE7r>#,!;(Nx{jAt7ǧۨMw4OA`@ݲm[ W