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   l/6I}?,L-CN2ċ^*fҞ\s؄gU6UCK,DŽ]lŒƶ4|Vȉ̛+- ZԻ7 gylfʐVP"hrggMdi24SxkyQ\%3:͝AsM20 g^&aDY'JX|sx߇!䈐j#䨙.[tL0*?k Cr'of2 G(^g$ 8i?="O| 0ˡRqL ^5[v%uBA&X8/ܐ@L _ws[Ɋ brc V]θRV˝V9DwR?Qz&l xndVrp.Por*U3} {?ځIpkZWc$};٫2SOCW;ܾ̆YY23dH\tV}OAQ6O+׳\S8S't!",EH.@ʁHb/vF TAMU%8[]o0てIB#H U%麁x`0~彊бgYZ7zXZִF! (-]ŗXi%ES3kJ 5NҜDh%(ޝSLzqmݫRHOlQ΀c"5"5s*T )O.("qknMpd.CΆ\{!{.lrcmN4.Wvj|@ tzT+a0D |&h96WJ,-b-jcȓGͬqM/3B )J-ucW誢 /ꑕ[*UU/.V-3řegi n,?KغF =( 9bk QX<;_lCM smuP0v#<> 捸u h57Sl:@LDI7ԭ_SX+m9nT+y:&Lni|"<1ExSp3F1T(eA[cL;>g R1bj>' r->37 6T bX{,E9.y Imcߡ|WjG]'sf"v_l?LZZW" +Xu&4b8_]ִ;'37UAN\8hOkԻʠKZzaX]M}GxF vʢr!q -^0guoUY6?b ߈"u1z`H,PvX)Ъ~G"2;lcN(S'd^;Ǟ,7>a]*7pDX(Z@s R+ܱ~. 93{΁}$|U3;OXgwIq ^deQԣJK?\M\nRnUgu#AfCH,=,fq##ֺԷx/`_z#|PL-" }ȭ&Shˆ)Ou}V 化w@alpJ(La{iE0UW@k"Ov63ꮴbĝCBY1icuPI\u>_z@)|(b$ޏ}C,&w6;\'7 ܥE:%?`1 Z79@^ts1 W cSvq+.1lp@H^SqVc0~D\d;tӷ~4e/.ea cg];(ޗ.Kdٮ0-"֊-B֙<~y;PttEZpFRϑd)jㅱ ' 23=~|W΋C>WT| q-8nPlwk2<$ŅtDXZ nw+9h1dÝ->ʝc)D0Me; _xUS yO/'J`}}Rx5**Wfp(6nB+V)l/ĭ́]Mr{Hql'*GTR q҄_џ\em#.-J2$6feU`c}O[\1Ix0,Exag~VQ i7@Z F|=B{Óorİʷ :`<ǠH|}9m8.}?'=йӉLݍ@7PD?l޸|DDED=DH}$ mdnYDܡy^98{zs ׌Y wȬRq%˔Þb2IH cd^)$%lρ!PԢ EqHl1Y8 =g}^h,eCG݌@G)v0ޔ[Na]"&@蜡+-.'ujn?m;p0L8HÖh/jӺ3k~bJ Q<& jҲɆ : (@n/[Hv70^YWvwfˬkxmR}{4ÎoCLTD$CsydžE:SIͿ)^F4)(-e[̦4'Ep+|S)~J~b(h=*[|Aqד[ibF cJ4( ]v`lTK'Q6M0EX/y- K>1[K؏)1 UL8bϑyT( }4_LkNJ9UɄ ɬ$>)F>֛O =Nn b{#~⵻")+;q[@և%2Xߚ*>YpHe"tgl1̒EB(FR_߭Of5m &>qcY V\ %bs+'Ɉѡ]AGQraGؔ|*iۻ+fVe=x:v3V3RDx$ zjWGm&>_ HB\|qka5T=:dlAЂ@쌰OeE %8oD ?p(/'R8a0znz]f1;n-Hu5Eʄ ÙDͥ \=X(}< 㴛[=Pu /hhH=tu2ntUReqofaߊ^[/S"q*9 38%Yowf7G^ ExK}+7g9m gE|Dd~|4 o;T~8Hl(KUocn5F]a|,| kBi40V:dyE< $OGdՋ"<JKsI|+/j icf_%!k{i,T[!wcW26}s^sunA`;X~~+H %ydOMn rapr,~.$u;71*JӖPZaҋI+1fMIFE&=;7':S&TqʚT8olе(l1&BcSd>-sُc@|Sy86#x9%~J9 rFg\#J[i{螆e(\xCObwj!#CDo!L* sgYZc6f7e5f7859e8edbb4757c78118b3c8afa8ae8660ca3541890e85917e61d4eb1b72fb2facda5c940 db2c1e10aba6e110fb68ebc5302ca3c8df933241