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 4+  ?%]Landau_Analysis:threads=2elapsed=14.985cpu=28.548gc=1.380factor=1.917zXZִF! t@]ŗXf1-/6vRZ_rO⛞[\5̍$ e#cgO/.1fK2u'9jS͞mgA.rE)U9n0K̪ 炒mھVJLcx!-= S{ma{N\> $]"ޚ6 h[$ӥyOaȯnڦ$BĿ#3 Ca{Xe!oc,GtP佱P3^ { ?ϾuBrF<{7ϺBU^g\N YJʂO-cGԃVk,HO!h[u_) >6gŹqcgg3)޲š >JMv%"RXٱgYZ7zXZִF! Fz]ŗXi%;,l 7PjY1-ۋ>TEazSn$* AezT~] + $k pCp W0[CՙtuWhΡ{CZО} vw/eͲ^"4UAmK ^.&[Dqލ`޾z¯Y>̕7_[wG]tA>z3)=ꦡu>^(Fid-Bݨy$X3q662O&+C7hC4=2'AwbpEWH[Ϳ߶Y {݉|edS?9Q1<&l&F>364XGL>YR09 Ԉ4ǒ[i$+7vE ,{GL4ˊ{By[yr5=Saݾ!ǂ+3j3ɩ 65"tBYhgp!=\xWX$H=c=\ ]+ԅt3v1#H,!nC#ܣmp){ ~BM02ꝿVToaoh'v-:*W8R\U9+h[0N˙3̩a"Ì YCWK(MtjPN!t 25`xAkH%.K$P#ʾo7Xa"O㙹 GNY9$~Niz*c-0^П_*W:/)+[F}QKƖu4,9"b pdL' {R_\ZEk<\`|Qvq]U1( Mܱ1b}Kj'3Px>f5-jƀ{5 ?ԃ [rE {NW%]7dw90ݬpdA|WopeՕ rQN$nԓl>ܰ9Z7ԚOZVծvJk+QhShu>.Ufg?E?Q049éx7a0cЀ\H gYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee c6655dcbc9baa8ea6032ad0191db67eb8d8e25460ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d813a7ba5208d944fd8d3da8c497abc38abc3ab1e + Landau_Analysis