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 uu/ 4\ ] Well_Quasi_Orders:threads=2elapsed=26.451cpu=49.184gc=3.104factor=1.867zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫy!2Ń[Y` !SMrʮy@"Ucuz{n!')`T~*m0e6-;K lH'&Iewf'*`W߅I3ڟ7^Ii9Q 8к7-<8 Y}4g$\wBjh3>q/A&a Hs^Oq$;T-:[욅vs gC .BiFwuٛt;x#&]Oa+aOV|eRuxV."d W]G_di鸂>vwhVE!6%-eSz ՇqtBX .%*#m%*\yKΨ$^qQ[_=5OHcßd, ۙ;6>N zX( TGPѓp˪7NGAn(a5*,tZu<'Oeo/3b~Ɩ5 9SNw}6fk _÷_0OmN Em&63|W4OnL8%3H Zi" D"=\1BC!sȵe }I-slDM-hL8E[aК JLK8tXG4<7(ǫ naöԸhIg=nr̉Xo* 1w?u8]1mϸcfT"SqvWŻGfQ`}3byHY  ×&6\[=V*jEc8Tco(1SBwBLdͶŮ>3O ._*-׍bG"BA Oiܓ 3Hлߍ?Ln$:!+zoj\ е VfB  '~`܉Gq|,v7oLz"GoA4Nic;(|gYZ7zXZִF! ]ŗXi%;4bRl gFdžCw,ѷ-7e/% n/R{}٠=->m73u-W7 hIѓ=t~0R 7/F/]2r!2Ο]uΖ-qٚd d?6Hf |/8ᡉp+出,lۭ0geI-(jܰybVʼx%-sMFAP'0v}1F^Q"ߩomue#$cFI;_U]Q0iH[jP% v.{2}ڡ KK"qxK\7fCO>.\Ybmʴ6pأdXHc]TK&2nnI"0ߚnf54>ZpϠkr2E)7EH1LqxB"P{Ac`W Q[( "3*X3 ,3RL/mљK͞G#Uc#浆ŚT3hiQqެDB'+xxW9>m>ɪ7whIP0xJ5ďwpJR95 =4y5b9"sVJ鉊*3٠0QD!|:HTɕ}8D8F#27h}VQ5A- u]DbB9?1TgZo\n$äYJؠf?G;lGAy]7 Dv.E?uZgᩄx}F!+IZLna0fKJ XI$& U \(}8YOqCPZ+ S*qO'Q3N xhZNȿ~K,7,;UmuP=O8b4wBKbbQ q0)]/M IϙS0y7QivQpKZ_mwڐ zU||2^I-*(vŶFEQ'RC~FFkxу%i(zkq&ۛ(%^_^LB?M#aG?U>Q@=*6vٴrkZG~!Up*DAs$He%'<|/sg[ٔWpK~zR+aAt71rNM]V{KalV-kܣ-oZ!ϯP2 >-CX~%"MZlxZV }WI1'_T}_{6˼Q0`hϜG7L]>&4e[6<0LS(C|oن͋ktI]`??Uu􊛊nezV=<|f!3&℅5jY>K[%axJ^ED6ZހP A k]k3FUPwJԔ3I읰`ᰏl@9"a5TKt-} a_ȁDY$`@@*Y !. uʥ^j6:ٽT秎㡑+jH>'_~ Ѧ S{fYţ< @LP#pzNq!H4-'sƛr/j2]@# !DUʑQ SOa֮zpf[z*Lp;j'gYZ50710c032656ecb86258b9fdc4cc895a1974a8c0665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 / Well_Quasi_Orders