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 b $t< ]]]ZF:threads=6elapsed=12.497cpu=44.948gc=2.744factor=3.607zXZִF!  ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tww248[.ᵝgɬ:F]=1K_H5wआ'USNѣV@vx֡dnΥ^fgyl>n$6>:\n?qnםsVeDd!!-(۵h^%=]G Vxk{33`yHic`/Fl| d6 ma4⽕~n -S'#uȿ3M&s>e?[Q6PRF/_WV N2rs^D|THPQ߽ɖf>^fApc!5GҰkkrlX8vA_SmSDŽ}y Kz7ɜ\̓ ۃKV D~d3bWHՖdANQ/7;#bG&@kL<'\z!ʋv*bD~1^ )/Q2Va#/5gYZ7zXZִF! 2]ŗXiɟ 1FE`穱JJW,qfsGǬQ.naGS5jVBv@[ߺ5?,6%*LLJT%JXE" ITrI5q]YރFJ@y`M9P5HQL(6.gҕ׵"¾T-=I>XF,REL]p1O+0W} a8eXwΈ ~D,w{x*sasQ~>E[/c}T xtuB_Bm#=; L@M?`}gYZ7zXZִF! >]ŗXi%> z)G/L =EY.W>"fA` VT(_ G^J١btќ/P0зH旬q毰ڗnkdSt T7B`<ˏtxhyV*"r'8[VuM͒tz/!4q>vW2#\K V P`هwX/:R*s& h%77PSw?+~CJCi0}%r'ւXdRKwg Qrf6Ѝj}exa^O_lZy)$zxhH|2l& O9e!3ZEqupB} &$?Ju8s:õ +Nz夸YҐ|dgtV IX_|k~d‹o)m 3b/0gJnHKUr=_M.)g0Td}Mrm{E q56^T]Jk42O23Wkqr 9juʑ2(#W6:,.R2vM4uWX+Ävx $2uyר\(^5.ؠdDh6r|UDK6NhD2I ㎸cOl@)e;g]b̀r}i$X6> 7hA8X[WOZL?6e9HUheTiETôcBٰB-`r7y}j5eUDRog]7Gz4MְݎѮ5!eQǯxr+-օ "<%/AħzĈ0"ʀ}|5)Dy"V Y PGɒ%Y}}3ޕl*Ɯ'sqFf9.|OAmؗK5W@ <Z8^X.]]eJ `<ѡ0x/Ze)"3p¿e$'hjes5ZtA@Оftjj^cldf7AMX.hNw`?iqٺρECr ڂ;Pk!uX=$*i=RSIq5 `dž+1R-r Ͼ }@HgYZcff596af7334bee1ea1140a43f8a20bcbbe9df7d266222d5d4fd615b66222b5c76e21b7ffca335d8320ed67a0c9c46256532bf36469f2f566d8f4fe0  ZF