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 m3 |$ SS Decreasing-Diagrams:threads=2elapsed=23.227cpu=39.376gc=0.856factor=1.707zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK41Xh586pXwcFd&Hճ&#KqiWwS T̔0#yn5 33 6*VLR"(:qdO ]\kdJHQ*m=2Me]*/eeND-{1@Poa4ňa{>BLC.zGI(~3BL򯴫Gz!n>NL8#թXTiy;tlId;|V 0 6?7h!;Oe6]Qa/EOۗd5{6 7;*%[lN$!7,*9W(R?`hZ\h؃Ab(gRǘ9W2m|Ӯ}UaqM)=8,ѭ^+!gYZ7zXZִF! zSK]ŗXi%6{BUC'rJWtcVe5?9B=[c ,Wz*'+ye[N(&uctV vll^iLd- {_%4V=屏OS !hMriצBՇ1keBBQJF +a$,)62Nq=?LgG޶8M-;^+/'x~ @]Q)8rnj:Ie?я luJ`V#@$$| 8傋MIuEޙl~9F0P )H**;xt _E=ȢXO!C?lhv=1HD+!IH@ c Xj^τ@>άa`UlK0n}勭gc0~Vmm(OO$!I l x#'}/;L&9<ĻƝFWH[ªB=9fDm]][α$Xc/`om,i0;H 5H_Tm|WYr g_˿C;^S lgyۯ>""5G^Oԫa* ~^1(̑ܫ6- LoܱB԰4ٿ=^T~cFxR78[̄5ᜓ3mC|ɾfp#X<ߙ= RS [E-q~Tϳ?Z.F )d*ĵ~S#ҌOWYQ^3֒n T|Uw_zNx3ܙy]"* O {'к<`&f0eکl@4tLP$63m.bSzqvsw1#QT./|\?C^dN.֤FȌicX(odh𩬠;4ϫcDOm5|Z>us-סm4*Ya'Ψ;O;/K%ay{l" {kZH>="%Cn tD+,cs{Ƽ+tf"SB3Ox-"qN lGT f,r]/~HXzO[qj25:&ͬa!D|7*M]壝IpWC/1Qn%7 6eZM'iwe+a6J V.Ea r _L~2#/R6Y^|_LR(RȐLrB岁ܕ0uͫ koMn.Gġj owc'oH[d89@ZQrJ&x_K:ruMtŧA*pgDڑRwaawĢ66UdQ<Ӕ "nr[~6R>ȳ1gX,B7qB=>HmMNJ޿1A.F 2#ũ| _ {S8l0$z ^7.tjT ˾ pJ* ۬p egYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 ab4b6445f6e853a0d629c23b8f052c50ebeedb0f ac9cda8d7a9b249e337fd3b647d766c9e7b53a11f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 7a21c80d3cb9f4fec6066cfeb29821ec2be1b923 3 Decreasing-Diagrams