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 ii9 LD +S Decreasing-Diagrams-II:threads=2elapsed=29.153cpu=45.348gc=1.612factor=1.567zXZִF! W^]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8D{ɽF a%1\Z_ //U!h*]};u4ېc74g`C< MM'>dSyYLPҁ;/Hb>'9g􎞷i%ȖʸAZȫbMXn^mJ7\nQN; Q)] ㄿ$5M7ׯq݁[]n)@߶_Fq di>L&:ե`e%w> 6=!12Lv ztɛ?>WL+ y:wIi`&Lۺ $BsAYro0C_hf@FQ0l0=OP]VJ ON&Xb`Ek,˻\^ ΌS/iHICeF9m'⾻) 5Pv܃)mHX#3tQM;ORA/޵G"d^T*mGm:òĩkx.o7̑ՃD=+|s[.@{I:h$3M $В.}ju=+espMdS0Qvb?_GMN_V$*snADN7(Ob3 E/>:Ig࣎ݐS? ?zHdO5c6 LxSnE[< 1;d=8dPPbDl+HOm G'_(:Y%clW'i/9#7((\ n>ڮJ>]Tnr!\y$a 1'Y'#.N;>h^pL S?A7n 7Țm@@!Bbϡ6E)L{d$ ˂5ZA2#3y#g~Ђ S9iee۔@C.5MpOpj(3 Xkbҋ [̖/d[Eׅn|!X}R}ΉEn\mU(*YHe8*wE82ݹ},g/@V)&S#S³\W2j9l@/%71u[b1V٥96_:mqͫ5(B&Ȱ䗓,d5 M"Uѡμӹo{KYKJj -QoK$;+ I#Rmvl(W3dl62orAw׺3IJ t8OgYZ0c4687a3322cf59ab7b6fa5c9418c244cd5f3d21 0fba804d67c28bcd7ee026f11ca5863180994c97 14059e988b6926e377a051639b7dddfdd1af5333 332447e84d1769254f08a2faab3c26385e9b7664 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 4f39f98c74501107feff7ca9dc7b69956e969891 5634204d7b3a8fc4754a23297e39ed38e0659817 71a02cf1a88b6183f35a2a220c2b22294341faf7 8f405996a75651f5726cf372f46e94f052fd968d 9b39b3c4931eff0aa059fe41bb2aaa87aa229e08 b36c3a11f544d2ac20c82a0c7e19f29e157d0615 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a be07e111df1d55fcc2d5292a1fd724fb0faa16f3 e9a37bda23bd443a13fc02829d2d4a5c1090ab66 fac8ec90e4f007b9008fdb809babfbfb06349f8d fbb41d0aa9e7731b95122619e8a4b9eae61c727a238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 75374a09cbef1204a7e538fc9a783ad1f5d9fc25 9 Decreasing-Diagrams-II