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 >) L  Landau_Symbols:threads=2elapsed=14.111cpu=27.256gc=1.456factor=1.937zXZִF! D]ŗXf1-/6vRZ_rO⛞[\5̍$ e#cgO/.1fK2u'9jS͞mgsU$ں 2q=-̤e"`wqI6jsoݵ.V.7>L 3b=#-OiEȂ?[P@JTWsFuIUZQe)H(8D$ݽ1c7ʸeoUKS? FPm}U~E\yNtB-dQ8^&Pxd ZDt6%T+Ð^CP*~;YdǞZeq?e96wKmLTh^31KQ'CQ;2ЃN@P0vOrn5hf`-`;LE,x+TF+1DV{{d9B}|h03dCͧE=DbR\TӆK'찵m!gYZ7zXZִF! O]ŗXi%3g=2]v:mQK$9)G޿:RP@`4QcK2 YD5O++q;z{LFcC": u`][#0D<5ߕ )-sXE<`dsQQ(Q 3]5C'.4DVtwpcu͢(绫o'ʾq<)ÐSG\W5pRSE*Mꈅs/ld"b`E@i)rGΊ^"2Xjo6U/xO1UU Hr3Uq!`e){V麗c|%Ɏ} G8E&W /5%rO_hsvqm)$Ф TȲhkzH.]s_Y#m{S"!r|1Ir4{q}g.5Y.l7xy!sanf69>Z '{8*ۙ QQ+ƺBxS~t)ig%L\s;{ AFY\vgE,0=Nכ6 272%;< RK-}&U6 rug_3UQ 92"鲁2|2;~nS!yˈzK%HhFFc-a=()hESg+@#+tI[=@3㶅B}G\Hb[]F 7 x^ "| | CV=;1&Ye]85t7ofvq؉CMYO(F=4/;X5hvNxc6S[BDr*&Q:& Q[j8ԑ'&%Vҕ ^,`_\%_hQ~v׻koK#,xBqmD';`P>3gė [W0B™@4(J|j ,%gYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee a770f7d436b24ff5736f6c9d847a64b460fefc9f e04cb52ccc6fb373be469de97c1ff8b538090ec4728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d ) Landau_Symbols