SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  + t4 ]Landau_Analysis:threads=2elapsed=14.380cpu=27.640gc=1.472factor=1.927zXZִF! r]ŗXf1-q恈͐7ӺV lt>;ecm| 7;)h I6\LFAULxTg95AtX$Ø^C&ɖa:\ej?q+ݔ}5n4&՛oF + Landau_AnalysisAzY$ H-Ɂ\#M]=\8~# e%IؽŁШ%t!臔dˊEua'bȓ"L]rEcܩHD %ĆG>dڗ~'mmIQ{mu%)+W2 DckݧRQZ*rnFD\>W5ۧ\.BєM^rUGzDžfΦG%nFї$EJ傧 Àaf<@ mz9+Mn'Qx#IQUWɵ{" =a|K "- eǏɫLMJWCV!!b"3ڴ*g]5<.#/lLZgz2S@t~76*vɃt|.PL/+ˤ͖j­|(2tta7JROdj5\hu?!Z@e5Ef%t{LAj:PrDi{vcgQ[ݘ%b$( O^T>ݜrj}:#)[~ )#X+=+L3 3<%vu5@2R͡Ka2قfF}2T٧m^VKEg֕F-ɒf{8c=}@b(ٻ :$tTF[}PEbnCyZ 3R@}dGwHr͡6CO/֚DQbSH0Ut9. K~fo0-"p[fXK5+aqh528hEǎ{tỲ9x2ZKTb83E6/6`LQCvS<)g ,'֒%Mֆ-Aqט:"f&ro{ZT.^S#M1Y֍#r6-Qڍt,ah9զmAZc:BB^E}7ˋV,wb%7B8vƷEui Z֘G{7u{A6%?@g~n0gxT>ԝ]B. damWxb AϷ0Z0JG45{< ~ܜ"QuNmHr+7N{V60HE!l+JB*`v ӑ,XS@=jujųɯ\v]j22G@4!V+L jszآՅd3EubQLjA F 9 mf<5κuN!{2C.cT\ȮÜU VrVV?u i` fkc_| .֬S羒O7x7lȷ81B%2p= k*!}"0*?mƋ,2YČrОrw{Іw ̠*C,싼{w45LG#p89(Ld5h6Xe_=Q# 4. ?yķկ͍hCco^m}j?ڜ>|4^ʶydD0[9K|W^3aX/Ҹy͢)e%Wծ&֜vek-X,a|{F _ji U dBVxk%wq6RS8|gvIܦܢr _T{?0i!z9 0%5נv_[رqF(zKeJ,/|zbcRV)] cʨ LQ)x7m˯X(6-Bd`/Ԭ(x:{-c9@&Y-Z!t}` j5&ZɽVS-߆ t9IʝF\ e]=kSy+~lt?u@5,9_;$iSMj㝳dIObQz3{S-Qf}1!tULLS]qZJV]kT!nUj*G1P1@QBI+RC*u|X#rEHۼWwK vvPA\7w%EtF+R&f_G$m1fk>ܤ˶2+oDѫ!^t ft7m+!KOX"ml#HEyrr1 {D0aI}|zY