SQLite format 3@ . BBh77otableisabelle_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 i L| ]/ FLP:threads=2elapsed=20.380cpu=37.696gc=1.352factor=1.857zXZִF! &]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҌp?:8&s%p̱Cӻ y@!LlvmJR! qDۓkDE/wztTGTKo"3[Ƚ^V2fe(ۼ!Qf̎un-T`|&7/X?,?i*U} @|^q V*7ثW )5`"rХ ۝lI BMGKGmGxМaFN04i l ON?RdUq_3;ت|0g٭6)MPn>vw dg)ᛘ5JN2>U_P\o=t47s{RU[ gc=P!͋yYCUO9ՠ5ϊk^-u)!Gr )3 `n!%y${g5=ŀ~aVwte`!qnOGL'g׬d>UAwCJ*r2V\xX#=CMF<sT"I qpiv(%<>(Z]VgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMр}4M|u@.]B1O 4Zw8s4G 6^yt쑼0@P7(I`]VC?>3>Sr` H,.>DmuQ$5Y͘͝NӠ_e3ֲPv`4jc-y^"5gYZ7zXZִF! j]ŗXi%9(SNO']C|*ݥUFMs ,kYґ ۝4֓Q`4TJx9̲΂匉;3(}I/?8i}\QqOZVXcxWEF]sĽfz{Os*fsp,gi^b *p\ $'H1!ՈLƟ5hs/B{ _;\cBk'?Y˘E3Ηcy OXct 8kI78b<|T1қaw:%%@=wM b!Ptb{s:X9ՎC3B1jIuV#qxyMM&u?E$t-pAxMoݚ}gާa=+ +nk{hU)I7_>)(*f>G]WhkY$7"'y(68§I{:/6@gtj͉&1v --a#2w0*jtm%O3] ?_RU_1gl ;7GE;)]׊4ZM:[{j/XAAk3bdpǑ>W*ĉrJr1eXzEOX=ϲѵ6疝h:8G2(:iTG 8no9%q{Ϳ]=--&B'6?q#c^GwҘ0юXF݈?}DՇ5GKER z}ANuקL`+ĶB=.GTOC%@j_ Ũ4s9 nA} hQXþKW RE Y]JGzVu:+gF1[G3JRt{&I nquޑqdLj!1*OSw Z0E ;A\rƯcarmL1t(PJ]4xYv [_}t$ +9׼CpI/3[%|Uߗ+/GxBORa sjb!HUebп1DHѢy_N\8۳YJF 7-` 2(tB 0wft OTһ^OG*dy/*NЎ$@$RMmDUQacsh`.<)=24Łw<n87P %y d$V̶ WKz>${uH"@Ԛ3ܒ{;xԺjhem̚Uތm7OPyFM gYZ25b86e091d11480e8d14c8d690c527494e0bef7a2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea  FLP