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 / d<4 ] Well_Quasi_Orders:threads=4elapsed=20.189cpu=58.228gc=2.440factor=2.887zXZִF! +]ŗXf[&=.c7턞JPiƍ,r%FE<#MΙC79[֫(@T 㤗諼~Ifb<܂ OTU5 $:vnWS=kB͜y.>[K+ /g6!8^Ъzc4nw[LS]ٛG5O#U,sU3g MKBJJ~6l#-xΖ\5 XqԟVM t7D^:CkLdboX ZfU"3{wnߚQsHjR#-4D{R߀ۅw4*W0] }@xWfOv Lmm!N o^>\Pg KpA2#B]<"ZYB8[^&]Vj7xoKuUZ`Gɰ.HEJ)&^Z 뚭UxdBJ-bz6ӻ")#$67hÀX-HXd;FC`BL6BSjQŷXh/1f9"a[[bHJpn >BfF9b-kMˁr7( `=@Fzp[zg$T+Q*J qrXcj+f#DDWL/kh*%)5vYb{?ϭtj?78rn|c_q#N F`Jj\m {'i#R"Q?qMgYZ7zXZִF! 5]ŗXiɟ㶵fL4i=J|92ms;ә_t6v%yuϗAI x$DŽW*faֶҵOn_Ig@)TVF"G$ /RN0Ȥ]T&\XKyJ?^w,Յj![L]n|$Z" ^lbцJ)Ʉ-fJAz@A:D[mlMm_L(8ባώ@cKN' "yNx a@ukqVMj w3йOj}X)"HoaOjpwSnv\чSWձgYZ7zXZִF!  ]ŗXi%GgT3 Qg[(f%I"T\%#6$р%x1GdF\4gMCH%+j5SgQCFll>zXl;[ۯ]6[;((wЉoriosO?Tѕ47=E˜AS0Nh hwkdJ<(؎A*T;av|X0"zxuHw9fV,jiw2ֹ)BCxa|~l#gie3K#,3 ; Jz785pM.X%4T5Ps{7A|uEĜ}d|q0elT<9\AC5?š$ 1^75)C!@&]a)j=rtĜQ~=3)9 -#@Yεvۀ?`ߣOh;4q~ca9EyЁJ%{&E< x_¸QĆH}B OӰ2@7Rn&MF#v;ϭ_Ta0SHGL4Y41/^qY ; %Gd.mBVۥ*`"N|ޢsRIu\]6RL ?%}TGC8p` 0ё ]zϰ2Ǐ9ar(O6TkKWBkPs2a3/eo?"\cDG ťv0}@g;͏-R낼XH/sƾ&⊦=w7dP"*0m0oImBH[<2:_*/Y! 5:QA4, ߋeaW-ybuO){,~%l*|Trnnb"P#LCa}l)ON`nO+}ӂU4a6TFb3S*1Z1;dFy2$ WY(w}Ed0Kk6\oG}Uu$gОwu fSLϛuFtw4e[ŋoP"37iٲå&YJ ll 0/K3L/2v\,8!~6E"f%YÔP@zv \CZB ܆sn)ePPR!U0j{q%