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 ;;B9 tL ]S Decreasing-Diagrams-II:threads=2elapsed=21.170cpu=36.788gc=1.492factor=1.747zXZִF! O:]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAjDntA9XQ{ u]aHڎ* vYh$0D_ؑi݌`ݵIGJ2$CTZDXg$] 9ÔaoA`B?'qcPJn1EQ۫ѝX(Ezqf+mJcOBw` NtD^Ko 2ay,D+ޯ/nŮ#eUo}"ń6Lw/h{J.Ec3q!T߶-4kŸH&iEqڎS>gt^cZ&UXH?-&5̕ d #\iQpk~b5b3SrI&ԸGf*V}-KB/v,:1ik 4v|%nAj-7Ē zZa#V`8ي]Kj(V`pb\`OlL{""ik& ec̰(,yAyK#돋?_j{l|3%n`E{{XWvsQ^`2S0,B7 KɪfSa{RpN#$6gYZ7zXZִF! r]ŗXiɟ1?ߟt;9HK?.>e7"Z=Lnw2XxW:c<[?B|7T_JHDJ f8X:P m\/I⯸ ޳xC͔ypLߨL/t f?9 l5g[w|$u(PS$K!FnHû)^a:,ZI;<*k"j@I)=uG0r`3H}Ts{L} ֟U2MߐeB-S"tfKR7C+\11J޼LMɣ]H t1{gYZ7zXZִF! q ]ŗXi%;iBE54k[*7l4ace)&c"Eֶ<Ă56GMa&ln#tEdȖ˜ωY1.k0(Ҟ ֺ2WFwAXr.Ģ+\S+b;#6LL;v şfk5"ox^ GJOf[{]`-WZ# Zma#&㻡^+1OWŃJ?@_L"$U9Ded"4A5|5rUÅS<$^SGDn ׅ ySY`+# Wu"3USGxfaP1sU.7W[xS[ƙoWJaD'ACn#ba`= LM`)-{qNĢV.šP>Mh4h_Fbފ ){sg#f >xD-[xQxk4񝶇<Y"#Bt`} V0SID1:Hwdudh6BZ Ÿw-5c:d;/"f\,/>Ծ|"+ Qk@V ay/#ʐ8jN1='].UZ;fΫ,Z(/Qh{q[6ȍlOl 5:8GOk>L$੢,YLH@C"rҶdvƽ`VD$KE;'I`۟.8F} w:}pΣd-y5J S6.oalpf&9"Z):rΑ :D)"|ÞZQej:^ Z:d@#?!.K{^Y{ZGU: <7ƟH:qbz͟QWH 5]o\k>^ :&}'ǧ3h{9SzP_R6@`X uV9E:GKN&,?q|e[GI,ȩ@jYGcs9=x{9(ы+&^jF7_Ge 0l'ͿWceo~V;?i;I wwI<ZTenii_I@|y!FJxΔ. ,{;(y E/G=>r 1}_l $Z.lHИi6lG8-ƵДȃ}}xiF=mPx;⇉&NR-ZHXcz7:jǫj7X4[VV$"ߢy