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 z+T| ]/ Paraconsistency:threads=4elapsed=93.284cpu=351.608gc=2.920factor=3.777zXZִF! #]ŗXf[&зV08˼hA>6|Cɤ"Kje[u 0x@esxsYTN>ia[쪟1R~eQBv*rVG4(eک plH&pUh;?F-i`ӕHomY 0IΒݐ12qáps#5Y/5WE[v}*VC1Lec=|+wf @Z0f8 drFхh@؛xK/u5n|Lv$QGAU:yv-]5:2e}=V(jC٫).{O.BU#&f_847>3w0g>@KT}Yd&A1& ;3h֞ڰ-*u3}ޙHYU- YM9o 9 WOUtSq'=jy&{"tA 7WsO2jTf|ʑr(LMc3K*?LwiVu0JZ;]b-@v9 q^Φ\z3&$Qmc\^q~}՛\#p5DXD1D+ia ::i|Z-> v>>_*-Ygm`$Z8S a6WT(gak3ޞ{v{2Ңt8]fbр\8DLat qwq+@FGYhҵۗXO*?G条jބ5[ijm܅ Ѭ^(X^}@ . L |U/ lF,d S&T: dzToiZHM(̞ @ z|HԚP1~|iw:'#dbX&Ymd>uxI>_aqx.t>d9J6XDC65x÷IPYOg 3)fb'ZhA(=Pm8X(b\}7 53^,]<:X T0rq|ܩֱ5mugT š]7Q>o=p ~@d6v_/ϟ<.cn)X{=:k4ܜf鏟!s,qEW10h%'R .t_~­jsǨZs7Vhú hV3z׀l^Hɓu3-u5_4au^>8Zݳ2TYߖ: du?lK)T + Paraconsistency  [E >jaю/%o4VjE1ث~)cyu,y;sNDJ0@; x`SV6Rǽf41VFcGyvEeƦm`tPD<_CjkW%l,)EX08AFiRIn 9\N!g8 RGCh\xP Zι;cf6\X*sW'4wp{fS&r`! R]L+OwhF̢TsC*WO5 !g 6ְwl]PPd~PY0y1hy92.K!=]ڸ97h6Sk 7tSI#XE1wGIuDL!f7=S@Sא ]7lHP"X3Qp*M_{(zIh,  SWQP0q"Sq 嶅(QN^U34‡9ڸOא3HDSql"0K .-R{*Uvz`v%Wtx]KG8ccB:DBez?%n=t\Rԇ,HXa@F0>2az U[ el ԷLok5ǰmiYw OŌm!+zi@F3yzkta.F&׫VLDS:hҽ*·LWl K$`L.\Z䵩w'hfqSWdKH-\ p QǤY(g"b*н(iu vM7G()UHӅȾlQ5h2`kwޢ+39ꊦ7SWӞs/q bysda46Z:Og;ŖXT5r` gT12taJ2Ҷ2]T5 %kx&w-$QRP_ۗaLSb) 2v:sxLňpqn}zð78&8ixZOBXgbDXRݪZzy2!cvPMD`eYrG_'NI5@UE;dxN[hN2'ccd!AYu+ &:pE*w5l]7O':/ tu$&$~W,hYzgNhtyQdy pN;L˛CTG`wf֪($!3ÿ q/罾>]RmrѠu{+`!-剛Jv厜iZヺ;.֛;o%mCDyn!chh]v0nY@:W%OhA9NFjV_UfP%GםVuk՞ nUȭ嫔K#B`e}6N/czgwcEYMN֫葥ieV- Uw緋qciH;lW2X:[=Юx9yiGs9O'!rS6 6룹,h>@C pJGe$8)< OxpIyZ3-3F acq.}{`5bG@0?UQ fD, R4'D%u:5[2Ҍ4ds$IRJ- ˗ܨv߹MA9,0k30_ < sNSQWPk!])/.Nx[uc];I'FŽ %^j ۽ W<;1 oZNHz|TEaEDtu@$e]_ʛ,q] ,T[J;zwnV )^4k&IY"Z+ijO$#?7xDӷb?W&حQbQ; h1㬧Wɸvҍ)OBc& 2R҄oaSGYvXl(j4]KuLPoFrdhUɯ%o[@ -_%X}nSosd_3Sw4U{~8u.k`\Ͽ-_=, rهn5_Th^@敃52ĿsjFe`W-ėdb6]J"{OOyWH G^:I/;+˫hVkՁ.ɏ@`pV\@{Sy4%i2}%EwC5L8Iunٷ`UH lqEL7LW (*%E|`ǪJ3*<6zȓpm86vFtSbT%; 2;̪d рNdqA GO`r4jIRQ(K DPp5No(HuzX巩vxB־Sjӏs4gR/߱7H䝈S6X =1/_6-2X2>sEvb<{.D\"!D4.4km%%rmLՑGHd9H>`0qq=x UnH>@9 :&eTFNID5H t ge@Q&n+GO_JO.oT]0Rs#,o;{̳ 8)CT:SSP#`O dVoV?t`[;7oXX۔4J{rϋ5RSìMiQnmYFi) l v3Դ%Pтd&*ឬ*dSI/BoO}{YgkWlŋ+75j'DrF sl1!~ e|GPH[*KT<nT!ewӶ},o-!HO .P^g 8޴X6:p+p~t?XL0&ct^Sp?q@/})+@xB{gԝ!<⛼Ou J%P8,#0X9{PbZLs!SO0x8Bn2DMd2W/\kqa&XͿ