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  Z Z+l ]/ Paraconsistency:threads=2elapsed=167.050cpu=327.324gc=4.156factor=1.967zXZִF! 0]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>r2uq7΄c窵yI#vgtG3b*`G6S-}Q‹9?v9-ۆ:y1 fMχp:*J{~̌FuŎJy3p-B)@w5LT4!%ȫ ,"'길kiЁi7"iF//9Ae޴oEJtʨx}9_J}(VIPK۩>"۹(k3#5Vݸj:TaǠx1IEhEOڒZy:u>LGA)+B2_BXZ8TJI-vu?Kq J!,$ТFA>,d.#2}-6ROUj󠯺Ձxlt%"z|9Tk0-bZ_ + Paraconsistency  TjNN:?IUde:1 бgYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# RR]Y۬FDu@x?W'v<> bT)K}YZ7zXZִF! 2]ŗXi%;3C1+%Wp̅-$&]FTc}.і8-[YWwc,<% 8Fz6x%RwZ8kGLzU( , Yfa 'n0U7ʻ-Tw6\% GJ!:lH޼i_TGGmFϧ.fxA džfWsx5Sv6d] c|'O&蒔KP07g4:2#pZYo˴}' 'V (~u0=Ub  gEYhGoYQnXU,ܧUEoBš\5L `37ⓥv$?Zd􈡦 GI!1pv۟<.k0ihuC %ВTCՔ} ]j/>d|d)˧9315c0ѻgYǝϡ\8|^X B̪ ZMRZ4~Zr~OL )̾$jeo  ڣ4;zsU?Dxӱy? gO9o:`& ˔'Dg|  ~C佹ѣze"c-}҅zx&1lpzL uo8דU@")l`(c#?9go~7‚̸2ƴ1Q\J2a>v%_$+2MYTzQ`*{j+IAYBXRЃ?bP f˩ BCQ*dLwPAέqC7Եą#4<#62|;3 $_K:M%IYkHmX_3j=*o*Z9m!eqU]RŔc49~ve2C牤hcC8r[K O%6}ƿ"^ A2> BQ0o7?Wt,V0mV@Wp?qjG m2gFhR1T6']n9rGژJ؁J˧{pyz[@i^h2Ib)">SB5!Bbf{r]ሗխR_l7 硐1r_Vo8w[be`W "̋hOLj=PD"_NS˼.ǫGlSLEFi!8^bm3;m_GyԻ;3BɗWm{z#6a@ Knf5%thLRnmk}@6:<,.yr8jQ[\ Ҫg%;Y$ G`~}i]k~yz?䜺I>[R FB}N-auiƪ嫐P47gJ47#7gOğ~x!Yj~QnLڡP7IHq{vu,5.'8Χqf|/\|=:8_M$'@x_:tE#!Ǻ` P-V25/t.!"K[yBss(.!d-ƃfVʌ'a,Mv;w }3^J>O(\¡a!HtAm̍OK95Ph=^%a(Jm%I|y rwF(B$Y޴)"J ڲ ePPR/N灦##YQxС*b٦9E$h*|")뜩-laͼGfU-5GSokIl-vNWԢyh6p$AvAN4id>c85Zτ ^ht S>fNܩӔP[|e$ Ǯ>o>gڏӅfX9|XEXٱBm>ЄN,potIHѣ>O7!CBJ4[V[H)bC~JRI M6&b5,vԅ@Dbk"q OAVɘ`SO.#> +c2 ΅؅W%N^2:3{n=aB昳G շHIȯDxEl{3аsJmC6a\--b߱: 9I +<{\>M-r*?LPvb]#:ZSl@w#sJe?{UEQv0gt ivW,n[ܤ)+ƓƤYq?WY?SD,^NJ| +QL~w(m_mGT.g8y4% gصr|Held^r/'W s1oG|X-[ϱ@ <7~rNZ-]kl W$nDž-Px41snf[.q`? !HjMD (B1~SC^x"f{Fzu8az)K#{/ZH9D^|4XLP_-xt|'Ve:S"?:DJ+ r]yFؔm6@IC` &9Շ},1Sň5$ WѼ=jCO^.i.؄'sxzX&JSU{^PȀ2^^JuZ8[*ylEԗ`+ldd'OAU P~|E\- bW ?Z/5JߜJhl8a f-K{=~OA 7lS2S.!νܧ?<bo甭蓛6S=[٩ LOؑ*>٬m׿&j+6.!3X`")l|/A'"!/= }jYer+b[r?}$S7Y{qv焌Z~N_-j;){rw=!1dY>Jubq̸#bvl{b!l~*+e xUz $3SMr6m#Dnd^f|s ="nS)s)˴W\x%dfe~T)Irr-dH,_l+6}>DXG3I㻄Q Vb)'͸ ]@QweM*>TUIw1`r~?4= nu:@_=/ lhnΤ+32rň-l,أDXےOsAU+򤒯'=N䆝?ovO Nn.##^VLXo, 4z+`& ᓣbx7pGd=dqz\7JdG*֛? a ]wi;yS懴,=:@e T5Ԃ) Y{78ewoV"*i Ű"LeRq1{MP1Y*ov~R6{Қ&ET+. ^ʙrK]j樠mhcD"h+Uj^]Ah'Tdv|(#C>EPp- mWEf|QID(bpwrIa:'zF<%+ղ/ M<3K95LJ4S"RdUQEڔC/ΔJƝy3+S"]L nWl\eIO雧\ܸpwOP~:a݄nCћR@mw(Bjd+>*Y`q^bdKEW?njamZxGpY C~2UEYJջ55XѢaQiOLbVIDG;>?ԚxsiVv؈jhw#i]^EފyB sY2{j!"6R>gD2AQ\t)6bFtK@&8QgS өҝ0KJN'˔ѲI%Vq\ڦyӚ P8@4̫ 5{ZEKCDL>d$jZ4*}pyJtՐC"ӃD*}i8M4s /< k/z U ed [S X̨THIuv!6׀ye2@ _@Ik^6=. 9~ 6NWp-C%tE4pj*`1Dvx+>xۚ 븱knbAB!*oh>-/ 't`S4S-/j ?1*R84qzк =hܾ~Z&,qz!O7΅j1;Ϳq\ :jl5x`{M7]!4rJk8d=R,r0XwާcO +*]pʪRɹJnF^8kŕYc(u@+˨EҎГzW@e\DPk-o?vW[G,hv0$&) Al1>2ng;54E4[4 NKsS+HA2d5Wݪ>#kLܢ҆JH뼃~ #{1+p%3R[0^6LT; GsmISMd8t O PBScC :@CQ!MUf?8&0(Z`5m7ĵt3RQ9Qэvo= D gYZa95d703774b1621917481bafd19bf0fbef7ba3d6665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee