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 z9 lD ]S Decreasing-Diagrams-II:threads=2elapsed=21.299cpu=36.412gc=1.420factor=1.717zXZִF! ;]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAj߯J I&))ݭ1(U f!kxF2HbLwGiьӷVAvw~V>0QMtNW:BŌ/|#MKzz◌ftYUzC9u7ji k.4a L_T͔g (lt\( 8윢$n.8UVU -℧72kTRD52d*#} Vωx| q/ݓ/F΋. +93g*beq5!r3n[R嗔E]Dkk n:]GM2=,W=uʭ`6c Or^d3I =t,/j8>)o~q&Ü.Z4,7qQdBNA!|i(Bu@J)_2Zg6jkEx\PT.&tu߸FLY˜gEuP{^CֿCu脰~El/|ݫuؼau:Fm9Еy&+7+Jo%ٵ([uHx8$8~F){]a_0> ؗ9@bW5CE[_)Qu 6#LlTQ&.)u]V\F"f5e7"B Cm턤LhWS'Na!<`ena!IwCt5< U;)% 0I"fvB1Cb }΀|b1 d3Ԅ_[8EVQW.狤 Ε/BvYHG CA C$w’=&,cFz+|XCXkQ>/vlwCHMn@c`@Dx>^꘷b YQfHɴp_YSG gOV/ט\d¥9Q YDl7C$DEVƈ ㄾ1:X1uh3sJuc#[P4'8OJ8ex:^4VbRɑaCpCfG-sKҋ gYZ7d483f7a352f90d8fb0ccc8b29633cd03c696d06d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb 4afd0bb9939909a3b5bc6759107d26bc335c7840 9 Decreasing-Diagrams-II