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 **K/ t  Well_Quasi_Orders:threads=2elapsed=27.421cpu=51.380gc=3.084factor=1.877zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{oD,{y5ڊ̃ۀ||;!kx[0{T%Ohlh&ľ=`Ìߎ ByHrJ7c7au9bJ7]j~@džs z-"`P/s}]Dm˿FvZgG4> >)r{tב>UԠu7l x]ri "n4Je1A̴ïb[R_}%#f+eaiz%gQ?u(s-wLzu^&HOlur$n53=cKԣvm:KaδE' -[Q = {ҚªU R22 NrL#Յht4 cBX>1RIh*_8DS %b,H4^,NQo!Qa v7 O 9ޘc"SVX׷%aSHFq/\=2s2iۉDԧ Fi\^=⯓'CDO\)7-f^XcvVG>H1Ƈ}^54~FOUgy}T}QT8{j&1CR<ś-u)0oW\Tho("sly4gy)#Y@*R867K0Ù+|_BaNA`M˻5ˆւM}L}6}?.+aZv NAlM%_pE wJ$:E, gng=kslaƇ4Y+0 wQan]&arfu ~@15ιfSwn,@V}AHu.]2c-|!5CTn2 8m%3RnGlޖsVV# )oUS_תfhCǭwlTYl}}WgqЕPE|Ve:Dww̢߭iԲ!o Mmm@1M}tN]r8Ub %;}&b7خR<]~tAwSjX;1_xN q[߰0s e'FRlha3um [R4&Weϭ舂}DXy 2 IJ_2=*``c$ y KֽW2W*1k=֫X )@ C%AhU9'X+C~5CV­A*ߏld:󭼋͟:X$7i(j!R[o\0lc9UwNDێ[!܃qÑ/S"tW˺4[{.#3eTe`D- Gنܬ68vG:MB8iict@܋P Ұޠ/idV\j2p%_NV,B s-4byA[*gi$d#lu +jaPcZvhc^z :7p^6]dw98.xŞa/OscB#u3FNfj}sIOn3d=^qֆgYZ7zXZִF! a]ŗXi%sx<}n! YmaiXUZUW"\hl,f`^BH;1aP#ĉ/kzM4H\tL%<Ŧ E,Kz[*\2 g'g5 whIKNmĜ"IEzHq B 6IĄe3[~' /nvM:Kn?NGrۏBK=Ȳ8"ލp{RAW^})2QU|^{~,Jk pm={F|9I/q!R0ƛjKNCtb{sm^t%DN=[b#Q>Q rtw cTo/ v5lly2pև*,5˼:>ɊI̤G*LI7"w˓ ]|Vvo >`y⠡Fhf2hhFGˏ+9LfvCMO;lmM[z\~9KPӞkr9e;.vޥ*( e@{Iid)Wk4O+4Ȩtap^ZʉPo7" 2W~ rȨɢpS.T.׍@|!'h_s0߆4ȩ?SBJGp Ra-( yLgKTR%[2w mTpXӶ0@o[PG'2O4\d&_1'Ύ.B!et c:/Gv9ؗ[zE"Lf'fW$$FnZccXO[_I? *ʔbtGvV_RF5QЀ-L+FsO1nc$Zb%0Koe1sxC|?Gə#x*'um986 g_t.س geK[LW}em[ZvZȲg$IGWPV$}2O\N/Q;`e>|geF4L]VˁԦ`Ą"+HWKuރ'%kjR d}QD7CF8`[ԃҒcg.KsOzVr!_f?VH$zRy)ruov wзNN%zљXFeD+SuuAqو&fRN1/ͬ]z,Q+eAng3z wm=#Kҽy-2Hk-w@;-(b_a*c2 _A#;Yۂ58[I>p=ĸjEQ5M'0d_xl[g%],inŤ<6o2v߽-麫S9I`#7D]3gp+PJ8] igy( L[$aMKp5tXۘ(8c% XE;{ ?&] m7_ncYI30Zü #BgRȷ,,Gɉ5=%鬺t0tR!z>`DDuC Mp _l9٥@A>(x:ZnfR-qHjr6}=׈ J #@,vWCQUIk>\M:+qHNil2VzX |n@u257WS|>IQen#p@*jQgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 460400c7bc791bfb5a6f477d61869f269a48b1ed 489cc83115622e6abec1120f6a9cb06376b51e20 54eba29bc7244d89a0939143111bce31987e6527 5634204d7b3a8fc4754a23297e39ed38e0659817 5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 617b13a7fa72de4b87dab21619e56ad80aa8b75b 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 71a02cf1a88b6183f35a2a220c2b22294341faf7 76e13891ca07678bd95d7518433a789d3f4ed779 79c07ebd2f5283bcd7da417cc2385083c28a6fd1 81de4762b4e143259c5d9fb6b097811906b676c1 8f405996a75651f5726cf372f46e94f052fd968d 9e13feec5f1ed7d649802bc05646bf8872d202fc ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bb9384413e4fe0f409f6124c8e83fc66a625de83 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 f4f91853e4b43d9bf995ef68bdd37d3ed6687be5 f52f8c0be86c23f5875d4c453512f93448e075e6 fac8ec90e4f007b9008fdb809babfbfb06349f8d9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567