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  ) 4t ] HOL-TLA-Memory:threads=2elapsed=13.198cpu=22.984gc=0.660factor=1.747zXZִF! S]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEx__d?VKXjBW6Z BcLkHAY}3}0d)/S!A @LeekljOd (& )#ߡ9d=]"9|+ -Rw)Y b {s:A=xK0m*Q%tQ-hkS%# H}8 fw7&+$ ɆS ")XEDhX,_O4a`4BP6iNY8 "Pd"B )}G W|^@G41VX bU*=PtҽQ ϠN<^xT%VWEDEKZ{BB]c?8$)D.L55*kݿ vܭn&ԱgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWf {/Ј ~"]QI<;@0WDO36S/ҥUj!`q>x¬dfHBEւirV\EPXUTJ~ڇ= ʺ=T퐠޻cMԎ5;e-p4j0x gYZ7zXZִF! @q]ŗXi%;LED{'qA_7;[ّ`\;3썀8H%7CrF&pd jv ڹʚ'f4h\~K˓ۆsT7]л)-A? 4I =<GqB4Sb~!Jjslݛg/LAEl? J6[e['@`ZAN\->i@Vc)_!/):W R>2(}g5}&"= w4 r4EXBIN)u2jܯc|30yJ|fI3\Dy[ tF0+mD鳂Ƴ"/եZ)644ʇnp!O>%&]osLú(;",:.T(u-ZwX0-B6r&:OH1eXJRLF)p)ޫ@M