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 G/ l  Well_Quasi_Orders:threads=2elapsed=29.542cpu=52.000gc=2.904factor=1.767zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫ}dn I M LJx0D)*!t_ԦWe,<6=g#6pv_: ?OGxph+n}Wkӂpy&i0IIԅDtL赁<]FeBui2x-dS2+I mu\3{ZY@ASZCI]S aR^߳#HEwΐ/9gô}STgOC iq / Well_Quasi_OrderszY-MukZ z4Km2c jFԍ ȧq@5wӷGCp LZZ ,4- 40t@۲#Ɉ#R>`y~"MVQa˦ۂjdA=4jgq$5d%⠰ԚYjcV|4YWrc 7i4#TRO=e~oS63393F t}va`ݿ-}K\[k|=ϱQbgS .QSg,_ !MM쌳%]ei(u:Ux~&A-z{涭71+!(iNFc6 fέͻTCq`F^;I臭m7+ XcJ,z]Ї#,4t0}>qw* ɷ.IE\p/TmڏrI['qČHq m"AWNeSZzUbPX5Φ*e"Dґ1|gl{;ΰYm%X1wM}~(@rq&HGH6ƙ'KS:v.9w߽ =gYZ7zXZִF! ]ŗXi%6Km{ݗ ?PWe.L#Ͷ[삧} |@aH"(0JW|Wo8ko3\‡ nm.Si-畉 צ{o\w. Fš +naO#=3AIcE[w֬Ī"Dn;xL[pU% }P?czMbT[й .?e&(Y@vPQ3,lR4sHMY,gTovVĄ) m%Z|KCm@6<ۓ&7-6S *SN(YQ~umF#L8-h@'#_v%c/v޽xDKCfW;"tW›esǀOIڃ?h!ŌҘ}IlA:䨙eX#?ZT=ց\QQ$'qZlr-jv= S~R G8̉2[ԥ =1VDdZ 0]^9cUpQP :{Q")4a@X!\ qA9P1e `SWk:G^Γ{b=貽/I\z3i8S,?IR<жq UlKLU"+νj(Q{O S/{-\YEX,OfI{ӟ>0,ΘbIj&"}?:؁-i57냽wV/L/˃Wk{`zvi !m)laO6&%q bO ;%8Nc8qY&1ahkڲdp$ i2&AO#^0RwvƃX`0yOM'lU<5\m :(Ḝy8G%XcseY jq=Hl1[]I=ŗҭc ,8Kiŭ}qEARM~D.C4,vtrDQ:#& (aԙfD`s^cO l"G4Y/AQhz'êֵuJn;J9䋐H7t=Tu"f.* _읾C G~^ZaVh rSh7Mҹϱ9Z:a6$QL=[u憤Tɢty(7]VKc1OP8~)Z`Л#  b]㷱h]՞JnJY\Xbܱ7I!