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 r+ l ]%]Landau_Analysis:threads=2elapsed=14.405cpu=27.292gc=1.632factor=1.897zXZִF! 7/]ŗXf1-/6vRZ_rO⛞[\5̍$ e#cgO/.1fK2u'9jS͞mKMt$Y: ӄ{/Sk z)gg3"e5l ]IKrB}С#o˳NvO2wМ/}6(xx#L0*BRg:y Gxgm?F];  Pe] SdtX¾`bqerWˈɹ+Xk/aI]h:O3t.B%RP,3}%lKQжn[nV]62Q #KÚRՠp}'+| JC%jV4G|]UHCUm{{N̄J@Vx'у<Ù5]u 5TsNR܋sˋDjp|7FO#*۲ƶ%sD `}z]R.uNs~diADϯz:9PdcڿG]s?8 qgYZ7zXZִF! AG]ŗXi%6. ٚS9^W" mo w;vaf.^o Q_F_?a~+8oތ8{EeUHwH;}躥O j}&i0tIqo(M>Q1![!SX}a&#HI%ihm)2L1!5Y$OKE}" :3e o\&8k!"Ƚ$AVOؠN)e]O+J7K`(n;縍w-{ b۬M+.۹g3 KᏣ Jd)FnL䐼d#&:lpW{'Mj!t].q\ezU}5W2QE M4x}{He&Ѥ1`pA6/_Cѓ B6Ysb O8ݐ*dH-ڃU;tбgYZ081ccbea8f7ece9f04907755b3019af4939058ca0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75586880b5e3ad8f2927e6aa8c47a0fdd7f7831814 + Landau_Analysis