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   t+ $ ?%]Landau_Analysis:threads=2elapsed=14.228cpu=26.936gc=1.560factor=1.897zXZִF! :]ŗXf1-/6vRZ_rO⛞[\5̍$ e#cgO/.1fK2u'9jS͞mNև39G;/~어54%+k]HuR?>!qOoz#"[_h[:znD~1wc[ Kp\A|;iw1=󅖼?#q͠mof#4jg˿3lZuyyop--lՆTHIpoR^8=4KXCG|jA/77SnX&":.^a`rvL~vb.Fc ؂eT[jO ]^d L"[#`ߌfxDBY5?PjEL>ERCooJ*m0$=!k/v÷5e\5I14u䴴Zsft.bd:lpF(uտ<"08W!u gYZ7zXZִF! AJ]ŗXi%6S vsIaa2"o%mZcM^gLw.a%F>h7$ h9VQ,+bZL¨`! t%6ͼ翌.:!G騆tq+4F"_:[_6kWH_M D}/ Q-nɓH5uSub"2׈&ezݪKUU߽{Ex)xMF5T$WE!?a}q5GeǴ<j<0b uRgˆje@ CaYNccPϲh@r'>vݷ5>;<7#*eڄtMkȏ "Ϥo@WS 4LR~#ހkSX2RM{(KQ\Cn#`xߚY?؈R/_z=6DׯXX0!z ^^T!bɇfN2zEu u[S+;P8~3-wӣ!sP`2p@N3fl+n՞ LďEAW8L[Dc:y ՠȊO BDRWJW]0J9;: ;f򅢙{-US J/+;zLݼJK_ HZ\1? aE*0JF YJ}u2հV[xfPt2*e58°D4|f'*D=+o U/ & uJ< Q@N^Vl]|KՓG!9nx Cn7` hyL3Z4iE E^N4K|r߭jX,8UPT6@ ЯEȃ5zgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 92aaa605956acae755205308c07222f15b696cc4 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd c6655dcbc9baa8ea6032ad0191db67eb8d8e2546e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 26e654e9b4f864656e647ac5422b728715168d52c228a64c98a0f98a7902c8a217935fc1f59dcda0 + Landau_Analysis