SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 G3 T$\ ]S Decreasing-Diagrams:threads=4elapsed=15.858cpu=50.056gc=1.256factor=3.167zXZִF! c]ŗXf[&}M~f\OjjF%-[ߕ{T8 z= xMS2Q.TFE ѬҜ6!؈Dv;Lar-`/`e Y`SP n"S;xDTw߃') ;b: o?0.nP'P kM;Xm޴]rzC}m]$j'sWƭ&$Vku.x}zRW|u(.MZ,J]EV7+/LzߎþX9|1X]F~@G,WFR.r2G+VhVb\DϡVvYD'{{Lj !%d$l5))nt[dEV (ZMoB'DV6q_1E#!UǮ=p=/ v^2lK=AՒkHnya_a5_?4F  j+ I6~˾'CoUH)@5&_gYZ7zXZִF! \M]ŗXiɟhb[@%= (]T^ѡ`g9x_0rP5'+?0"$i]Hc}YZ7zXZִF! r]ŗXi%Eb⬞D)j;_Jճ 4Kej} ܣʪ /FC/OtĂp,_1̡Nii1oiC*./Tw:M8!Զ 5vʱvgvGrZKq$fK+ ?'Au;D X:]?Xm1ʶk1!(mZ=ݳo^O 40+ t@ch ~ d`$4Nd8W>S6%:s?`@ij [Ե;>G`ik_S, lý+șv^{ k ϗaOv}!ǔdGx`36W1&J_?gv}. 6圼o-z7hk8]AMŀn PǂkPpkn@O鬎ew3lo,acJK= Ec<}ڡY=WFKԼ㒭S.DM==Z ,*5cTȄe//c9/-P )VR{D!xXooNUWXUnNaJ:Ua;bHysd̈2|+=3z*kuv0iJ eҙ,E$`B$:r"5"9,5|pUƘT?6*)Ww5h5dH;\K.i15-j #qh]{=KH/ >Fbfk^&r*~2Cܰ [b TaD|ƒ5R,Bo [zm̒]< sKZ+a|ZA<zCcnvf訷 ̖ ZnRsBDq:e4N3~Hf>6`#lӺp9ӗ扏꒡r F_ID5cQﶢF_=썇fvA&c6ȯȻ;xÃ~ z`şsY>Xh*Xi(~qoޣbEpg>fdat-"hޫi (=8X\"R㋵E pz">LJs9-2d#!=nҚos˃D9 ~p<ş/ϰ4޲ߚj/*\\tO%z` qN`Jγ,ݲO2SIcc;Ǭ:df!F42PiUqRGGZ.+ZYE*|_Dŋ 먠4ac3配7ҧi];+AP2I97pJ"TdKڦu[! QeѴ|g鞺N%8yxPg1?g-} M_&!KG܃:V l$s[B18t:8i#$l#)+V4cdjv?<Vd4

7bK1J70zY>OGorIkNc}Li\|!~R{p OjUJI&")|BƉ2kTίԛGCZgYZ4a0577293a7295f1a1d361d665226095426b58e587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 bf7f13f2e11965a25b0b5abaf719b781cacddf76 3 Decreasing-Diagrams