SQLite format 3@ .à øBB­‚h77„otableisabelle_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 ÁÁ’<+ ‰\„L| ]ƒ%]Landau_Analysis:threads=2elapsed=13.635cpu=26.036gc=1.512factor=1.91ý7zXZæÖ´F!ÿçì àk&]Å—ÔíXf·ÎÁ©é1Ž-Å/§6 vRZù‹_rO⛞[Ž\5×((ëj’Æg¡Ø¨Ú™zú·­Ó*1ý¡¨»‚èHV‘s]Ê}qÂøj¥ï/ûæF;àhlÌû ¤7Ü¥ï €r©Çyµ1þ[F*Že9 †¾!— ¤ðÁvXÖ¥Š£}€5€>YÄ/‡ôoºw¢B%¿Ë£—½È<#O†ÒÅ‹’J«r÷óQ8è&€y±þØò#E&ù줇!tYX\ËÒã–¦Ém —kxÛ =¶}¤®D¾öô‹Gººh†c\«0ü÷ÀOð‘ ]Õßé….fâe8vØí—òùå!£°¿) ç½e4†„¹e*šÏ@‡áÄJçD³¶Æ휺fù­ _FóÄ'oY2¾#!¸ ©m«1d¹õqsíÙž^ìö»9ÙÙqIrvÏ.Q€f›naœìÒÕlIƒ;aˆÏª?¸ë*#w5^Ä:nÙCÔÖ.§9[ (µ…w¦~ÒÝžÀS¶jÖAŠäYij…¢€ÂØNÕp›*¤¤«ª -mV‡Ìl¾<Ÿµ¦F¿„/ðÌ!ÜЧEb¨%óëA\rj«Ô󾵿!¹¥œv~lw»ø@™b®õ…:SŸ=Ÿa¸ƒ¥’sÇpe~POš¹t{uqm“F2 ?7¡óùý5²ÉsçÊÛU*Ù$:¾?dØrÆ„`nFt÷<õ©7 Ö0ÓçbYø{Íîû犹Ž’¬›âJ²Ÿ¼ã`;§21€çI°:ÉšG”¾ ÊÁsDö½$ˆÃaÐ&½ãÔUT®:^S#yºÉI¸§ Ê(š±ïpJðL®%±åsîꤱ.Gàš— K„¡5M]‰ƒÙ%(ÍÈÜË›‘2åÏ2\øb[®Éÿ³ª‘ÿ!µVð\ Ø96 •cç†+et þSû®:Ü©Ž“£ç»¯¶®áAÿãØsDVæxïåê/éSÆ`xA(´v”¢íÃÂc|4~ …Úº™NúСºt‘”Î[л­–7Q»4Òcw=­ãûŸ _*ï¨1+eÅ0r0i(Ø9 ÷!øú¢XYë\º‘ùÛÙÕÑ Cg•'o"ü¨ØÈ®¥,Zò¤¾küß̘â´ÔFOÛ]T¹AÆš°b¢Áä´¸”‹ÝÖ5“®zAxœ±ÄgûYZ6cfa7c9a2f439df5f1c23f22b3acc5d4edd386d1e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb988101724191cb1b50b504e192d286f7c8f40cf2ed558 íí+ Landau_Analysis