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 KK29 d, ]S Decreasing-Diagrams-II:threads=2elapsed=21.249cpu=36.620gc=1.372factor=1.727zXZִF! iD]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAjDntA9XQ{ u]aHڎ* v0αgz&B1q{i%Qh]rmEaWµ>A_LrC]d*NX}P:I oaL{0Z߄Iڸ_fxd/X6|4㞳M$[֯BBiy.-X&yl@vvBmc2÷=*O$CR?䳉%+X1৾__j^Up>4.[T3V,+ŎO$!/[w=PzݿCtS71_ze ~Q489"J ;;9m?_y*+.ۮ;jCud5 Y_0PW7HIU rԼ\ R{ni"3㧔谩,rZ¤.RDjm J`w} [`03I[rs,Լy0U1k(@i%78)kz/PkJ{]ܠF;*KoLˣRTbܧRBM'b q1dnV}$ byOșMsROle_FC%Eo|{&Hg\ ̇8a+mlJe7"~8 ~',:PsF@ i8{# mv1"ETB`LG9 ׇU {b;,V`K끠XOPm1wX4Сሱ:\nn=4PDhW q;Ð"{XD ׂउO'x5˰*'įIC`q)Z^cPZ(M[4bs^ S=M_BKsrwNCO ɈH<q^@QF"4et#95&1D`eznb i",gYZ7zXZִF! sQ]ŗXi%93'Gvh#MŻOj#b(w!6taʦbP,Dz3P\ٯ"&ϼOŸ:޾Bc!M)e)59IK,BPH8?q'C!2 #-KrI  0|Y{ك;b,(ic17qٻfl5皛Jl& =z6g~fS?'T5]|f^8&tV`koEf[Ap/ xwoʊM p$;UwHaՙ,V0˙l~ Mp/>¼zZ%|qJn SV<I.{ fipْ6sg_NKy0TS== Z1hb?'U}+Vq݊C[@{#Ya_(|G>aƳ"F~ʞQQ+ͯ:pI(L}<%_کg,`pu\U\=4R qqp~Bbаx WMy˪h#&hd nEuݫDnZ? {q,1#ɢe Z^]΁a&OARG'WdW>xjۺf1-S.+G祎=0js? =\El9T1`Ȯ-CkȈ]  Q+ ~]`&!j/hoYcD/DyJބAzSdI]s;'~UU?5 B"%o֍=1>X8 8gg4U hMA\Ѡe6  gYZ17a15a0f67745a9c330db078fbf313c42fd569f2a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 393da0dd488921eeafb571f21f89355097cea237 9 Decreasing-Diagrams-II