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  T< s/]HOL-Word:threads=2elapsed=20.836cpu=40.828gc=1.556factor=1.967zXZִF! ֨!]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α; (pIֽ.fZBݒG$Z^fP-x7i[R*(†\¦+nW:oUB!(njݪS]_bELQcy/_LbMi/?R4e;r`EbAuG9<Q7$(d/YAH z-t _뫣Y&TY(/"֡$TdݙyU+5_BG#z]kQïŹݧ7r/1bXe0h^ ڊFX/3HYRq|)AB=oR 1=-Z(ώr8IbgJѶipA\ ̂e/{ QRNrZ_CC*߰Qpey*P^:?˜c Ɠ $oKN5SrNqBԗ:o^@Dlbklo-ʡ'IbSv-l^(UlX1oF&RhXGVa!|f v33l̔] xR1gc%_09e'$KYG~ʷ *C3$Uʀ@^])wr}`ŃyA2qV `H X o˄kq- Rg|BXCS.q, .%ÆصuoWM{# ;TP9gԽ~ t' 6.c 3$Yݍ){#6Va-ye$i俁%#Qnv~\ 2~ÐT6ݸV,_u;f [FPkjHLɰc^%ZFuBdk&yûKO!YǡQ)e(sȟǯOcb45>Ү>uBgKMA%8I(1%q*](ȊcLah>л Yo4" Z9ĹC#_?` |,~2Ah9Zp?bJ8 M?^6I4))pUKGq KOup1"ݢ4SuEٶsPFcyI[bR7#nb&{m }Սq-*F7G,,}NI_j(T'ò7<9qÿHA֭eX/HvG(8 {xuތihk"MY+}^ )[ ?cXbSS|]Ä 'X'reU"mV.N}_*Z̊M&:ALBU~}N#mv;J  y60{|`fɭ&T' ֠^drƼ;:Z *u۸c qmI̱T3x,Jy\syUBȥUQbdž{DDbM΀r &$\*;d͆*@U@! #Nb_,;[ [ZvVsq. NsչgHT}'I0k1 R-޾hb[II0n~NK;NCcw^ﰩF8ð]ۂ14CQ)jeѮӈlޠ&i1CB#;Q=|%PSDҧ߱u%9wM}4 J:ؐL!e~>{0[!e :5~_=Q2W/O\,#$ *;f=ٞĽ+?\BtÑR,X!Yv =_ϴO&ew[uD'ZcutAŚ(8pFJ , mO )Y_z_)5:95U)\хw%KxHrw>B<3 VbnFK[Zj,4ūIj[{+Df|;v m#ݩnL;sm; ) Lu7iPK8[I .&gAb j'Qhm AsԶ"5mnlPC;Νə,$Tlw,Uo]!AS+ݔ*Ha]c#m棛/HkSݲO ߒfb#T<MP$욼½^A**(!uJ 8s_` ~ #PHm   HOL-Wordlnc8ar5IZ )?Hsv:$H"G-y* aED 4 ¦0X[|J&*{ D܏w.넻o$⟃0o@P5$c[&Jf, ?ޟ^O4϶0΢cO@`Uhb[nʫ0mFq9򤟁e6 K?x Rg}XW̒KCu$brc(*hHUh\%;$bg-6iSjͶGgVqZX,-ŷ܂un)R(.4wՎ5Uq-טvO"On'ƎZL fh>k 'Q f::gsXl$'+Y2 '`5+ĻTc{`RE NKO 8Ml ͩaRecll=Ov5"u;S̳)aCkF 3[ЌUA”MV~$#>M*t0oW}_Lмv{} jݹi.\#`w U.EH{koRJ0j  Pe#r%>|~ά¬ $/HH3^DT&`~yqp򮆵KzɢF[F+Y02χ Bs\-]>{t>;H;D2d+&Ϣ:e%@PcbD\pDbmTzSpN1z3]lšl|o-w5i&~4IHq}#8N[z/S,p˴ίaSlڟB?uZo/M򘨧n?@=}sC@ 850͑ ,Uw';BjF ZaXp+[rW`ؠۓlm|wϦt!ElF9GecA`Q S`+Gu1Cu: S#P8+/`[Fc%[2F&dU` IiӼmh Wi 9YF3dH*فnQ LS!r&l/1O86gR/cn뾿ҽLAP߹'NL3e=<3^GցP`~W*–^ͣFP=wS.Q<0@w^Tc "Si%U@@(ޔ`8A#mnv85e qsgՅ̅p Į1Tg,$u`]ZJԏ(٨ZrC"mcgYZ7zXZִF! uX]ŗXi% ޲-~1܋.{~?55Az;%"d *NJbѻ$2x&*shwGDur{ nCͳ^(C'9}/0fx'(MEkk0L|T?Tz0V'<{+a{UHp5Wy7[~Wg}zӄ3^" R]+aT sI]c7kӽXWz17'G(XƻGfrWo;MʰERMή;.#73/ W7~Us̑ТZ!t;XU?1aKBp 0r*4aM 4т/vohKݞ;Z|ymP>+vASݽ{s1ޠ * ː9=)y5#}_&,ƫ0Uc{EK{[wg4$I d}]ݴ~ˌƱ4uKN#' 1wc ޻G`kÂn8:*%~Xl[mXE/ӠupkD|.2GF#Z@ҧ2X\?2uFյ4*~~ATex{ꄲu{.8m"%,ϹB{r/B\' 6BfOV+5,b9Ff Q?;37 2cm=O"CtMqHq^3CFKr6=⠿1ziU,#?B^]ckVxiy[']$I<׋PT7gjAv^@^ {/TIyԐ-_i]ZuYIbtz