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 ??"/ |,  Well_Quasi_Orders:threads=2elapsed=27.941cpu=51.356gc=2.836factor=1.847zXZִF! ࠒ ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{h| ɅAmג*Ί$G[&Z&1aگa}Kny]K"LF%(NMyD $}̅L+z|<簋-Z%#+FEbf å2Y }#{[MNa-Ӧ" 6,=Y4y9;`7YΞ4o`[ϵݕ / Well_Quasi_Orders/3KWB_w' WHܲڲ :|bTX^'L Aօ>,(hA~u#Ye(RI=^ņ/ի|,yp?ӛ0So'ֆf6}Q9Pg2oJ|ޣ _Aw |j2! Oe> T!5NۅUzr(N?s= hA\^o&'й!lKSh6\o14xQ/5e=%du4 {:)s_`P?OnHE$& `?߶?D@Y5iep;#0Sۈ tekbwԺ>Dͣ t{l#!\_8 v1t->Izs |0m#-֙lh3 !px8 +ctT Xʪy`V#ѡa|U@ pH@e2\)E G)/U` x_l Ci@9BB:;pWBum{[lDΡiOTc8 +5rZ0[ d AKԕ5 eP!ûj(g9!p1b~~t6yjحTcB͗ykBh%y൫N>ߠ;:':)k^.YuS8[VFdʉ\|yhH8dIwvΩ 8, @"pvBl¼of|FC0XAE@)za1Y|:c o`xSȫXũɈǾE[pC@ Ť *߳4x\v Hk;Mh)la^{ j Jҍ01ddƧ$#'s^?|%ŴXE@իWjru 'R ?stY|oJ h?蒈hN/G ʳdYI D|| -<*a>[alϠg~?t]>wR µG#eo, |l*TSb>RX>^V]NjV"-ݗAb]ܣJh2(dć!Ҙ~ͅ2Lc:5W(ZYAdTӀnYwD"CП?xgDo xI[vQz97VxT4k`2e"(E?g{t9C„s,Xų, DͅVfbV.ϝ@fc,Lx9Nr0J0Ohnt UNXO_]k@\ `#I !0 #XUK?fꮙMTj%-kk¼{,1Vni|ZeפZA?u.jz\k:|>R[[e #%39+"A I4ޡa ;\fbό-g|7C4.9ŋ"ND\:\ W3Tn/!Q^(>KbJ( rs\Ҷ-tWP,#x#g pQNswÈO5.?} >G 1Ƈ ]<9̄k} @᧕ptc\-P0V9~-_5XIs=O ^p7^ߧ Y>NQhM ž dcԫ/nR܏6JR^nGC9 ~IƱ]弅G5SI^(imV#P 83@/l2 'DW{Q#dCrWf9$9jIqb[gĆڪSeBٽǓmKŔ紧\SeEk6 uZ6φhU_gsVr &[@F?"~kd /D.e@D"/ ^ʟdRzAC w%ɤ|akvSz7vF qJcF A^y .7j&$ <%xWX;5C7!ΪTdákb~~N]h%FQeX4D%L Q-[%(ABp%FLbE-:7ewYcR`j\AmϺ9m\g_PJIuK6׌s[oc,~5lD%8wfZP; CޡdrǾI_&wC^dp8av+t$(y9-$^6?Chm2`+ rgHfs_QFO졊#/r^Zoa &gfg~/lXe݆ĻEq&wD7Ԅ['PQcMlK29R c1!cv]k9ZTc;r QdJE儗0y.JgbVI n7Yí ((C N4_R1|Wu8Hh"t:_![ޒ7$=HFꄦյ똅 \/g 6)< PyW}ln[LgYZ7zXZִF! ]ŗXi%e.MizF| {{@=>iP~Ev;jӻM|]23,W#ʬŦoĊ,n`غ^cEU9W#!PߑCJXF Yj#- R޼eNAFT*^VQ^6e 4Ȯ4曯ZƢx EWDHi\˶LCyL'vqرʴ 1v+R¨s Q+hROs)<sk}̊d&{XL"ͷTT *@0q lI+5h c9Iv2Fr}ҮO#NށdWq~ato:41:Q_WUơ6J؅KHUee#ӕ=c!ȮV[8F)1$eZٞziICO%8ON0) [;# (8}4N]^ߙ-T19 ] gmZWKSV\Tz==AKÓhLCυP“PK."NP΋%יt$9vw(<I3 0 RF>{ IgњUUK'E#MLYDg<]lw[}A'q4Gz$1)WuPLՉƵ&Uh# +yxd )ψ.:FFp-H/t"puv"|DETC9A U9[qQ Q"ՐXZDn8|C))D?r{TRr߅zXhx}R6aNz$ lAdYڈLi/?dodXF9;Kf?rlʟ7ὲPX(g4y 70p,Xx3bI} u:8\: ϕDձgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 2ebfbcf4bac120b56a73d6e643fdc85283b4d424 3032be206441c7a0278a78e61d3c80965912ef97 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 489cc83115622e6abec1120f6a9cb06376b51e20 52b0aace9d7980c050fa4e0a384a785c607e5f31 54eba29bc7244d89a0939143111bce31987e6527 5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 617b13a7fa72de4b87dab21619e56ad80aa8b75b 71a02cf1a88b6183f35a2a220c2b22294341faf7 76e13891ca07678bd95d7518433a789d3f4ed779 81de4762b4e143259c5d9fb6b097811906b676c1 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea 9e13feec5f1ed7d649802bc05646bf8872d202fc ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b9f45f1359f659122b1c5dc28e3affcd3f2783da bb9384413e4fe0f409f6124c8e83fc66a625de83 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 f33c48f7c897828d8b99b4375b996d8290385c48 f4f91853e4b43d9bf995ef68bdd37d3ed6687be5 f52f8c0be86c23f5875d4c453512f93448e075e6 fac8ec90e4f007b9008fdb809babfbfb06349f8d07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3