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 JJ33 d, ]S Decreasing-Diagrams:threads=2elapsed=24.292cpu=40.380gc=1.004factor=1.667zXZִF! *]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4Bߠpz0¨r~8>ͽSq6;N{84.WV+Z]3G|6˄lC^ZvKt8nZvJ<2]{V zK mٿMOA>2_=O(\Y)o%eiLC',ɼ3ۣ)X%b1< 鐙GFSߕ"9SHt $ L:l5vh`)Wߩf5 o$tMBCn̦|J?xn1F*}ﴻLYWbW{뱒M[egES9v@XRG\Ʊ\ֶۤT"yW!"ʹa,Ľzdv@BB/m>xZ=>oPI<8$2.\jW@ft=/לgYZ7zXZִF! [L]ŗXiɟhb[@%= (]T^ѡ`Ӧ Qb4rˆ@NhwvBVBU/h\[I}YZ7zXZִF! O]ŗXi%6St9sw1⡇UisPT ٮaQ!({nI`*uGah?RaUꢽ^,˨踉6aO~mO&")093gR5 U[_0YD[ˇ]Nhqdt/|Kg*\)C[x6'm%|*fzߺИWo`5W0Gk fS3giÝb]#VxUi;Htn"-E-ؾiWP}w䁍769y>ݟO{K28D ڄ b@NpPPܱ*SAh2` ̞třY.Ϻ QgW 8M63u0YS8e2Ƃ#^UAb\5D62 I;]Q5.g']Ͱ~xcx`꾲}.u%`Q1(/6Ҋ[?b G>uUl*Pi? &5_ϒHA Ry2\ܑ=c2EItv\g~>_auY0 A  ڏ0痁}DZgOTEp:VTX8_isHūWVgeR% Q4`!SI|Dpk^zkqU~ 7>*Ǻlf,oX" kP "-w7ɹ.n@-`nN9ΘE}hvx&GzGA4'1S"Ĺ+vDe&DgKͪ1݄JL~ "Y|wErD o߃sGCł^xk:y6lZIB]HTg<]|%>?sxQzȒ>6&ugugk ['z3?0(숦fU =1$p/6 }МrD-%7\C BQ60^,n B,wޞԚ,UZ[;3~MZFd[WoYD0M =w2Z/yZxΌ3t劻oP—i{Ds_ zVs>>9ljЍ4V{0U6''Ѯ]lqlHJR;m_;+OǗ/,Y;*j(T2MH';3N&wnpi>yUHШ9SY{p1Jm[uD_@q2=)*04Mjբ9.,N\?&u9&VPx]Qh$PIGu`9M)X'dO2ʈrnB!ccv[1Tj-^w,+bR*I{_ݣJ1sP,8Muv? j\gYZeac1a6839f57c972ab56d6d9fe6df3201e016646e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f b7fffd2aeb6fd71ed6ed3ae3b714f2cccee84623 3 Decreasing-Diagrams