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 /1 Tt ]/ Tree_Decomposition:threads=2elapsed=7.950cpu=12.692gc=0.440factor=1.607zXZִF! g;]ŗXf[&}/;`h ;,`%uUxp)a|yg-w#%n5r1>{,cӃ;[]`ǚgU缚,7'T[28C&勇An~w/0KPL1!˧LWIQخu˼[\6Oƛ.) 5 v>*f7QgҌ$3 (β ؈$6e;[fB⢎R͒@j6`olClr5gYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S]; ^oZ~?8C Y >2wD*BsCAf!6ܸ*Km,vU i^hm˵j֑R/ ~OXwUgYZ7zXZִF! 9]ŗXi%>g'*VMKS?$7 8?G,ԴC? o{ںӼh@`o6{q3rp?&͕ 7Pp]e <{Q8yE4G6;B,8i9~mM`;6)UkNK& 'GI/#z)z̟e XyjOUHϽ;dqD.iFG?<}%'`m>-tOsȸ*̔Gw%ڝX O9lϚTB#WB7QŒ> CpOe2UGܕC{)gx"Hyz tW~ﵶOdf8X x#1g8ʺUrūJҲP,G@<=׷q^^㇚ਚʩ 'U(cpBn=}> b;jROAC8JJ(VooO/t9(2>p^ ˫C?hYkq/- ֏WͷW1i1'<1+&t$hʧx{, qsJF翛 Ep/St_-;] 鏁,8)̣wq]HavaYn"ݺ~B;adɪK Ss 3=o$Pju2=m\f0Gsqjܗ!츼 Au+P˫- Y֦ב.[#vq| flG_gLyBZJoW[[U{Ҧ??_ Mn9{bK ۜ l>" 9^qL`򙈙rK떷7.{} H13l JOM]xkJswgYZa328a1efeaeae382a8ff0cdfe4e3be951ba4906e0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 1 Tree_Decomposition