SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 h/ ,D| ] Well_Quasi_Orders:threads=4elapsed=22.177cpu=61.392gc=2.800factor=2.777zXZִF! ]ŗXf[&*%5r+=~ȳL\Th;% JUO4Ub<fp`-9ע^s+eۜR#/%Tnjq/Kˇj`n  BˠH0>7A p MTMȺ½9;LC*R[boѿC H#P8N1l%9>9\7vn'GPyh!jb *KZB2$B01a~>|P1HKsࣈUG/eC} 6H㗯;;6)Fu\5y7ʢP#XjZ;'F_}t`*Sax=ď*w;_#pSȠl9V7Gۼm.W;q\F6_.xGrZZc*1S /@mdc}z4!8T7'-㞥p uE 2%. 9ۗ0F@em% X`~Oؔƶ+ygKGUGLBEC|?%.IrxZaG_yJhcYpOjz)M;D> F~ߒJ!  `+fڂζ{F5?p~(?LtQ@?[cW["y'[^t*oagn/:1]4z'J/cuUp 0!aeph+ݷ$$wX"K_"pNmSݫV×;$kg-ݰ&EԜ7(U-u 8oɯ\V_bQgfK¿˝ X.-_9}5hƕ Æ1>dD!)K7"( 1&𹩏MsU,ҭ;]1>G{\O;̜߹Uq2SM9{gUSOتTrt0];gYZ7zXZִF! 5]ŗXiɟ㶵fL4i=J|92ms;ә_t6HLI̒r%Cjs et>㣯Wpv" c6p*-l~<ncʔ%9(NfQh(')-udzS;bFf3Vm"R݈* EٴRyi&в-t=͞?}u9 $NM10?C<e︢!IGuc]Rhćz,+'~aReNhU Fg ۞vl[s5NʗвWYҞ揠4=~}9Io 68)Y-DzoݺB q"^ߙLm&OA*,JI tr+7.y5nIÎ+w]),7kkgTҾR5@UJIr8药j^ٲ;\:eGgGc% mQ(|AOĪO q`-ʼnKE_âq?!mgYZ7zXZִF! }x]ŗXi%@b^~Z0f/ '^#l @%1%vv#,!*VT8nnO7;~Z*zqb ̑[V x_Z&w#dؒuHG=݁dWlգbG f:ӑx}$ȍJ u'ؾva6DHkP@[SE'i% F= 4 tm՗<9/vaR8G0=+ax#bf \qnn*Y>Za;Hӥyh %B=@xdJ =ւzW3NkaU *f'%]rbFP)?U|HglLo'O DD* @2fdJn-:CT/;Cpults4XmG'rCB }kjHˊ<.2Uy4Ot .'z:?.\4{ *|g&8'U3R$ Ͱ{|UDOmAa-%rV^p/71 wqdxB8]}6ֹJhw(،W Kyqn$tԵ'u;`m3N|ϕQ/~>>PjJ nʀ]Y0hS1D\\H׷ }ƃO"DflR;`ՙ$Ynd)fWJ)Je':Civ'LrȚ2Jsb0q1\¸q RZWhUА SC8^5$z3,g'aw4J~,@(?u4#A3mΗcQ;u3A,*Ul>/m[̢~L(lY[y/dP ݩfNܬt2ho"K#CJ3ˆΞ5=2m~;uR=pU  eZz6:'>/n.BENODSmnǙ~WL캮RA!yS8RP1!ihpSy: }wkS!=id#z jO{8 e1). Of,KܤA,#OmDMs6D 7b.XvǙ!$gsJY~T(IU1<߻Y < hÏiB(VrNR(')1;M\uD?5ҋe)ω-b?t^I24(Zoa%09ɢ m`0tTS:qšo;(IG'3beeYuVm g34DS')-.l_&挶,wXQ[g;vFvy *D( ostY4^;}YnK^t출X=[^(&t鏦nMM[R-̿cL\X:ɤPr+?\8[:? ގ6fh9HW)5Td˰M1te즞U\"R+ܖkFmE}BZ`Gg{1Pi8" 7 {?_ D he5k:# "4gaw804GU$`S7Zν}^NvWl3p֭+v9=Y.v&5 rߤA 8gYZ4c7fa63fa475173918c643188a0d1594a0a71bef31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251ac / Well_Quasi_Orders