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 3 T ]S Decreasing-Diagrams:threads=2elapsed=20.448cpu=36.184gc=1.000factor=1.777zXZִF! l]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK40?H56sALMYtrf>!֤'a9pB"!QE$#[j,JX$*X\NI^foZ8K$]g}\ۡ.~E 0\xp%mf ujn(+P;L\.GsYT.O ([eڴdif _^^*)W]̓@G;ݞme:j&J{ך9e,7b.7^}c=Gcq_$3>yij^^Λoj¼? [UT6-V: b(ts7Q)T֡c 3f.7eNnb)5bb%DH !qk|eކDU`OGBvc|%%H|`Ї*x8ȪlU%]J>8O*"zc&#eVCV|)%S*)MH:#[VR[8Y3Q_vsz[^~D΁,:`YϏ5 Smu6ޞplOz(j ^ޏ1*"4DkO:&8:KU =h~F1ۡ"-Y /#Zf/m)ro\3! q?nM"='ڛzjӱ]IG?jU/jގQ=TOwnLبUP ]*[+%a%SioMM襓GSЙ@!5]|!}=E%vDYtѷ85vXӘ X۟.XaQn Xɵ^b!:2OY $lPln&- 7SGUA4iyxT-gJg goc0v֗pgXEf% 9tS#1NH YHȖ(,|@%F Dx), u0m!~·ۣ9,L\ UNbQV*nkDb+wy?\\RI6'嗜( P=>Xg5ZkJ4pDd O_rO IU gYZ604d3fc290f2a8ac4a7df05ed6c339ca4f08328979d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 76d75bb14d8206c3200e2452a634be433e37464b 3 Decreasing-Diagrams