SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 h/ tL, ] Well_Quasi_Orders:threads=4elapsed=21.761cpu=61.192gc=2.976factor=2.817zXZִF! b3]ŗXf[&*%5r+=~ȳL\Th;% JUO4Ub3Ql J ,'ż@;*G 1TXՊpGfV}󈏴uZbe=e(eGOjPE|}L#@"TYsf'%QV}[N+um%WngĊÈ/q_&BWѸW-GiW +)9\ -ȭ^}[{eĠ/ygtW ns1qq@$ 0;,頗Q6 f* !^Q1 B-F⼎2[8BѮO|[5fm'M c٭_Bp.Gq"4!$5,=w :EBֱUp֙u+ spc vIJ;\rLs,mhjz7ćފ 8^+ O +% / `tJm p^j ?ǾO䫰TeAYzwҢNer33$T>"7izHμ_Zϯo :Iz.TC+|i+S$ƴ>QNӗ|hF!͓ f>Spigo!+$teEO> tVI_5HEE\)j 0< UTyxxKc};shM}6 sCTp{ VW̌Z^t'6#%|Mʹ |V(2UM@ki%XÈ\Ą0K>1gYZ7zXZִF! 5]ŗXiɟ㶵fL4i=J|92ms;ә_t6g.X/ÂchجX.ZF6-ZAC_tx>Gn+6 Ѷ#l:#[&'ӟnæ%dds7&NB@7ݥ.>j3p#F -H] ͸p%|qY5EVN9S C4!bB?DYH^݂Xk^$6~Ṿ~jdgJ tL|R~H>4O;GD/Pc.s_{kX&-_6"YT/6..`&.$S \;j I+=,QLHaB6+L1*w\חF;OzdɳD7F\*yy!;W`c3ŜJJ<OLq{yx1Ur٭uEPj84*Dx.Ah yg4]P@݊i{I^||݅zvTCv6Y_rK CT9x fʎl`þP);*Ct }9 jf@eӝrA(I}|Y)й 4 z7vE0P!k)6P߾ WbTiKѸ\3};'sR_g|f: P8'YZXJTu<)>9Yn*44;ei&m'mS+cso h۸i@]1=ebmMn {dH0ʋ)"@(ޜqy(t]b2ZOv^bB=#d JJ"EXp!!߂[<@dr iQt\W\NEp"Eu񇂭P{|js==&U6h 0X)>j^W$i'Ҽ*A8ee`ZaV֧10@[$^;L1w)BMX` 0*kV-GMZC5+D\ʒ旗K,!4ηdvn)#OԆ'`5;_E=&)rĬXǘC9:ɰ1Dط&->9IwMf NiƼe}Q~lgYZ455638368999291b5065c678ea7034a5f867e0639cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c / Well_Quasi_Orders