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 M t|d ] IOA:threads=6elapsed=7.285cpu=32.356gc=1.360factor=4.447zXZִF! \]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K E3/"+YRפ_LWb+GlxA@]+[Il-B?Z]$Bo5`,h ^9<~@uV֛9}zn[H݈(Aa7x}#3`#Cןyu.x&4Քd杛m@&~T@pF+ ⠈FIFҝcyaͧ wr8hB]}wkvʡ,zH`Z *gQwh6V f9Gkɝvβ6r(dC3]7bTbik^_^uRb(چ'UVV,xvZ T.`Z.! #~5aCpK!qʙH$=.OE9=2\>N,jB0ҭCuLl}H \a_gYZ7zXZִF! `u]ŗXiɟdN'LvH۹)s}%Me&Z!Amh ̨. (T{Ar4BÃۤ9qO0,~x|ޥWӖUkv{TCng(-!^yhMXIxC+x%'w̉|ڶ"DJU|WzjQzY7"΋ؽ=xot<|Lu"`o `ț1gYZ7zXZִF! )*]ŗXi%G\#.Hw21زEp0N,q(\CC?<mb4 _M^-Dq1h9Jt&89 .;s68jpG'"Nuk#ad,̣A7=N$[ep(gi *S^Q(,:ۧL6}Fz} ~[  $U;F{/ !GUTyαBNg2M59Ěgoݙ}v[yyzbh!}5w}/ F(KÞ٥MF¾356FտH-v@+4O 2NGS`]/2jI<*r Y`dl4P.DݣlUH~E:tžv$ t<_) լ+c'x v;w˫jvC }9 26HCc)F@Af؏ߎ@ Y*WɐbvgWN&RAJk 䉔(6"3֫U&\`/ 0XP/wG=N!ꤌ>G]7Ct$lz)WpU5+#-։S4Tcx6$@kEXIKf2Ò`RT5;M~P 4)ԧFʢm埩Mv]"(R\pZ̿ A8e`B{qwޟӫ{ [Z{@v%U4jbn8O6sR{+Sԗ1r"~Q9Ԙ//*˰.'>;/UMQJWhfK^UI866.##rV!Ap?ZE'3ecezw>W{~Ɖ˂p:,+3 ;sBs>;.SCH gYZf502382547d7ca6d4dd5b7cd2da4888a39402a8550c1749019ca8e9ffc93963cc99307460c2e0e80 52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f 48c4a92898b88e0943640311a4c87d5f0b41daa7  IOA