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 ++R/ $ ] Well_Quasi_Orders:threads=2elapsed=28.572cpu=51.108gc=2.608factor=1.797zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-XchȫBݖf5+ZE!WH/E[beM0:UP4As7N]YVFa-!%@ξC$Nb:O w8r;t/caGo+ngt;c)i2iO)pgi.k-R^*tb G G`L+6 m 1o~ 3)q}k'xk,5gdƺjko M}/߻I^ ctpE  7A3gez`wK%t⺯|˃{hOl^C`^4s.O" ^3:cv-vPr?ێFLpGA[a[; FxG~Tw_l\*’`}9/Zmput]UEi#2oȯGph<0ُ5uIA0-w^3ZMXS` P&bsi#aS;m1]ȑ/zSY wc|!L7©07iflK>h#n[@Zo;.?1 R@.=6,SNE16L&NLp˔2Eks]5H5䤌4|!d;%VyKm׎`q gEHz0'_$vnelIsHo:W(gYZ7zXZִF! >]ŗXi%60nIif&(yB/NJ0G2Kqd3j$=Ć.ԉJvMR  'B\S{0 PPx}(Qn)?bD3%-p<=HF$r ttRbK)~!$OFC~qJhA~M>ߍp*97ن/D'.@F??rVq4%ر7wWH` +F0o+VJfHl<8XQǪHKg[a>eFa-olz)6>YuN81"̼tPqӟ/-߯Ȼ,+`qh*yʾ;LrP*{15 R97qQWdYر=BXޛօD(7'&O,I.ĎY\.K#ZGinp8jz [| f|mpIgUT{N߻MxTZWvv۵7X ik=q] > tx3k\1**h)0 ÐߔIA7!q C[vI>9 65J(9*h}+.RI\8TAgG3ps4'PCeaY[m_q#8D9.oϼ׺ K)cn+B~4Igo`/qh0XcnLx2Y5N&XDg*qC\uدs>_#['cS%%/MBªǸ6i|hŜN|.s]ǖ H?=c-N>qyy}4گ1r 3w&# ipc(*\)NqyR/ΔSvhhsU(@W+(#--ŖcU㉥0gB FYi)g␤C*YFi#V#~"Nz+.HW{4儃E>=y29S܎TarMElGVO. &LnKmj׊ H"*0DNQ^]m8&0+ ylfSN*o>m?cE: Uj́r0׌H!*a_G-C{uA[!85E]qH֘3//§ 8E*Qa'%UЖ~[S|_@XOkd5nmka}fΰˌfsV=.]㋤-fOF0JqE2E/͔~/{@Wǽ6<ܐhI 6Lzt @< OkS5z\ E\B+)K註ZF# E2ᐃk7R+^&;0Sڧ"AN -i eݾU&tXIE2c±gYZ4ddae51fcd9855a6774f6f44f5b420e70caebcffe3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d / Well_Quasi_Orders