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 c1L\ m% Transitive-Closure:threads=2elapsed=3.869cpu=7.332gc=0.316factor=1.897zXZִF! '_]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l!jezx/4UWϒ-EZPo 1 Transitive-Closure>^g &\s JH VNYe.}LwC^#J7i8C8ɉ=yycT:]7gCV:1hPvm~WDI42R||Emɉl:CJ4coɧh6|"<(OmkkK_26g R˃F4 <|pwθ9{ߞ(:Vfݳ:B&Yj ^>Ē|"ȫ!{2sE1faN8f`|e{ian{QػZ ,2(Bo,2H/(UYBiHu035* )ih냱ԮƦe>,;*%]{1طobuTFh :[+lU'HۘTђޠ#E&.䉜4J i^q=B_]c5`gdٴ7E>WUd6r|cK6-=a}jg,b\|T;4ɀXcE$xy$j +52|̵QpJ2/R1]ݷt]T&_,."[Y7%Ҙ#SI1tF=_?>6P(di:7tTk`OcgYZ7zXZִF! g]ŗXi%DQ >+q}Fiu*DY]jMw 8PCv>nSRK{aؘ+ĴGՎ#lp;z6,EmI.e aAQh] c5֕S  DII#!: YM- Z f1 pe=Y tռ"h <5Y]cy~mɹú웳㳈y|׻VۙPHKa+M/ ,y$P H4yz]}U.ӷ_bWV'?aEYK-5cFZyye|/ ۪6ߢak͒шl|oL{-N]޼Z> ʂȷ p{q9p9v^|hLL_6xmQ8^V®0݀Ө8Y,