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 II49 < +S Decreasing-Diagrams-II:threads=2elapsed=29.036cpu=44.660gc=1.592factor=1.547zXZִF! ]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAjDnt3#ȢƵ1$qO2S7{mrw&&C4KmfL_WhmIol[m߳Iskk.RRO^F0$Ɨ+x(«&GĠ٤>vBvA9k;Ɍ} ~O0OA2hi yy"FVʼhc0V)b;"Hh6;i^Īa 3PaaNirB|%Mcr9`"hǬ!`bqcgO|]5CS*X}9e0JWA Cj "d&.bCCܴilB^cnxPKwlH\ x~~ j/=XV3=-#!j7}3A=-4D&j8RqlVk,&Shcy#ULľ':K?w`X\1 u4P( #<9xߞHޘ>J5׌cI1?\K? LWIERs2 }vX_ߝQ; 1ڪbT4HobFzcV5GtZq"mPUviKWt*2+wT+h+)48 QUU.w1PGE[cg>5I.sDԼn$h8L|&l;uDu.m<=l=˨G̑z * ScXd`3=,H- 0j˗U\EJs /qq'_ZЙIg! _Ui]Hrm0ﮐ dYyv{m8f"zKct Ғmo/]>T7@&74Q 8w8fZ E"kťH ožpvΪYCᘍ(?![XOtLqC愀iif~vw'M\) 4E&KrQzA$O?҂#_Bطpۜv~X@yVV8 fal0 ؎?'#9}p`k]HzPgيTMe2)ѯ|%v'#x{~h˅AxR'?MoVk)Wr#90b46:IO=cs>$.ƒք:(hۅgLu&wKK"iaכ҅v:E'"*{9A+,gDFxVj栊Zvhl(WQ=ѵ20뀬݈vUN烉;wA?]4|Σ1г˜%\?0 2ziL׃e5GL[N -짝̴4M $<,` qp}H - w8abJ\)!J-]8x8C6W9 m2P`e*{S*@v T0/>b]*ۈ'3;s%` i(Fs!1WN&.ڭ ]=4^<cH>Ble _{5}ۯlro5PyΘV.EG =*t ++HnJvƄiOKXoԔgֺt83DC=PHP(igYZ13f9c082e5c2280b53542c2963df57f7b6ee62d8 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 54eba29bc7244d89a0939143111bce31987e6527 5634204d7b3a8fc4754a23297e39ed38e0659817 71a02cf1a88b6183f35a2a220c2b22294341faf7 7681561d8ea3216a64479cb204342b70316e8c6f 8f405996a75651f5726cf372f46e94f052fd968d 97081961e2208fbd4451328f9c4143bdf6496a99 9b39b3c4931eff0aa059fe41bb2aaa87aa229e08 b36c3a11f544d2ac20c82a0c7e19f29e157d0615 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0 d8b591c052c85b1671e1d7822571568590dc3e35 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8d fbb41d0aa9e7731b95122619e8a4b9eae61c727ab9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 a62a25aea2b8c7686c40e385a93c207c9154d370 9 Decreasing-Diagrams-II