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  5t,t ]/ ArrowImpossibilityGS:threads=2elapsed=5.325cpu=9.940gc=0.484factor=1.877zXZִF! x]ŗXf[&+= C5 8:~\:Cş/BǰHrj4㨌| ; ЭSsz癯o?1+]1 NkRhgYZ7zXZִF! ?]ŗXiɟI]gQDV\"-Y_` N)]V6r2d+zC,S.98K\<&'ƿq8^[JLLZR%C<H+$_ $2eA+L{3gYZ7zXZִF! (]ŗXi%>gc]+\x@,U @H1–kL>9 Qji8 J qzeq אA:\ly擮Go'ԳtP(9} 0@l]5njZ@"T6Ô)+N`投ƠZzh>-LN,sYiJ5Bo  8>t RIluj+LPA8if5`<(% -Ӆ@,Hf mCkʉΊy@dk)5sc*HNQezي9 xQ*"@j`OeíپX$Kj 6>_;vP֍xd躨J@@q%NPCjPk$Rg{I1Y5銻LMA^<:zYj}I>1vY$%5+Jx0yP6K0o;iXʓz e RxikR$a-}+]ne6c\`f5u:}+8|IgxI,8bk#$cmuD"z\\&ެ0R.W@a{*R*n!2`>,& :L ЇlFD]l!n'dxOudf~(ml=L4S0 (OթKUQ0!gYZdb865bd1380ae3a0e971b49097735330492aa10d0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 5 ArrowImpossibilityGS