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 S3 < ]S Decreasing-Diagrams:threads=2elapsed=21.579cpu=37.192gc=1.048factor=1.727zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4p']f om= >wLl .DP}ԌI8o B 3ż2 m~Iz].< y5C 4h*bOcN6v'&*qO2zYe}TyoLM|[ϼ'/vQ"$ 4Utp/e"ݠ4\պ~@P%SKh=|G16I : u j(ORBu%e'\:* <~EԨhDgBu ~FhDjKa'-@.Eqp^.2*,zJ.֙qbyJ#96pS|Xu= ;C'J̱gYZ7zXZִF! [L]ŗXiɟhb[@%= (]T^ѡ`Ӧc !cnp??SrvͳNv|h\[I}YZ7zXZִF! wA]ŗXi%92I^%oiW<֮ =]PdY;e;okٮ+6_U˵KldSb=čض[D:Ѱ%QZ',s2(vϖfk.X#VasGVeXJߔ?&ѶwQ#M*8]V8 zJL2(7e#2] | HnJAcӤUwU7V~}RYF%yOe!@D읟[vӍ}SN,iJPu5F Iֿ]]UD/>#4c;R[mx92 (ֱ%XY4({ d'ȍl=Qk-a[ƻS2뜇q rıC *yLKBAPdP%43eWIH˩엔v:ЀT hSP'L@-![pQڷ9@ġbcv !PxcH:,:k| \Cq6sG yOjf{Ҿ$<}8M,Wk f')$z`Ugw]=kY&֧ڟ?װ' 22(7!w2  ?H`7}%WU* \Po;4I[/1-#F5KI/|&}<в?JmϢYe|_U0M唙# Q֊"w> 0d%΁uΟ{IiBr Tbhg8ۛ2h\]·Ǟ=@ar9YW7e@4!ƅG0<p*u?>.f7O`q/XSŃ@+l¼';>΢3 ?>AW@q  w\=; _d ѾrQ {91D\N;=y'R*H'nZrpA =ӾUQ]܁Է#ܻnsN8{wg$ЫR?,ú뱹˹iS_I/ +w(V[dD{P!mOWC GiE;Ne.ĉ>$>QVOJ1KeBzb R*iV?\cxB{S )5" >u?>Nr(2e[7;NڈgC/ݚ{QVx>QrRL"husZQd@W{N T*9^ޤɓ ٭gYZ2c0c142dd7124fe9844d13596b3013da7e6c5b3cbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2 f430b6a2e6c572d7fb9361233911c29de140a044 3 Decreasing-Diagrams