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 j9 ,d ]S Decreasing-Diagrams-II:threads=4elapsed=11.423cpu=42.724gc=1.248factor=3.747zXZִF! P]ŗXf[&=.c7턞JPiƍ,r%FE<#MΙC79[֫(@T kMG*Ič%6¶~[m#YFNhd򏗯YH FoT9gtx-/0`,2 ǽNE&!Mf|ٸ%LxZ0>?ԄN~%>ܱx򹸛7튜9c>0"/ؚwmS%˾3?g>F~Da򌊫@axzp0G.V jЍv2,ȜS.>B,ÒUCGݎY"x(LA"˙άɃ&W6]@ h=hm1*ZbZvQIT,gy.bw~S[u6Boj)c2PGmBD[Q^1o%wWZb?/^Jt!c;,9v+ا@u$k2;<2 J=@C 髿i#M"58CBCϮQ2Le< t55zdkϝb¿7c߳"ʡ3zgklp0Q>a8@ۂ9sAwTԒU `$L`xQtL춃Y?҂U~cn7WFtm۰OfݱEa Yx<FE =>y2 So.~oc7-gvkU\E9ؠ ):,eO=!͂fC_/MSd W 15YL~&wx9 rgWnD Q!Vo .r*DaZ}w;yA[}R?Xn4UC{^yT0Ii Kֵ(Un c M`P$FFy>pDik]bo-zjGJ(~Go.Wo_&␎M|İGdrzskƔv.Xw2l/[1$ ?|Y&cֲW@<<&dc^r[sJit̤PÔ:V"|< ^ etB?5NRzH -*`'ٌى$a NBbgyt"nrbuhh(h |kO4{,lkΟ [l|Ϟ)ۊGǵ6W,VPޑM =.0`G~ǿkTt:I;Plxl.%< 1$V(0XmH'-A2m4FHC1_v%Z"mb%w|Š:Td683$vu}<+;D07cS(Qr@Ӈg ?.=]"dl+2CdWI. #擋2|J- !%b2G?r=~CW:B:.N9ZᏼM^?Té~(%޳Hy=5{Ȩhh/܏M