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   `-,4 +% Tarskis_Geometry:threads=2elapsed=60.674cpu=102.492gc=3.756factor=1.697zXZִF! *]ŗXf1-q恈\T,rBV$--O:1XlҿuzVOHRS)QCtcPiGW!X" \FЋ~BRZㅦd{S^CK)4~ި)K!R 6zٸ|̺%08mqJ$\ృ 4 ک]ABbn3#uՔ}((1)9RAfe}n!ni (b$;pʲ ->kjycW{޷O='/f G6$.۴ԇ^^7961mi}]Wd))h/[6}DPu@X] ˰ U e0ᩣ m+e >3VXnۢ܃vlXJή¯QzW_o;Ǵ;>HFꅺQ ݂s2YpE45wG"F"KVM ڃb_w0Z;aJ=y2njFե,9;@Mq!2hP'`G|tb8ma^HJ}[H&v5{}U%3QRFQqTz$]u3E[VBոNfInk|o4p;* NbK 4,ogB'xW5gqZvkߑӖG\Xu`bFkVk?oa10Ws#7ہ IK?>+9\:.^F8\ {^OʢLGtY~Ỵ1:KG$^3b{bJf19#H 6N%|G) #t '9CQ]qd*W#QA ݂î&"]lT\z-l[~0ʲ*+H<}|!0/ ܍tH-PKa;Oq%恂 Lq׺g-'Sw,7qNh5EɸqU4&}:HN^N5`],ˋ T'gYZ7zXZִF! 0\]ŗXi%6_9yl Z3Pm, ":;JdYer _Gc3~e큱Z?ٽʱ"6`Fash #h|ʤQ kC8>nj0Q1Ek먡`Z* I{_x"H*FG*cwњ_<;8=uf̥v:.[ F UE{~fA - Tarskis_GeometrypUuZr 6jai;_P/KtIB*ҘWzfO23^0ġMHoi* QB/śM}mA$ ? #氼-D]i!DNj7+'F$mRF\B')RO/RA~ƴ0wuTdg'Q%Ѷx2:G(xxPf1a84'޻r! V1IgIkQ \GP.%WJuuy,`oamYO} kG /^=,#l#.0EL)*5M \Ex7H;J31o>yw9$r-ݙTSv9(ANmEl^/2fAزwC=mf>XLZک z#ܧu^Rw5%5P۫OʧB՟\ YbmKb_7-J{\|u'9mo j|r ZD6vB?seipŎ(C/hmLоg ^?1eB~*d`_O3cɴ_pìQrRo@CI)hkMg\65cii]š!M0юc3O-3lVP'ǔ}J߉W” _]8$R9S(BRSuV|Ob}~6@ubH sY1A]8雸+]L`մF"G՜:#Rɣ*Dpnh+h]/|IOpi}/pyF%iA2! .m҆W|g=h&:1,HN@P5C($ELc$;vFrg/ieMJ~Kw^3 ya%Le2K: )LF_*%.=J.M&\fdF qME|!N,M炐 kSHkH u08FzsSUMaIaN\` 5*̤ fi8^ִϟ6c| 1y9m=xbZf1MF0r/6lvY߸!HK@=SĀIvscSʬWJB\+Yh8OR)pwOA&HW6v6nA2##Hl}D5v)-y'F_7(n]ܒ;;Sc*!ߚHb^j/8*˰s:[oQKjء됶`؏q28?f ֎#}"tlX8mCg>&#(0='e`֡՟rJyv͟0/@?15$O1.i`VK.9Lw9I$AƕkLWLeGo=RVQE]8NV"f\dc>-17j~n9 pe0H=] 2XSJΨBq'AǪ@fΌWڰp1;/>x RBR`s`. 7X)!C2.氭1 / 66K:xnmebT&5j7qg߲y";"ߗ'UЃ rx4'-MFU9懺|s|\h,ɸQI*AZȵ< sǿn1^saÁabѿX'E9r;y> #gL}L`0NQQ^3xҴS;-cCe"@A SiiOJ]>uS1= \%`:?LnE OĚ~WxIj8 Ֆ=a2=;wmsU? D}^*sJ|LZmwMt=" ]Ox]tKt NSo- nKpHEu"|;0DPkpOE Λ݂J PPD-E-LM$Ӡƽ%1BV7SN<cez $-Iw_<4Һc_%D} u&$ٟ%|V{R6)зz*%F56Ϡo~'RڳoAQ~OjY,[a}h6D? 2t0b\RoWWܕYិ22CêI:\nɶ7AZtCqf9YI* ݍڲ㏲Ȍ#S7i Q{1se"4 .T߲<&nmw`I;#_~F%J߂hI2,[ԆGJ pCWY%QU^# ZAlL\y3r"znU5r; VXy '+*pF*6 x7j߃;ޠ;H3BK ezcA# KlT&NܚF+,ɒ#M-yNODʒat|p۲𩶻WhG9yR3 S̲(hu{G&2nf_!KEDB*Ϲ "to1"Rpo$;DJh'fh_Zu{\YGx&PĨz$lȒv #C]NϰPv1F[wTjMMwcgޔ忟M,sqP].S1`$2x_Xd͐Š]k,br;isH9Vnq9Ob"jR0WrVeKN%u^ "FVެ$!?egYZ0488a1cd4c9d8c0d3e10a002b36d70a825ddab4e 04937edaac57e854adb72819c9a09bf4c37c6f13 0c02ceead20f10236d7275425ef59dfbc5021710 1c26058200be62e77f8b7debc826ab3e10c213c7 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 3c497bd4bf20d8302e6d5a7fc35a44dca8b086e1 422c5cb07b88b52f2b335ef98f379f3465f4e2f9 78079b6c805421cdcc43e733354f56c023eeae19 7baf96c0c640e6682eeb8f6944a1d84d058f66c4 8aefc9b67109956542535e583bb6b75d0af7dac3 b6ca7e09ffab46bedb7019ec66c79805ed77ebe7 cac410becdcea96121c0576ab7dfb43bd84ebb3f d56eacc54da8449ad8db146cd8f834192ab0a93e daeeea544ab2121c1c2028828ec0635f3e0ef67d eb1ed4fc9a4686fdae67d5286c2670bcb444d951 ffc84c1be563c401109cd08cba36147d94a4a62ce4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5