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  r r- ,<< ] Tarskis_Geometry:threads=2elapsed=52.554cpu=91.728gc=3.620factor=1.757zXZִF! !b]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z;!?`K!D@4M9d]p|^׉ wÁ=SodfL ɩ,TP-"u^,cMgǵrYlӣ.8ѣEt+ՖBz)gVwJ Mh <lAi-+Y4*koMm|#/ k9oH$ntiJ{XvdMn/1K4<4(ܡĴJcBtm1OX}M%ԃIw\4a| `%8VD4\gtՎ f7}b`ht`/"e2j]H_eRR{QΘ@T[9rݬi *'2{rۓ(wL?20c `o2-&X5'(GCRv,B[؆`6XwJ xFEhE/ uӲ]m )y#Hbfݦ4/}%P<_ *{nղl'ryI s"MwFDjek25O!fjX,]K%dhgtMYRMR*t-[^otM)/6TVۄ`P=C3҇=l/b@+K&h0uݾ^ILo#` - Tarskis_Geometry8Dsa5huUFCWngD{'g'EͱMG!h8:6O9i[fSBDsqJ+;[3  ؎]dI+N|Ӽ]=8a(htV?K| 8uKkpu R1T!H4Aq!%젰_tӷ:ؖQwR+<̆,BgYZ7zXZִF! IW]ŗXiɟMr^&%HiI6$ wĄASkwK98>ɯ~^0 `ވ2_Ϲ"T+V% dal˯Ay/#{]Nζ&<,(ik|ZJNM:,.f|'}d$=,` 䂏4''<:*6u(pٟj:IB \[U*s& m\k$)[R!$99V^ 9?|gn$n^oᖑ?~VKI[M7+j@R B->PTvrMydl^aܦl гp=gYZ7zXZִF!  ]ŗXi%92IR;hhb@5+eT:yu*z\,A ޞ45 @v-;lnmCO|65fyg_HW>ǶS t,8]kfSsMBc9]Uoo4.?Xr:5q` &j`<T(5P&'i#IZԢPYP^8ou_1%o/{g(#$ _q-9@+ i,A jߙ{'qǗ ]'ШD-$Y9P/HȲxxL uʵwB;Y9S>Xc!vДsfQM '+Vl=o&q1vĔnԯկɻ:"V8+XW囪egvO~@ŰNe9bRzT`=/:[ur,&~ދǯXaxz'/ Ƚ͎ttaqFؿ>0KMWs{i Q4tGG 6fqDI{ư`}wF˲1}Z u2rP Mjjudp4"Ԅ?\MXmVC@S>sh}Lͯp&4\%NӘ vo|i.|F RoRH0E 7N үHU~vEɳK;zP`?ٳОgpKu'̦9| Ⱦ])F<ˆgTwQ;]c(7r {::*2w8c{t* CȉPypFmx.&[cXWaglB/KEtw֊)oVUqlbPl+Gibb``hygy@/*8 5Gi w8U#koGZIP:q)wH 4]>ct,1eQ:TnxN`$#<)"y!~|g]K*T*#;}8DJpŞojwOyIoƏ/Y85nB1*+-:jf.d;Do֋!hzkva\ͧ}Gk^ȿxNc'&:nij糃йPP;o6#[=j (՘~#UfXΗg*ҽ "₟9]okFݞ\;6fa0,aFlkM rO+ݘi)&UøS/ lfeHn֕]RhGlJϪTg7>183>\EͲ|g9G*ȥk讪6֕hS ;=M<+TyRV6k9GW2rje Lx j^l*4Df֒4DJh[{ Cb-x鵷Soz[sKo&@!L2} @1˅^# QDd? [v`(F13[[a\D(%BEO{EfI=S6x};CMiZȮ,]z38EF!X@yz_ܡ-Qߴ¶K۠-|d߉mCԬHrA (@b8HAExɇ7rqoe !>{Oo񯜅4)iw4)Ы7qV|Hh\`t.Ku"_>ki.b\ !]m|CcṒONk`~ZbT+s4^Fhfi5Y-Ϥh5֊x<7 .`i ''ϥOM@Y5TKVe?vbru/#/;|Im&Dž3DƔQG PxC"UE37FwjFjͤ? tYs3Ǿ8_Z IU _y1[ ݵ@A3ZL28y-x9ΩI_g#)_mO3LTGzt&^0>05_ZEtӭ_,K 8COEV_.ɑmE$\*1w^+)]>dO<~SPuCsWr >;Wz" ҥT]NӜ'PI pO/^?>@j[ 7K7J܈86B Ѫ\ZT3k>,|n 4N[O8F3}Ծ(.5 ԁ8AwFC 1R\E6P?*T/ߜ, \l IbmapަZ&E. {͡p1) (rK ]׭jygh%ckmu1^B@jſ'yv~\j#X[%nA~xgYZ980fcc36427192faa646b21b8ce5334e3ca60401bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30