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  TD< ] Bernoulli:threads=2elapsed=11.044cpu=20.864gc=0.488factor=1.897zXZִF! d]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:?`ྼ7~DDγDg*P8mBGLUV˼K&^#!$a2)<'G$5m;\[0SD;=mkʈLC-y)362italwI3Ǹ&)[b 7{#֋.}K,sW+w/݁;"m* 1rzu5uTz]q] mE5sɵqni^橍)9"i7k>8tԊ'g*,zgYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLgPrsKyT2BAG# `9kc?sѽUY)3߶WH&th)Cҭ{3=Oû :kVũ(cyV`(hҘ ?ܾ=u/رgYZ7zXZִF! H;W]ŗXi%;Cmp\}i ѼMI;ӭYת*TT=kI |ﹱvgQu`5 0/υcٓ,Z?oopThߒ3p x}*h`yf`? +e].w9S!$ -.ХU `Bwe=zʜa٢W}1%}N5ߨI_F':';בkUGւEFf O1P AbeܺD:H^RͳJ҂GWhunJ( 4nh9a&U^3c}qN-%C@S($^>A_fZ突He L2`)+{u׬@+ve$H/_w58AȜTK7UpQtxM.  iPEc6_ZBZ@Js]q1#R-T+SH{'õO -cLfVEOP1G:)s #t#Ͱ^RfO ~ն!}*$`ՎϧL ev!5 Fqzɱ֏,Г ;Xo)Cgz[tI3 7+Ъ|27ɈF;w -g+" 'D7MA%;zꛨOm]5vrGrJ~KoysVh[cΪV\5ڨUbHhD+s`K.|VQ*I,^` .SY,q|Q\LK""yjꭁdX:+=?X/eG4 ֿl=ĈBƘQ*3.F4mk&h[K`rXE8D[((sոZCl{ecLWqqxQIQ ꒡Ч_vU%<։z?[gK ^},$f׊hh|[a$J*a=oTkZPI85qnUc|`{u1Md%:m0D\OC^8ӱgYZc57f76cc96536a0dd09b9b8082af7161d21945a8a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4   Bernoulli