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 q7| / ComponentDependencies:threads=2elapsed=69.827cpu=133.396gc=6.256factor=1.917zXZִF! q6]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysOY{Nz( 逸2f$~C3+=t7, u>;1W6j3U}`t*r =%QGQb s]ǦLd jҾy{l#i|% + P+yv/*ѝ3j2cEd+4^*'uڂ䑈lY a$xvKg sYɽڛ7(@(/le&&9q+6:deS<<ʅAgYSfE͑bq |^}΁Hh/5/m\6@O 4 6FDIgA7,i)Ni`J׼szZI_aPЙ{90E1`{~ђ;[ e>=J_=m†6nxkC"hEyY`0N rSyzmQ@vcfu'% h¼1@J)O/֒m4M65x-a~O$6a60PV/+ @s\MZoLlp|u% T@sdG Yg*EťGTkdg.)Ar[} '$H}h@ݻ8 Yz(@֏xD+č LŞ,QM8٥fx|JCƳU"zUξCU0huc9_8r?z9f-ZkLH!XCmED<}^BoOHi1)PSc-( T ԔX9ň/Tˈtrș[9l{ zȄnڅ' 0cPfR$^N$"#y/ *0Lŗ5"; IY6zKyHr8Wg"(lp'_SʤB ѹ`.kj{LB!y4)|O(6;+=k+!625΋{/gR_"lfwS^`8{jE Ag0q1j=Ăbog-q<Gg%Gޚ\?XuSs[z#R~ 6ecn]jyjl~зӅ8ݷoGZFA24xfr_ הX_2uO1g*1|-zwhPPji]$@  ^z oDR*Iݻ?q>)~lk<ګGYKm&{usTQ /dGG5'~ 7_ӛ }}6`-EY#(ѥŢOu9zësQ-764JJ8x$fn5p#Κ.wvލU2%m"pBV|Cd,8 LRpzE)E kC-sYD!;3K 7 ComponentDependenciesEcmutmER(MVI~p$';\O]ʖ8 e &';@J"싟w~w(W[䇫>Fvr7 C-BZf(YLW5VE  Rd(@q &h;SK{.1!+$#lE[$`OqR7~8sxc>xVF7g\: ʧuzyzj:[節`#2aEkOOսb-Y6 (sN<+]eu"IgTQ󺬼iBx5ZI,G'-vɒVYڙYR8V',4b5:Gb\L'7|OHj-`BY~' BTA$'UWVVw VRe8­TX=f+"`GT{)IAdPSv81Ցj B ]ZydF7jo/J 5ŏr.uuN8?GDFM Z|vy<]V9: q٬ ![rB7A{J+݊S']ݠusm7b;W/OEB>08ې/9wShhF. ФeqɼX#Q/#-οd926PD j*.DBA&ĢM>4fgk! ȒXc{U@|,1y#Q{0 J KZه)j}2k]Řy}yZi sTzSR% X2BCQXU+Bi \64׃UHu==oݕn+f*s1×ޓĩdPl__LŻf"u\M OJ D"d!+AaEI蘳ڍ"0+aYڵ7^=y~Ud;e= O&jէM!DJ;]qc/Vo4nofStOs K˰J)NÿoT֍9;a?6ʬ"Ѱd:ޝXGJ!R}u{Ir/_U{57/fEZe!^BސXqb`Gٷ\>4eF5脼 7dr 9UB5<>>=CΤ:xwso{2e!(y'gY΀i{źxi~>÷ԗH[5\B9cq Ӿ5ǦwE_<;4P#*# 6M'jL1QX) k*W4ƟvuNXt~oXɹݘf4l}݇ 屴-Nq9&[esž #NPZ+r=F a/ %0JGyҥZpà#[V`gHr;FjF0)X[.eSa1Q$i<2 h>[3SZ$>+:|*#["FuTNt%J#~4"B_fӮa7>Á5\_1bךfKtfHb"x5ꢪBcqhv mGE1Sh~ :s? vY6d@P̿OЄ3@ =E)D365~G,oTq`Q3%SrWPaP^`:p_ ]Ą]cIxiDϖZ#KOԽSC -ǚvk[f lYG65tk~nT@%+^t3Vr76hU+Og!$2J(CX\KPLـ`~#!M$d[PB~L5U_b]I/KG2ZՂ.PԢB2*JP =a#kƜaSIͪ.qvbTEz@TAk-JH ݻ 1ˏc<]?̾ ~M܀pt5UF$|+hO!4wY(Tx/)B,K/y@AZxf%iU*jSDKh]yiAJÏ"cn,%q5:Ҙз c)9rYyXj]`hRAL![(!}'?K'\=˙l墲c t# ĠrfL˯SwG4AČ$\yYFfegX*fy㾼u}$/7g-PzI(@,0ȅ>F yglreǢ([ ~v۠YvX;0jAl?Ԫ^=4D3/Dr ۠gYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc349711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4