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 e3  SS Decreasing-Diagrams:threads=2elapsed=22.756cpu=38.504gc=0.920factor=1.697zXZִF! C]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4?J5<@|'t4EED_OqiOmiFߊ%-}YK_9\#'/W@SGˤHN>գdg+Swŷ L]鹥AP5Mp#f}z2=S80`4hgaTy[j^'%{ m@!*gIUXٛ?=yG[vhµ(ӼzkrL51-dU "Nl*[E"#7(fe5V[kÅ,R ڿi]>EsI 0CSqHe4,A*jQ]J"7Zh BAUbq3# d!cCP~&ً!*OgYZ7zXZִF! u=]ŗXi%6K-dS5,P|#A*-mcBSOd-??#3; EPk1vH.Md0w/Fl(GI&G5 BbƚLǸAx;wMUY@u3muswV=w+\yfE<n 4I?QΦ:< IV,AgU)^SpBZ4U}GZUI0=ZL"Mz(sn\\y[T67e,B{lqn0?f'aQ^g4+Ekɯ27V3༼_p\_;id"l)Kmrh˸\6@݂ 6vZ 3aϥg `R&6j}TK8Դ夆U%,['Br_Hk,Pd (|:x+l&h tFc/hcս/^k"E/. 3HD]sIWh&皵-ak RFe r)┶"f.]X㇓ЪB3~wU Ĉ!A[9,uC:hϓ?̐:W5VPVDh(vm9f 1,X Ql3ЉRstuj@_>` x߳},RL>Jdgr\O؝<]CgS=3_3kݠ/7DK]kFy2c(ɑLps[On!7c[H5qLq':;*VUV^k|WBBIN9,^$ $tƘQck=Jypȸh%\֨i V4aݿ[_.?{*A;>%q^$&5 ց)O"ctn|,~ɶ%*Dj,oi yPi DG'QPQ\c"cǖ낀*D`s0p @}pkK`~xUpcE%^3ćxN5ҙH! gOb9dpx d<.=_F[}.+\(; n1q~~b heЖ nTfgҧ,W=֖(;'+MGr~(Eeh N<"}ho"˰`|rW3fNhXXNx d.D 0ӳ-[3ŕ*ȣj f8*0|rь1. XSȣ8Og`UQ z7q\p_n(Wuy v܉}tPUB@R^ެT3]\±@Fk@Z9uQz6YGxٯN. HgˣjȶAԉC=1 kgYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 ab4b6445f6e853a0d629c23b8f052c50ebeedb0f ac9cda8d7a9b249e337fd3b647d766c9e7b53a11238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 75374a09cbef1204a7e538fc9a783ad1f5d9fc25 3 Decreasing-Diagrams