SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 DD97 |$D ]% Transformer_Semantics:threads=4elapsed=7.937cpu=26.820gc=0.824factor=3.387zXZִF! ]ŗXf[&}=AL-3jtNc9jVq&(]x C,kX\ RDܭTPDO&)ǐ;:?5a'8ZcRDTYvKR}mҥvP2ϑ$PxVr$)Anbf%A5aUg9LÆ)c2gYZ7zXZִF! 8]ŗXiɟlΈA-̅(G]9c YA}xzL_0Z32AUkOek4rسs܅>@OS{^5ugʬg-oAAyR#0C{77윐Ts3k3(K:cfGa< aL%:GﴁZc7=`I((bVt>HrqoNQcgYZ7zXZִF! C]ŗXi%B !"P7s[f g`F }snrR/+<. XN\,TR9;g ;X4+YLY./%( R!Q2](rNlךRTow[-=&/1ڸMlP# A9߄߰1rt^iwj@`,<~g4ޗ}H?Y"y zBh)Fb7FGȥQN=F5sowЗ Ýܤ ?cr T~yWKO |96@JHGױVq"N$DF(ۂ\Cu,5- l'Y^WjRBui겑QFOlgLd!J;X-ڋ _{dV0wB;Lel*RsFյI{ 顇5;;ex5e%fprXLj•w$q.Sq|29R7l" a͵pL4u+ƴd"#+DK478?^L"d7'd9- W+y9MaZ಑jBUf5ݷ ,iNva':t1oCSE%O`);w.a_l][ἄvNvo[`,?}$\z+')#:bƾx3<ׂyeXI{loz E"B[Wzc@4IdRuGD>=7LBl-4Bh_#4oP_\sD_Lm8n%\,ˈ!VH0_ʈ?DcmKXr.GIJtJ¨iXow hߜ(XfĻ6ӮѶG#CIiޚ#碁8R~\ N~s$j䘒+ŤIa-b ױB hB 3ooKwtr_RK"hacϚɚ0ӄD5df&RnXD#/toegH7<ɑq)7[3cڪd!|ll<&]t͛[1)#v"^$3G~cm%Vno j釗