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 ^+| ]/ Paraconsistency:threads=4elapsed=98.096cpu=371.780gc=2.860factor=3.797zXZִF! F]ŗXf[&зV08˼hA>6|Cɤ"Kje[u /,ZK)k5z@VmU٪&~Xi2\ʢ_vU N_<+,W0 &ZrJu,&:= _ҊC3kH_!R2,d{M4ki}:ЫY5gR{bB,J{*N<?~s!V'ɴTT>y-WSkRC{Քs?Ϩa4Kgegs݅Nģ0 jX@3m/u+>WbGŎcww߆-h }{lk$ch]Ǟ{J ӷ̿CDJKPscZbbZ\5w1$]r d?O PCZIc)L%f Ѐd.fDmݾB֓w뺈 ;D0(33[j.Z91`=z2` A~[#KDˉzGd 7@9teHyҲ__7-(S>HyZ]܃':EZS(Up,T@ z\{?vL~TNW1ZApvY-T+)!%N=a|G_C̱p9`"C %V{Hj/LVcw`|guu"0rg"8ł,X{X^a9M + Paraconsistency  W) F̀s:sOiWSiڛ1-fF!Mv%u1v4Z{u8CnCg *V+c52Ӯ!/9u4%Ttp]0h!?\wh}5Wrk\׫7[& Q]71PΤ/c~0ѱ#;SD$wwպ}*ˇlQֿVn=Bdj`ֹjTޏB—i;$jl+{[U'W}: ֠gBx7<R@3P:Iϟ.>ה) Д*zl5۔u;Dԏ'PÝȹE^c;jD-= dV{/\wo6Rn?ovJ#Y`>YFGїv _5U8ΛvP^k$Jq`4vP,YtΆzymŭhdm뤷s~Jmu!CLr4D:AjmtU Sc9WsGt0kOt1 vxlAluF yŹl4i6Eajh,E_'r ڴҚW%ą&ˑ.iQv&_AZ*Y!B@ 8M19td!X|Fi>7!a%\_~%p_"݆/ivn-:Hy}L-HkpXP"?nMޙˡ9YS]_@MQ'B{MF7e}/Mjæ. S)m .p2CEY{ծ$F%a`DC,lwSVD|l^"yvPth|6\L6GHnbفc%$$ 㝵rR=%E@`r"Z.?MCv_zpڄ= ͬ_}tԟ"Pʶkyg-D+[63et_a!Y!I?m7`M6=Cl_IӔq\c jc۵+r=,#Mde_e؃9vVP+ה߈'tH%xpD!ĮaVw[s[' 0wVͱGt !Ƈ$ԐU{DI[`-Dm1=j2mկI8͌eBX4 a̠J-+`ePC ЉM,k;UN&jhdauF˞CU Z\[ϊVeR?4Nn$>dF䀗y&Dq[n_rԳ jl4KI>OyVi]7rrUq 7 qYoXbwi* ȻIH%M 3i%䝽޼ =^#}%e ˦:.j;e*p9:^~[\H`y"UC Nd(!ؽ >eTsŭMVkAb )*f`Xο \Q[J8? NǪ] ՜wBx ,q kZ:e BPF!38HsEO$0 ' 0Xcr'+ԢX1Ȋ{ڷx͵߅N@2Ou0_'Ns {#&ZP\';ݢt)&$ qpyY'l.,V 51<6 Q%gYZfbbe666b9e0867457a4e5a846edeb2ec0cf9eeae87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591