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  )$T< ]/]Stone_Algebras:threads=2elapsed=66.405cpu=102.984gc=3.224factor=1.557zXZִF! ?]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=;% +~7[I߲.̐UhQ ZV̯$5[@vj"pL07;F{xspٮF u!Q1\$^c :dyɝ33o"w}'4u0%"H5} ҈Wלlʧߣ1Q`:ƽ4\՛0BfF[')dxVI"}OC1@JeH/?F vaQPnL%FO ڭ*Yլ)* BrAdr 84f0&΃fhK C!P'pM'$nwLEC}O.n" M1KInk/Qu&2U9 Gx apyQT^== \~cHTzc c z`SgC(s7~Az8wH2 c1g>,|TH6zJw+);hCCsފp's@?3倌"Y40ع@WUlYY-`OHbo zEΑ!8Px)B-Z+> ^0G#0\AXBLff0ZRf(}r~54´ xc <}a\,%~M?^q6vxrX6 @}P7i^9!S2.& ݻ` ȿ4ϥgNf73tʹ|' 4z' 6(җc9]|Dh @w~(3,9(i PsA6;}e9E/WNӦԳ%'Q݅ݯnS-To'x}$⣮}[ipU^Qpۘˏ^<O 8O$ysnCR77DpծL LjpxxshzRIRߎNpkz$Q;uyL1{捺ofP fʯfnu[y/ԉA (kwǍ4K'xx3܍%⹈k1mXq{ַǘX\"֊}[)K sn1g2W `ի_t;mM̤'jǸ!զON^oG<].b8HƜ7[[f0{:J6>1);҇}z#E6.]slJkҏ C:ꤢ~ɖtx* ld9yU\%%c^ ) Stone_Algebrase#q _bgYZ7zXZִF! D]ŗXiɟ34ZАFw7qt[L PW? e|S!cUZׁc筗;](6%E:%(ଥzdl@C:|RhhH(Q:;؄ۈO`bt~|V^qLS|b@ð 9;_(o>yC#mٵ5X% :𐭨|~Nhv_PbP{韞< zN$) _$ # 7?p) 1y?. *]F,ʕŹ417nYQ:23G@Ȭ4Bu`Gx#h#ҥN?'=-_ӊ#JoʑǣiǠz^ZNT:S5DZ)k\-?q%Rjy[&|vz2^4wkQ))&+I-ل-S^ݨMzj',"[EbDa ^ZqќC}x@*Жσ:-@keqTbb}IGfr.K]Ƒyx_>f&ɒ_ӕlT.9+Kg [k>+Q+?>Avbh2 reL9 XSruSTW > _ʢq дvCD)gH5mJ/q()sߩqBطg&_5EDMS=U*B/S3SFF%˶2Iқ*[Lx1jBCeUc3Rl.GS::ܹBd43F6H$H\trˠF+D+thN!OZP˒r*wF]ښ*Dj0pX8YQ8 \ՖEIZ\PҭD󂈟Сr\hW |Ce?::'6ba3Mߠw޸49*ɴF>iuZ)~H8u«gj!B|O㖲oۈ|/z^gV"j㠻t@ .[RM0t,պUi d0C1oQM3S:;BݴŽoyʘ=W_D8ڶ+G p-!qB7M)Y %EgS5xp>ܹ S[u쪇8aQnرf,6t++`T4aDh^ߐo-dnX-^s) i~< q+рWex{7AXG.Tn칐3P߉)Ep<{22*^㙮Yy3'd7Ba!ι-/[6 6b!1>'6vSKڝUJڋ|7gWh ٫MrFM3)?~j+kp..2u[Dvx(.l-wX'`u'LyA?&4&H$ {$ڸ -cx/at{_=kK|s2W;Mڛ{˸̙1O}b&-)5{ӄLRf# "|{(7oe׮*7 yjV@Ħt΍:t-9钅׷XH\> }.?)3,A@uЪQy-`@j1ȕdY憈`^;p xi= jwtk=ݾM7m!S*H-uK;$o/j wĶ$²$nĞ?zJ̋q!]B}K_)ggF}݅pSrm:Ž&_ժmAPd0ˮt63 T8m =9{D?E|FOEk%2qq54tÜV pV˩ 7LLՑ KwGY?AH*鯆h"k\[rJ3SjS'LsWQmdev? ;fl0{bZ K2@:NжDžƱgYZ6c01a65bc833a668bfadca9b166f65e76ca29db18ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a51f6143d2c8e8dd769ca52eb4cfe279e61227027