SQLite format 3@ .0:  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 !3 d\ ] Selection_Heap_Sort:threads=4elapsed=6.379cpu=18.384gc=0.496factor=2.887zXZִF! j]ŗXf[&Qz꣸J֯g, s]p,БݔBM)?onq8_3CxLAwk.r^QcJ(ljyR7@y%"8[~4s u)Qu+ ۓ Y&LJs]ǐx7+2x =>tAO9| !m& QIYP: t7ٰcXoDECK!tsYl\ټ+p rtU/,Md0f]Y7XyWtn&(4.7=j=^,jj zJe`g%lZgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj#_@jB4Wft)t+r}AͧÊM%`ߌOv70ْ!o݈l&f|-X?cmod)3È>%wgYZ7zXZִF! 7G]ŗXi%B)٨.sFjɤKwk >CjWħ2|f6-˦BFK/flygTSB"X,CcO?sCPjichgpH 0* MOP+Aa 257ذR|%4yQq(>.}4%ʅh Xc̶CTxGe"rA/Ft ][t9x"͕ [y;fK%ykЙU'Sr{n~ՠbns¸~(g5葐sKE@ohV_>2jȄETVU5*D$##}pA\iM-X #2'B˯nva;[9e'4lO`  cL@n2滙Ttʨ%RqV`K*DXY8dlU3l"p %B]$AํCP6l)9z/h`m(nQm4G Rk`u+D)Lep# u!T 3Bk?. pťj