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 L) 4 ? HOL-TLA-Memory:threads=2elapsed=13.087cpu=25.268gc=0.696factor=1.937zXZִF! u]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ I܃ZMJ0 ;G36${E IW-(77,-PZT5FĀx94o{8!ӎic|'9c*xQ!t40WQ!$a((2^u<^gD/z{?c=^$3RA l&C!l5XSo@Ħ M)Q;p.ecW$3V3E0@,tYs#f+x{:2:2yvj?ۘgfQ^EDBfU`]mXI56k[}r/ ~ AMZ* "eBg)[mL%~ Nr+H 8ld<Ɲ==--&b~d1gN?p]yAss:7]C I]< m_H}af.MQsVP/3# WjVy_Ajj9 /B ]2 jej{"u]T(p.]9 ,Lۼmi7kԠb1cw6-gxGY|"oZu-G1T߱iބ:/#>5EipT]@<b Nf^:-ScSђ)}ZpkE]aY?C/&z̘+kez/_nѮ\LWhڹTXI:GC@U7x#TH%wr[\JOBN%C! MZeUƹ8z/2k/ ?4ۗQlghBBGͻ!ہ *&nSܱBK\ D3t׆yeUG==\}e q; ,v]óLXMsJ GPA'$g= yԒ+Ci ltq9sD|e-xZrHgW(gYZ7zXZִF! ?TG]ŗXi%B6r6jUpk$} aNs`ZC'ƅuOqIS61$ e]Z$ >6Fc,h;kFw$T^2 \@vC؀/¸X[ UGZTSsfqY\ZDq&%I/*X|L*zŸ1ul}PwаmD#3QIB"2d`nUwkFfN=h YE?Q>Y)#OD`2eFYWaJ#^u&NQJ!{1l04yt3Rzךmu$Ot ۯb1Q*'9_n,lK~ 6i[ו_@B'.<06B0T5D(6@S=_j8SV"xsfz7:ɽQ:I Q_ty"> /a&vP+cn ɞ֓# +51U\$MyftJ[JP ^%~k`C4{Ue)pc2 BDB{3XבPP 6sPQmgOA:#bp1 :({h`ߒ7w\Қ},Edy#zOJ'HY{=1>96Jt)%W<ɂrxz\CיߺS"l{L5.LFmln {"btg3+QrY="{lNxK2˙Isb9bi5i2\5|ɟLӕ:Q/1O67ى$+(tod%sX*x}=!& .{C2>8j ~,gYZ0adfede09a2017674b960abe1732f6f5afadf61d 193e7a8163a4200ecde300711efb260130e85531 1d81f1b82ea75e74b860b539fcd461ff3618c42f 48b9a431f167743598326382748ffdbedb8b8dd9 6581e20a4df9b91396729bfbaa321d012c3b4575 7374b5279956fc20c8ea650a17532c3728143879 a098d43d5bf350c1e7a6e016d7e545222a67159b a1ab8a78cc7815651e935e7bb92ffc44c92f7fdd db406be5725d480c0c14ef4fa9a255861d3c15c3 fd0ba322b6a289a6a38661090d987d9e74479ed20dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 822c440d00c10e4434fb002f8143858d81590b83