SQLite format 3@ . YYQ77Atableisabelle_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, "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 y3  SS Decreasing-Diagrams:threads=2elapsed=23.266cpu=39.484gc=0.856factor=1.707zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4vju I&Xzڜ^)T%GC`l[KTNLb򰫑BNF >`B#2 (zlP@r)V5$pZB8!Ufs T`nN}ǓL*a_:"3"-DҽK߿{<߂98w8. fpj%0^(6Uz}i$i Na]y8Ӧ)#FBX /ֿe\ZJĿAXT85zPon̩`26m˾u0'QW{v˼LQ|d=do ؇ZfSGDzLSiALw08*࿸xrnƾn M>ӵal-gYZ7zXZִF! zEG]ŗXi%6Ft+`q;5| -Ik !̲: >;ڄD洗G&6%Ii>9*^[DŅ xު φw#ҪP S`!@pd"UH;c7e#WdsFf]z` `l~gp}7ȁ K,v(]+(KoyU1H>m_ 3hE #q UϬN&l(c*2;Ona!yB:0>fXCz6s/~-3jK.w(YnnyQ4>9\=ec3'aPtRĤ|p>M t+S88gDbCң ! iFAI0"0j ?ibmS_u (+0&}3.mCC:*N{}Fh&ݢn T*OvE5o:X&OJi?!Ng>'TyuB;;"AGNҠҨpHAs D*3dDf0nJ mY"hPyyNV:2@mD$0Ҏz:d/C@1<'OFpP9ɤ!cm2r$_E lմ0*0yԸV g LU"8$㄀r[˾ Aø@- 5cCyɄz6QL!y ʦc(t2H͔tHiEh !a0b7Q8J`PdJ_.}q2Rmb4**n7Թw tϲ~Гkuۗה)2oj@h+g]^ Z8Kz F{~/B}2EX3Da:Ɏ[F &J8dҪ*y])Y۩AN{(ňcmݴ$FlTB`yBjXe9-Ю}"0Em)/M]ȂQIjҳB+^ : 6BA'1 Z|uDzbCBy3 89ach典*aZ:o0Ò).y;C4)d jwXD#3Ņڹx]|\U #>i\k`¡K0 ߋbm-pa!ϠU1:JZ\5mNRܸF?9n  I5]FD,:.}$jNhJu,[+{3_h&уGך R$ V~k3Ͻȅ.^5Lt*R}_|ywűjBEяq6: 3xhXbH'"? g ngYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 ab4b6445f6e853a0d629c23b8f052c50ebeedb0f ac9cda8d7a9b249e337fd3b647d766c9e7b53a11f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 67d73bed1ae998faf857e901c6d1633b24ec2cad 3 Decreasing-Diagrams