SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   p; | ]]Stone_Relation_Algebras:threads=2elapsed=59.627cpu=99.664gc=3.200factor=1.677zXZִF! :]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQS'u'H#b LvIz&,X0eW4Rۉt<a~>?毄cʧk>^ Ŷfv!^K(Psb3['RsFBs 8^} aC|>#4+otVRCF,7o hu|y}[EmV2 R?V}Ux#*]y;6Zȣ 1;mC2AhA@@1Գ}nXǃf%՝;nC?ɃP?pK)6GʳH2 {ĘYKDS) .Ζ$~8TYϵio߭"&OYbio{|2vMиwiϺvsUW]l{E=yT%+(˶Wi"aQ2̈}QGZbHRWc8̿hlcyK#$8,\sZK^P"s@hT= ; Stone_Relation_Algebras |'XW2]Y.obR t-m 0Qc_!.$;rSX(q}5}$ r;'= ϘnMr߄ xc&ex,AÀ9>i0sÍNkZNm$r@ \5I, .H&kENJoK HQ3MF1VKboٍYH(bt~U,^6^ n\7鶷 ЕFFzd=& ʸtͻ!`!>bF#l(W^AVӴlϩatC.hUu>`!aʌΪ0,di@V?1A t}RgYZ7zXZִF! ! u]ŗXi%6.=O|J5Hg[Iu@6<m2>3ae_֢ 5 tMU__ĩIo]@sEQtOv/@RS @/݁a ȓ$AQ?>;Ym? R06@xh"m t4C`ӷL ~.J-H/bCVx7:r _v "]B"+鲚Lko฿q=cήc6'FcG5=ƙaRw_3%`5>7m,drR-crk`eD߸±\hI)׋=C5`yzGZ7(,iW{wuz)j"ĸ~M4sL8 ]@ԢˎTf'QI#ö K;1hz 8k8EX?,ے[HP,ͥGN+8+=[hy7c6޴O;Q4T;Xnj"t7f_I]Ik2F\\gvuRg. vDh٥p|bQnnw#@SϝK. %+̮뜁~-$tG~9I \#1huڎƛ8 E3FSɶ Hϒ-*~ i;P DpkJ(bXy #j2eTewOf/.a&_OYMUh8Diyk\ƻi"0SS#Q8ĤѮ^z`3PaV - mB ["8,ͷ+?%ʵ!?ҦU^Dq1<,M6&o%k|'[%:-+pBeTc翀.Wpbfsy.ۏ貾WZ+O췡X^@(=]t>O~ƌE$2nV&j> s\(p 0'kPa!6ޛNCFl:o*mrNͩ b'oP4jLKrq=^ wup"ag)5ы箪ABnY7X֝ϜiHlyS쩍~/4&S视 ぇ8dsQ6M%K9Lq |3i^FZ@8ł~gKf0:ýFXHQ4$iI/%\}:DSy=M޴mX҃NX1#C1'd{-8:KRdɚb މ*^hGN*.[D!q{Tr s Q?T[pVqs] Gy޻@ @CMϱ/ M@\Hqv*q=/G!Tr1oynGY/3,LEoPhتAbXUAPndP-\MF#\6 N~ ѶNGr9y8";bT.G0vokH{] ^=qx`*(DvYY G7N;24H(K"\-HV#|\c d9 ezDTC=?i75U3{qÖ㊌ =Z9eI E@%[vb$-Qv1?\w6h:Թz^SjXq/Δ=naR1 j&` 0l+ k"炊^\܄?Odtŀ C1Uήb[ FǺ,_F|*|FEglyd|cC[|`"b1r Plknqmƌ#fQDzլ (f?ƞB 16,ºL4]?Ŷ˖[-(L5f a.POz2.e&<n`AT"ڰt>V1YWGhe/;x՛-8H:TZmf1R/w-JlkVmϱ-@+ij cqZ<鬸xu.-e a3m`jE7iyײl}Г|A RPx c ǧU1Nub  Ktv#b9+ltO#$D" ⷓHx-D3:-{կ;bG!i)504cم>*(Kj- >uUneN Pjr@kEYn/PhRkMO8Nʛj&EߊvK*=>H@bh1p{ k2"cu V1"ݦdq7&[$dWnr^2q,t mQ]oQ0/0\m%USJEôqoiP .*N?Es>*#4i}#lZ3 _c;%N8@0i!]h8YcEE* OY:!ʩzDrxDJlNOAA*E\yy:Ʒ;m>Ե# ->'?e%,ܸa 2NB0:5^,q52RT*<;* i&K1͑q+uqk\{kl!YuTbbbrb?կ,41w-+%`B9jạ{B[v* 1JB 7[k0FGG`1<ve\2tmc0~M~C{(B m\!G:;?rU~ ΃X"=NTb 4-*a$ e/j\O σz.#b?Cե%E0۱gYZf0c47778815c35540435a73779c374f9a0d871a90a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 a8afa5c8f246d18efd8309ed053569c51925849f4df246919331e72fe8160b2e00a6e52fdafe5c09