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 O/ 4L  Well_Quasi_Orders:threads=2elapsed=27.810cpu=50.576gc=2.848factor=1.827zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{oD,|*>Ci o8%>:3A_Ճb&d3AUv ː$׸}.ՌD.&G4͕ / Well_Quasi_OrdersL{͘XHӒv+wx*YZRƃq_]Lm|(ވ'A|17Jg2ߓf$ #2i-fA)VAA}5E }.hQKL ' X1cֳAW]}ZFhɓ$z۸RUGKՎ`th;kXyOˮ_z|a)UJFTͨ{DJtp^#1e**˫]ۨNfA=.},,R{zP͒0%7#cq <-aSԱEbzrwڍ\}%M @pz <%| "ֺ=bw="&C)Ē[>%#S6eӑWk؋ꞩZacǐA#a;=USJ~Ql~0IY|L"JXܟ?lc4D7W xO1I*!F\ 5*nv=B5u} tS˭UJ/7T3rL{`ŤW*[m?XDlPOz.ڮbOp/×[ݞ*Ϩ@*Gk$;8fOFR'|K}'>Mqb`' ^zyriR,%Շ=s_$= m)pQ:"}ᙀ.sCA3 J7 ũB__CERk, l<> 1.>2W՚,xtuA9CDrr ΚUꝏBq,T~֘1JOhCUl\8'{CL:!XQℂ$!`<Ů+?6c[ J|˄w%X0],<iNVEnjzf i%x8Sr.ju~A54ϞOؒhXKd FX͍Buqц>̪#j9iVxw,[0UUҜ8,m\"322V_l`a7CXRﱨP'G4e٠9;(YI27: 5@}M$S87F'3t/LѠYwMfAT^$Pg~!rIw)>[\욳jC!,'?/`c(qJ5Cj'`|-9CϳX=k  F΁oM(7W Qt9dbQΰA6x72A;]$M=tvnw{U>)T1utqd.âKQGe+蔱takx[@evi /RsBtn*4qY :C ݾƓfb2(imqk)0w$(y kz |~S _tawI | 0\zU]AauZguFCKL̺ayq Ǘl=Q %k9|S+ ѽ