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 ]/ No_FTL_observers:threads=2elapsed=179.159cpu=203.516gc=6.520factor=1.147zXZִF! -]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P).*I]b{EGN&nUጹHKp}hdCIuO͵=W8Zvڽ'IBZe ɻ$>(/0-$J83_=~2I$(5\E_p5 [<5;^ɍsm%EgVQ/ǯ_DӬx35$>8iUwErE w81-'TB_0H}iIX!K!2|BOk̍ pO>]?JrMK9^,y+N` `M$s!J60}Q6߮M&`1WQڥH]IL.J2FOC38[:oݏbe7e");{_F.:d\tA0iMm:Wv^ %U7fy{6!@}4R[=Q)U 4$B{ybbJA> A gYZ7zXZִF! M]ŗXi%;ųK^vY!8.oldǩvkaA\zaR̗2O(e# :i4VS=Bhz[\pפ),9$F7a;{N@%).; hY5hiǗ <@h]BZ %_ZU0Szr (&$smL jW,n+0lUORN)y[jt Zj~R1B J93NJ48Ip X_^ q&ҼfjONä0V]aPnr恈8&!Z|^턱ݡ1F~,uHl<7iˡdʹ'@uD-/JpɈ#Wk1*SՑ"Zoߙgp‡L4y9Kw2sepAOheUf z\Cp"LzސVN$|R='LO>lNy{J3-o5w&-+Ugy'*-%c>(nPz5eݝޮc)$$m!9|T &(_W&(֚03+?3C 6kP {8s4upK(I:?9en e뤫&p0Zr:mr@yO-e*BQ~B|XM ؅ɯ]; nk3^O^fݦU:Z`iʄҋ@gQ_$jJO3chI5 Nޠ Ϯ|Vs' ^IP%Hcb:`p|U4~Ef7>6);# @:0pA|> X2@ #TT:_L%T՚!.hhWfm}8 F=veXA%6enS{Z fWӨ1:3͓RDw bXj%v+5 ⒵GfpxIvu ~q_SpLJǻ8lT @!9:Ø@B)ɭFqzOΗw>df&X|9^'ʚ ya獨 /`_ }e3(p֭=AFڲo jdojn'ϳ'T_-X^(YTkY([QX}]C#gV/Iwn `m60 Bol6l?ER%-F`iCyW]r 5s)~w(jwȫv{&Gz*$귯(Z|˧] FBfٷùeLd &=ŪA112#_j~/ځ;m; PgGCxʔkW~ 7$WƬ@@* .]-*A)C6N9qDPP WzXv`dBCΑaOS Zٻk]%MnВ/@$KYI+nDgFU-Q.G^pZLSQ/Nת '?|L*ӨB<8qZ]Pi+MV{WI KiRf5^U-B|E(G̽yљ }$<37l˛8D;(D7g'K+J.3c{Jx|ŏsm;Nܳ [g؀d=bUxϥi/%QWBJUWrCv!M>ksurAEF&> AV>{taF: z<X{d C/;5_P.𒷢b`,\Jj8чA9Ò>a44{*_iEr|s}_qPAPaVէ{'FE[wda\b/xsPGZtƒkTӵ.-# fyj 5݇ ]vBLÏ XQb!kg=5@e@i~#9J,JU -dsjmd}^5er3i#Jq|J+cM޴U9}>k+'̄]cHCAQ>;Ό* Z3l4CmRTa/޼2f/}r}yjjQmJ%;9g#Z-մ=Oݱ#-X?Hfa:k:%5]6LwV~؇B&DFyZ%ܽ)&Sý1%hUy۪}Ȯm-d?}zEK5 e-8|,CaTBvW/U'T.lhʌxvfJ*xNNWG7,#7 ݽ%i.A>S͛ 2678{OE~;nI>//]F{I|sF$m̩'!]I{\#x77D)߶f(bIIIZ U~A/ ^{ {e]g!gdK0h2ڴnua#EH"о0=Tv~%C4e$'OEN(D>VM\cKH3.>;D Ur/RGCM |: g_@h 9Ѫbp0UA{Lϙ mrU.Ͼ?U|h Z40c?$XE}kQ%O?f]14pem>2x7w$FxmI Sx0}gdtQ; ޔV{ËuT[GH'oUb̔qk_"ܯŰjQL(;$Sl:2amތisEW"b=3"?+J !_ş TYLE!x9L?=R!]v֍~\Yc4w(w^O@Ja`fԡX7.)dfl l%S >fjcD-R1+1싞ſ.e}XAMi^$&p Gqo~uwb"q(p !ΫDӎ \2nn'h]%>H rm$3m W/d V:iC*%̈́a;QHy7 w*TRB_,DCzkqLƉPXьlIChHR".ĽT[8 %W&q mCi[d!,lIWe*VMFPchWcYLZ@SSiK=p*$0^߈w:<6a̍Hjo$<ɲuӥA es:3Fjn jC|Fq+1iӷ*y8 @;+2)v2gqÈ-$^:"=kt.coQ:'S &wb5(Ԧq,L-HO91*"SD:@`ƕmݾyAYQd\mgd) PR1A5Yo^N LSM6_*b"ɢKID;MYzfD=n0zsB9`py+'#2"-ԈkB`[618aNZnO Ӹ_S^~}ݧ.#I""W6ڒǓ ,}\(x=WV:73ɐb_ݓ=Z,'=[w?beoF%+bն=۸h#)ԀJY?TDbc$;μT3%k>Lftͩ6݇7ϥi-H"? mNƫMgXB"kLJx p>a!d5G3-hW;Tu(S͜_>Ɨ='S;C |!ẹf@];/cnsSE9L&z*5ssRr,H:O`nlyWg'=y6;UAyaK40,d-֞ySjV8DWkmAK5c 8ԁT'~ZL]ߨَ\80=`8ȶx,Ra^| N0S$}}}߭&i\ V{S< bo0*l7?pp;^Y5}WfQ{o?"y^Zq}"2ɟF4^(/Mm o:y|oM{X)jZgOGܬe$M͌_Y@22&>a r'|kKOO,>u$D+Y(SM6W2(vŌgۭ2+[> DŽG' ~8+ΡW$1+Ta^ kEʣabJ܉^V[\B]: Q< gYZ24af1beaf868cc5403c0c098606bdb7427f2cad379d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f