SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 EE8) 4<$ ] Landau_Symbols:threads=4elapsed=7.688cpu=18.916gc=0.644factor=2.467zXZִF! 7]ŗXf[& nTg6 HJ7xU)nZE2E6S]\7 ]JgYZ7zXZִF! @]ŗXi%Ebbqe-(V`oBM3s+hzCk? ΁A=/m]jKwIB8!(-zU:$;5-DuQ3u(wRF)eK H~v)+rTub A=;+mu1273IL9zf^:V>܇au/!~N~7$+>2|U=eG+ulGTgi~x6B0/%>kԊaFCoڈsGK^B-`pr=Ʉqn C%3>V}M2 R~zcz+dnr!@ZRǘ : VkW69Pȶd&{W(mi{v鶵fɡ *` :zue.Ye:[y%+fZ$&RqsHAO%4Պ~ѣ [wLa)^sA@@_wti4HFy&yMi}ܽh%5]LxiTc#/7pHj10K%G+S`ޱ}D9{"WWET[e(7l^Ύ`M^KbZ_fHI:8%qڶBﵖu$`WW0c@gjplX o}U¤i3k5} +Yk{tų׍W0U0k ^MYX~a `T? N_\ uצ$tߺ"_8P { '7H:hdibd}aIm@@Q_k .t A%Y.)_YOrg{^9]2eN!nAH=$Q0[ è6W$`bO?u;°O g$0lZx??9k d礧."]Wft# ,F oԻp"n;t7~ '^ΖK&{p#8i#yRPG%~K$>YĻ)9ȦL# TQ.WVpLnҲ7+'N ԙgYZc50a60a2540ea072dcd4d118b1794c28fa401ae6eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12 ) Landau_Symbols