SQLite format 3@  - llB77#tableisabelle_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, "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  Well_Quasi_Orders:threads=2elapsed=26.964cpu=50.692gc=2.828factor=1.887zXZִF! A *]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{hIH>a8+lB_#,f#hfOclunFG߳bc@K]+LM%K / Well_Quasi_Orders{}PG7@"w1ggTow3@K`G2tl3URP2R@&Ԓ>;N)œK-Oι@mosZܺtه"˜:Epc&-|Pˆ;<n'H4JĚ,1iJ{Pw7c騒479P@LlBۦ}'uW:0x͉j$[.pɏign.%Q X碇ﺨn[iJu3Lr`$__.GKU.<}ƗNLj|:fsUc妐ϊ'&V4S`#b}-<̔4d1݃GZ>#qKS1ř|7F( 3}ss&Sk]"jqq7O(B@xniXGY@Կ:[M' 3ZsBKPSȡYuᄈѣ~ZZzI<9)T[aҗ .ɤE|B'C7פyMt1>9 ҙG}36^*kZ܋U Z#L"nS T k5&E~&JE^o2DXƘp!K%\ Xn<^wP؉)O[Кc.ٮ?5F0#[%,{GY#h5nH?,3:uT?j8oXH^X'6uq zh Y1}9 d8d*E{m E4)$ĺIuSQ5쟰Ӧk.١ISJ93>> 02 U.{<ߕtdyW*rCNWNbmUƨND.[Fh#+C \Tg=osR{XiE=[>POMF&N^x]jU,l7?1|0sJ`X=GmOWeUK'Ӥ?<ȦM7MEN+jQN~h]KsۃrۇNp·OP:3¥1㥛BI@J85duyse뿧?1y鑡@<+sG3 D I%P VV A żu(D!>w+IXfy,<[ sI*&w뾕:/יl& &h54!sдieh]pUy`z0):ӏ'&+^̥:bzY~nrpB 9h)oU{N*Ud~ԗ}T? tDM/06ФcWί; N0.i֛|Tr[+VqHXǜ#plTԳtCoObBF z7r[up1(˞ Ba K̴FW7C-@"KTf㹽\bX̘Wϟ`hw " 1Qh(JzLp"u<6/x w$}csVHt#9~[ +=1tzUz,棢!e/963.nu%3* ;&=^O{'0g9*;ϵ;Kyr9T йVzs.S6-&!u nO[>d%.H9"hs8c_v+kĐ&OX HavL: *vf%?sԋUl#8 ^oT(M"ʢs(zyD Gc{l M!W Ě&7B6 `!_i/ңDLa[59Zʍ8❚MD܏3 v,T ɅSD)g6ضM v ! [na6 k"mSFux5ۋ17Q9ދe>Ƃ/$:?`s;!\prq~Oj<$$l@AQd,Cu+h d>=X+Ok:!Y.ѿ': 'ƞj3K D̓+Z^&Uj֤vO3SԎ<9q1640~d./3^g_F>$d̓|E 1Ӈߥ²F|gYZ7zXZִF! ]ŗXi% PfΨmʩ@:[_c ]$ ˣ l\BL΅2t8d$m|.664t&ĺOp`,䛾3]k%gpsFŜ|QHXmRJG7ʓ10E؄L .QGEao"^^}׺ wFs ;tIn)Y7L0zMc1>c tytF.3_Uǧ-6DžP֚jPFMGs v>xM$G\0Ic $:yɤ<.l2%WRl[񩐳!* suHCF(xmgڦ\'8uN# kyw{Ybg襎CA4nnjCf7ZDq<\_6r MIZT(e&t \m8=SW6wX轜pgQym~BϮ-.L9ϲ%v%CrYJ#.껥c">e|dCs{?YҺjC[⪶wm@8qY'b]&e̩*2X\?DRwuFuPFJJpRI-PoqaUmV9M1vЙ_3ب2/XƿnS~QrGX=|wj \LN~}Q2HgL (gM9Nm õ*c֡^*ïO@Jmܸltfgqoh3Aq@?q W ,m|kėw.-wIOh2Ҿ22P)*^bDЄFOEqNG;hs(aAie78[4@哝څ;]#WȚ[ΆgϯJIE']s|>aÈ(9f-0ܪxOK eJ#kaWz*ZO"C0W Hn3)q(@42̘\z[iC /$GML*],θ p\a\vy6fqkLoz5|+<w=`OF*v(zF/s7NY݃'*X=3 ",]/l +x%Fjܐ^9=hޫRu?Mٜ|$;l׿ }9~I>%Ba! VamK-W)&k%qu[ylҔ;"5V}ۃ`~nYB"7pO