SQLite format 3@ . BBh77otableisabelle_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 k+4| ]/ Paraconsistency:threads=2elapsed=155.007cpu=303.352gc=3.364factor=1.967zXZִF! ]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>q/j]$7 F$0fo+ϔ#-etQƾ\-*:09үA-vC[A6SuUPYLXH!@GmP29g1W!'чKjGW8~%$J%$% ۄ>Yxmpr5PPih=Șז*L"c'W#88 ܭyQUmV6˜OHb -[ + Paraconsistency:&^7=b^@.F\CLFhb:lF&Eeztc5$> #~v>۫wi@ }&:I>[Y8n}?XF׸t}2w L/߈xUt[7.hgYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# RR`oB1۬EnU C삟fO+` bT)K}YZ7zXZִF! 3w]ŗXi%92Q _=9Vg_We/Mk[)d3ˍ*@BM+ZoVuL!Y2+V0>{N#jwU!JaKmD)lVgV# qUu <"j`" Y .[e͊u_zL-6}׀3ؙQJYl&*?80l0 H^4yQUrL*5BVֲdG7Zg'Dpbc CDe8]mnn/b,'~ʹrU 0^Ҋytɞ =|7.ElniF]!xYre/ n jT3o[ 8yZEDDf&mnXp*=niVR>b6VjxCv6 |A9oqPyTp "8"E@%T+)sOKlQtS 䍞$)GV$P|>urbd*&r qصXru`#HW cZO./x2C&OxSAy)=y^z~dyd"'iÀ3FXPi*# ]>UtdG@nivo4jN<Ymf$^)_g|uU_>ٹߙTk-r7!5cuG:xθ>WLJЊa1b~miRVP>a3% bt7W~n{㜥0BPI5>=zDb\Rr,BCZ֔wyUWQЃ 7%0{`됞.eJwrC7UjV5x~7U"4/:TA `Nl`WlO5 "S!l塸Lu:4t3g(]n7m|X|4_|$9݌| y GW1ѯ<&3ƅ3kpؠZmr\Ձ8,K aN7U1gv35뺴qdH KWTY%NhD_g7EJ0&?~ǭPC냝 ~֝i=rYvX,.*WI^ m8; We2氄yw~dQ/K|wo_,5(H;HpyL?ivd?oW֢gp?$+g$zKSSJKj 9pAVݺzn0U/c"aOV kp.oo BX"ItD jxK zɿJݝE]9d\@9ϱ\t0UzirN{N+Cgmj"p{oQ)>Jz@/[04AMI밙tUxB,$Mmܷ,<|+$F^ u]Sm"<텺яPG X""tڋ<!ẅ#<(e,ՆVj{| "H-FK3 %)"E&9*f8daĩ?AZMWoo56 f|Q_,R#ZSщ8JW H YZ_"k\V}):,r2QPfG:+rZ5';l'GGO% q,WP(lڛxI *bWI#82?pDgm;?>E h UMmA, a:K%,c_h>*fc/ )55MbiO57fɠN/ n6a& ̴ۆ$3>`^eT:oDUU5_GeO h![(C[#I`&q6jhΔk\rb +we/DA[m ܍+[dʺޡ.!`y(U9{}70\D\ j{ z'p5ܴ]ތHtzaK4t݅Ն̍Nm<ᬅB6KM`8o?I@wxl!o# 5d6@wq<ق]ϕrfX?1l+w9E=Oc bĺhƶSQz<Ff S<%,͏US+Zῦt=B9#|B+R`x` tvn9\)GXw ԕun"E[7F~>ސqg?.Bᥦm~iv'e Bfܖu08/x'EPlՂB#UܭP:b!rKWPK!9j$Fw];=E\gPQ %,hdҬyPjmna)+$I[ơ-Gvbz^/YNB[rЂ < Z ()噮ooUTư=9cBR{wͧݤ 9%PBL/JL8GLv]%Vvx vEaӜ!kg biȍvn.)N}4c^U[7CDNW@JYu<$Aeo7u +:`bMO6eΫ)U^&Ð| ;="!jHiLjw^C(2X:LV+K7P6.&S;B͇("ocjoN.*а͡ _%EƷU=#kZeR.ic[q盘9DH50RCek)ǥn)0W.׫xR5gS6c#ٽ]?h??[<^e(,lԯ9j$r;4AƔ+@B؎R(Y:MڨoIat7rwk4}?͓`)o mz#\& y3,g f!a [iHe>Ev_CW^ѺʒH:< GkǮe*L4i( Fs|L/D\\!"ɱ£9Z@. HoJRAMqr jna1D²Sw"ǖcd`'[դYȐ`ڲ0(˫LdvQ5WEgO9nOZzbD{Vtޙn_bI[BMhнh*9;ϼիe0)9,,)wJ1L\?Euc>}$&ۄ`Lqa3.JMN 9ӾoF/ޞ_ ӭtn ʰʡur@[Yfϩ>SFqUr[zM7lRt6ޞsňV j]߭Nm>LڎPC׈PDksfUYTo-*tA8R' o&X zĉ Cp "3L_'-m͸1~QXFP4D0h G'W=4ٽɹvn^8 z8UeYg*jh%揼)EI@GprmVTHPb5V2;pOhN-3M zL(D=-q ꖱUXz߹L#Q]4h[3Qo;6q*i7KYDؿ];ޑ?Lh+qe:I,T(3k@_Jg*ttCg`Z0*2\bxxRVf:N/VD<7a?etـ_ ~Z_R Cb>1%mݔ@ }i5XZJ.1ꂧ. 76y Vvo7\F!>uR}n%C)WCm QV"E^x0 q/bp*P{(iDP0954gEr@%F7:*a\P#+knU2)F=k7uMdb>Lӽ*Հgz͂0.8ŊU鸄}Co8߯ On-yRa?u+IP:eΏ>nZ?g%,([餦e-r.(A d-~H}݈ }|&O:'JX WY4OX0GS GN;X1r*jVR5Z7'V+904lc˾!h N1B6m87_]C\PhB51I<<쑪q]QŋG6YFSЉONg9 gYZd0593187611b67dc02b3928b7c6a578882465516f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0