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 _+ < ?S]Sturm_Sequences:threads=2elapsed=45.581cpu=87.908gc=1.564factor=1.937zXZִF! ]ŗXf1-/6vR[]SZVB@IJg)]!qe!5:,M" w)KƺEݑ#o3 M0B n~Q.u'8Suwo'V2">\ #Z^qy] <$ҟoTBxg&cI ~(8>Q&$8. LA`&2G>(fk(;@h9KXj G= ))Lny?/I~hȭՋzE ,m|OYǣլ101f6 1ci 8$0z=Kpn&;s~FЄFx|9Kfk۸3WK dJ!d8ac)VꔻT)*FE>5ӯg!:^%]hcF +O]HDA __P[w) =?ԇJ㑱3eK !wX@tXQehE#>tP+bP܎ҝh&„8:=fkWƀUGA"ˬaMhjQ* Yf ]һo(su ЯTJ->Itho'\"#|L=VPJ dw/@z .5{LpV *&pFA4!>O/!˵EGє8X^Fl@6Y2Bp}Tuk7%[랪[0,#y"=9Šf"D>b.?KlRS517Fd%QKׇȄΥ 25QHG"J bcfR@ "U=f+6WsrӇ)D6p€Δv ?԰XsG`R#o:ͥmU5!57c)a}1|  #Ƽé]|P 1f9,h*!ȣܬ͸19Vo8ڤzrRh7ZTsTj~ 0Md~D']e$& UQi߄yHlΩ|ꏁ4ÕUxkaugm`%k puB~3,)wkf@tD˰oW|,ao.$@·JҜbNeW Q6˞k @>9Cz0cCi .E^"MxGl,xLi::t&~.hm@Q _yΕTQ‘Q6;ƛeOćL-CшCך `;KdZEuu[P!OFxJ]r9|NF -ȜB UAyX_,b61XӒTd~ 鸈!no95Fķ<GԁbǠlse b&FFbF%7qרEt@{*k]8]Ӧ觺0!'@X6kɣ" \rq\FkJ ˜/SccJ__kn6~7:q献G*>o2DWOL{O+;A1X7͵/i23eUu5f5tr5Z߿?i3@&&@ $9m~-|\hWph~hҰٱ=\*Ft,p*Y[X@^uNB:*d; ؝r;%`iH9  YS.SyCgY(ꠏ\[jk;2ѻQvj^҇r 87n*f\@^ }]N~!*O!uMg9jk/}=/f4V Սr(ŚD`$h*yS+.7 dBz&K D*֩Fgԃ3iT3>dEJ0Dr"6*=ԫnU|q2l6yxF0c3TRpV?oQU0|7k(D[fTT'ހ`Tdv*Aq?plAK^<.' 1&LeS :4U5'-Y,|H JfY־+d#::_D@/ ?ڟ3R[NP`gƣV6MJv | cY ?TMTR璁k˨EP$,tj=yi[/Bd7Ip#6< q%Ab=2Ͳ"@cWRSuU䤯A/IoҬ4Sa9k\Y2ͽmBUx,ñgYZ7zXZִF! ; ]ŗXi%!Rw3䪒x;l&VXמ|H[&aO2E{Y14|qzˆ?c/vyN'Ԇu5tN\YL믃Z|ן\ (G\1W3GJ@?*>?lPΫ͑.;Oԇid3P.ݙ7D!1!yҰT7az)0)EAƘM/e8]ćߘܭ Bbvu-/yhА8Z TFYtD:E:*î#{Ead5k*R I΅틙Y C7խxpB2Bu(+WٮkEy=:Պ/c[Cݾ[?qpol5ܵ_mHB :oO*UXV=5OF(.f[UBG],9RS@'m=e۸gk9bmF% ܘg@p! OOA[iCBb4($QxUxpj6A[%$hVҕ? FYV|S$4nK4D ȊSh1Dy$'/lb:ducV@y؂ FtY|op׼e>Ѥ66z+Tעn)ANM ,zdpxW۬&3\է߰ 6{+~X?pnMf`WђD;sBXr|Na,az`L]Qo6# ] ѝq6X3,xsCGq0Ah$*dٱjOĖu f fy Vh!Zބ'l̚vd|i]f:3 'b6!P7{,0Nkؓzuqm2?+%ԍN lxJ {|̠9J s<ف7J;b"Tc=F8wsӑ^gn [* ~#ᵹ]A~yl)~; oln"OSc9UqЊy1RZ4h!}>79 Z'C[zVۦc#w^+ov >+\ <OyO^WEnیq-Z*5"oLxY-Ջqp%8f,| a<}Ͽ76:$Eٌ"I^YPTgS64h6<pA:dϋ>hb;w.…jȵ (xs or3`>БVԴn F:Z_ʫ14ӨF,/.ݓѿ}\9).;8T3HMPzu~s)ҘhɱMt7Ļy.}t[L9!NdCRЍ)+8ט%ѩ]}0$Y!SaqC۲>Tg&y6 Cd}7́5vn5SmV"}= Iz9x#7/f`s {RISz"q hP:3j"!GA)ɳMo%Edsֻ>T4+z|wˮQbZ)j: ̪G%y:4k!KO+D&xUSV30;T!'D0gYv@0nGt.3DqJZ