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 w/ $,  Well_Quasi_Orders:threads=2elapsed=29.359cpu=52.100gc=2.852factor=1.777zXZִF!  ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*_-@@mlL3/(h}0w&3DU?yj_bt0}"nء8~:,'ap\.J}DHDLrKao<՗[~6v,ڍYZWҙa}Br ؽ0u}9?bC)ffAԤ҈lxQɪiU*lMʱ;hm:} ߚRw$ķҡ+F9;|ck`ޝr1%O{KX<|ǶL@ r*ޤ9cPD4c~br9 *^v J>=璷/-b3WL.7r~&1k%J~ljCW٢3?8gXAZ%Xڐ 1$:䳬&d_%1B8p-,h+&|vM3Q膳="JH{>#Ϊ:A`EKP~k|fV2 t}rOt|2ʭSDVA{WG/aGD(gX- lm8,iB~` ؓR|+k6vM?zmXK+*o(WdjaOᖼ e;X-2 t;thTyh+B *D7WTs51eӍp';x7Hly1Ս+xH̙§DJ]\PHN3emsa=5Y {;;6➚Se02oz}mzx/>)w1 )Eiߊ9/ _boA0'FN2ʸQU=pl\}߮]i[$zSZmp}N3L J<50UI(_ sKȓoޕU sA3Z'va~@q"F6'H3,جtP'B[eɘ5_ϽM'1z?]*iSt3}^]ִD,؊U=OԠѾ$[& &Fz>vU]y ǬXWe7][?p72Xk$\mkBȯաRC[;E^Uy e:A@>J_jm-y\I>M-DA7Bp:?E"|AOuj]؟l_y4unUMLomv #m{I#5RK;L0 E6 QcsҔ3Ԥ'ZSDŮur؇W^Y,CwK΅WgV]aÀ7E@ertf y@R(5Pg6ǝW]Ȣ*Pe6 ?GH[ԒZ!3jxBrH)H^Z^$PMW!mo((lCrPSΔ Zя2A׫LPuێI@h B,wL[i@~ jЏ-WX&I 2 ;P4 tkՒj $A\N$v;“^7 19Xr FB ,