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 <? \TT ] Program-Conflict-Analysis:threads=2elapsed=27.880cpu=52.592gc=2.304factor=1.897zXZִF! &]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUی-ɥz5Md2[<'˴C5OR6 ցm7h;x'Ko U;codV`$€e1> 3Qs7:hzz]^ry:μG/Mt܊D9޻J'N3l[|Ӎ[B5Y[Pʼ7)9XߊEx^ҧ&rued1ej`)>={73p)+ÀG,5(M.%>AtSTlGс,&K~D8^:0[!pCTv=okNjBς@~_K' \Z`YAyTJS2ȯ2cIFm /6B_x\\gqTJ=}LjIRA0hyAK2}:mq1yG;Q3Nw`7)=}wߟ.{oq@\A(0TG}CyOvxT}Ȟyäu@-_%ljz V1 ` A}Fn:rn7a;r-Lݏ#V#{Xg·Hg>(4tTX^_g$. u Z akA((ծ%Oը̀ț,f;=gYZ7zXZִF! $]ŗXiɟ˕A;[] VmTi{RM9%L8uO]!=sq Ŏˈy8 %j̽X2 e. (d'> L*sǪP|ܲ:lVt"l˭Weww.vkպ ?[CGe%NqTnmgBn@19A"pLdC6kyY`!/۾9V}+^.u2'gcdSN,LN*^ oIYցZZ;M| 0 &AkgYZ7zXZִF! #]ŗXi%;36`y;9h{&M15wwuU;ƒ X]+aHI:[~\Dae[΍g;"Ao[X{߭k0~l`+OOs+ECe Zڭbm;LVs*B8P^\*~ H 5e=Mv\|:BOCBFGuR6D>:  =Z.f0d y;(aD"{ӄg谠[iy5 6fO5u0zgİtَ:6/(OuNEA*gۍm$@(`Yc|t\Jtpq1գ܏J[jRYHV|(љGIZgҸrcu,z m(~%RY^-[^%tuÓK.d[uh@B+Ͻ~-2pHHGP Ҽsjz;p-M[Qz7=i4:~aսHO&Y5m/2 e 6C(O T0uQ   1fv\r2($7l0F(kw49/Κ9\Px`k87z-|$,2f2ZؽXϣ"LBZy#TH5Qbp7OAz̟V4V Jh4J1^.ɮN:ga R\@(#}yMSdpTv^͒Jy%8՗UqNUVLS4Aݕ#ѥ,Ms^`UlYtWigb b{q4~HiEl zHQž3NP0Om/teP*N&H.]=!HJ?f+ >!tbc!o- " ˦OR*h&][BX؇A `DAm $bE.BU-=~"@kѲ#(TPwbxrPց1iI/־: en|ΛRZ( +v ΠPMY 6KrVgQxPZX@&o58l(q)U>>F?a~+,Je/`$X@b?h~r7-KH::ZzK^5qXB;~reu,VZ=2G8Z!]lzNeڨo9`eL ,e&6F&yz}+'v~o׸F<AħqdקjN