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   _- L,d ] HOL-SET_Protocol:threads=2elapsed=56.967cpu=96.156gc=3.000factor=1.697zXZִF! *R]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxad {wNHE8ٚKz);l1F) i̋3it^,QvC}(!r7OƆ)P/yq?lׁ*M%Ӛ2,'>,4Pu%|Lz8Pb:<#JGƗ[ҚT)9£$HďZ0 _iRENidlz.$3-J EQY*uZS(wR]RPI8fvDz4=l+!dlr7B(gwKؗ)^qyI4iO<.o4;, M%C4yP9g&Id,˯H,de"|!QropaS72/4] K(mbA]+鼔>) 5Hyʣ&gCV|AEz(|͋o0q,&b"f[#o6~fa"[g_h&>5zS\>1֤=gKpE̛. _]vi ~``J1j~ʄ<;AQ8a@>uc0+ٵ}(CYGx& &B ?Ⱦw|6J?Fzw\D !^~{ w[[-,xdUJr w˳HTмgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx ZdX?Ev4q+# WQ 9|42k)y!]T[,68&*O5SU(ehS)` #@-g'' ~L,q QG8w.`eT-I&~L$s(4R1קZz6~yxF6gYZ7zXZִF!  i]ŗXi%;K܉4^Q\`dH6V+u ARBfn$$;sbȉ덅y&vjTf((0jym^ͻȿr砑9)~R!Rrv i?u?e'ʿ4'+"+5b} ¾Ov4>wQw<>Nd>#WoFx! G&FvB}F?jEH8?R|C_D'(tjDo-i@%x1u0ӫY xs0IAt}U: pe}\ I$ջ,t>$[1'D~&70/Vb Lͯf>d$ $>s4h&SN BvMa^TբvK5hש)Q;%Β AR!3+XrVyD=:3Kc-niNvU+ nK7ɷv L\l) y,;q'9S@'ؓύRoTAPlF|FA~ fy-gw cȦFBo"2#1kzٳ1 3!헺V^j&Ѫ"ڕQ?))Hψvk"-& ^; TxLŗ/NDAZQzK*86|B&bgюXrD9[ $,T fJʁD[| A_#eo}bb7 4\㡅%ѝ9'=OT_0yߝPe=$>8SkapvПMQ0ơe 8/Oh ,v oyC~: WYa\ؚ{{ !_Wwf\w@ evVyOD  UX9SrId rp`"1cI\A~Y_px$dc+os _eEPIO|XpXms'Kqxtߟ[,\(},e$plpr85f Eb1 Ihri߲o W`nߡ2O<݁¡k@{SaFs"沿=4WhL 'See!TA\(8pXlQpZ{tC`ڎBOYnjR2'2*ILP$\#pWZcxVq_RY)31J>8=џ&|Y y~| `C԰տodNKpj8*V)MW+:Qço~CU2ֳ\::e )GFwRdsO~eGvSHv 5Bޑ (Ӟ<ŚoC~l&"ٌ/|&6s@>e٣8ɜ T=`]dH-!AZԙ0.K?r+EHϙU@leux7OӍ>@?w{ܞ0܅x~LuO6jb "L`=∀F& B]hfœOQ*k*@3w;1Ot!35I uنߖ@E[ss- ;u3];"AԺRM&Zڶ.$%M06w_[BT$wLq;lFl2i=_F-Q"mIiKO{4iX**5#}+e) m2ph8Qm3Y: 4qxIŦX=.Keϧ'8܇7m2K|Y$t2ڛF'a\fSK̄p|0NjU2-ȟ[QUU7܄ay9XLK\GNMoHyDh*0'Y}7l1=J7Q| !Rqxm./0`䷒6DyҤ!x_=ׇS,Jg.ÛcvwkwAq!sC, 76R֓CJvTJ%\p8Vy~w7@ p-"יM<+1,~  C?gf?U d$eºSԘ-WxP+,#!2~ MhA+BJ;,a˙(V=>]xm; [m'4[fmIkoMc]Ħl a*^h[Mscvjq0T"L괊|D Bl)14tv N_ Nk6[s(Փ\/L[;3/*f4u}d+zED ,cr\1qсGL.GftGmgF^vf_XU]Xq)ITũ3n X˿6h[m/7*9%Z_=xCYt_WD