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 D) ,D< ] HOL-TLA-Memory:threads=8elapsed=6.388cpu=27.471gc=0.900factor=4.307zXZִF! N]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE?д-y)}8S><ĖbϞAEK~ Vve!`RoYaݛ۸;_u$_`C#bmn&59R".Jܥ߻d 1 jw"w6`PϊH>[V0gIQBWQ;z\?55JGw+Li5CT0M)r r&(JIgUZoLҦ$_sd rc }/P nr87n; 爮8h#,)%7P'z n59d#bČeR.1"*eVG.KvI7tOxɋ3SH ? A+|rgYZ7zXZִF! !V]ŗXi%>t}o!r4O!ʛr6[5*D3h8_dЋInI9Q$W|qH^r(ž-.3289(ZvM-fnUұٿ?U F+h`lbwnG*X/ad.P^e{Pତ]W 6lH|y,:턃:m9K5~謖c@͜ơ:bRmz :+Ҹ0ŝɤŊy@R[SWq`̠!:q),^Y o[8Ɠ\_i&DK- ⬡a )tS~ ,;`ᓏ`~qo}> a:7s":Djr1ga3$p/qlq/d,yfd4~8Q5cT|h?+G!MXexQjؕAKpkX&fGO08r -c)i՜'(Cɩ{Ypvf40*R߽#J֢!v.G+iBoq;]Xܵ9!"y=G iPk8xJÀwPG5Y#)%6(xm!`Q&kKI\CȧeJlJ}ϹW<´s)Qb,j{A sCA%gYZ8918eca3350148b54775d5caf54f447df07f332dc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 800ca10627086f0f2f144344c4b49299944be699 ) HOL-TLA-Memory