SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 CC:9 l < ]S Decreasing-Diagrams-II:threads=4elapsed=10.868cpu=39.556gc=1.316factor=3.647zXZִF! .]ŗXf[&=.c7턞JPiƍ,r%FE<#MΙC79[֫(@T  gQDli+3H/g5ehd`U{kw0ۯk@(D&z[y>οC2o!^v& 5{J(⦤+M¶(GUQV-vQ2"Y"dF}+,5NIc _‘*tVTY=^3cA?Kք`# ^yXNBaCHo:Hteg"DP߬dcwn=֠F#?ߌOIE7)S;83GJccY{g^ iO[=8.ٰW^ b E*ow7 wK0`MΗKMIH< m~[ׁ[v{5v[cM jY;>Fً[#tㆺFVi/1^Ɲv`4eu?5$k螪0K;E--27aT%"i%N<̵ZQh =r`NcCmZao\\1"R =b)fJa+K 'emO-.2`4 ҩF.>EM܉1ZI~ ? "s(92 24|GBYbU rlѷxgBW|o~}Qyy Vn+[XoOU욻f3yye/Z-:%ly'v | [3=gYZ7zXZִF! }]ŗXiɟ1?ߟt;9HK?.>e7"YdlE--IdQP.L/S!-:~ر3fhuBn v2„薇@WQMax3u:kRbHuV y/2Ծk{F2Ф34.Nx$nPwcC !!.wS1U6LWм{{NP uV{RmC-GMKEɼg5 ;m6+DQ"ȩ(|[+ #ˁ2{o]Čs'#x_,tg)k4OF@GseŇ7QUariI"|Fhwjb꣝ y^JB2i|桘g?㾿\\`A /WX2e~tV/N+[k;IJh,>eXG^2(I!-kɑ @@ t_^ܪ +[1. #-;*"PcL;4zPzm{eFܭ~ޤp|RQG 6Do)qmC41o1y1P\B'cau R-CjlGY@@ط]߶K El(7 `+lA{Ja[/@ ·'T'ng k :İ;L IQ{P믿M2Sӧo:hæYL1WKɱc)եPj2n btc}J+RZ2[h pI7?YQggntճn9y/MwF;&HSb2dD  e91|l")6vU4PZ2:#˿5ʊOFYČIgޞ?bA< || V~^<<<ݠ#6cg|עn/ ޕgYZe4264c69bd9b1a345d70883e34c2fb03e3ec15f631f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251ac 80ac39c3eded294106b201030bd52da00feee200 9 Decreasing-Diagrams-II