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  @ @57t / ComponentDependencies:threads=2elapsed=77.384cpu=148.448gc=7.440factor=1.927zXZִF! %]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyxYE}Aʈۙi]R턋>.FLLBfb:9jc#wN"|zZiY .a׫q|Ԙ^h`{ԙM~[TP7$%,n"ާcbca7|"Meƣ LPkWU:^|ah{9q_h 3.{d_~^`e hL:iBbZ0L޼ڷ&HD.e?FtȷsL?>kM2k\`dABhGyOp'ԓ YLp3P<2nWo[iOF늛F x%s_9hci۳[DA^Vy]g3߉ se;eQ 2VgYZ7zXZִF! iH]ŗXi%6¢R 3d=A75#!m/z0c#nc ^u`*'/ JbQ4fFCQX?h仄۾ɾEԿe Pm_FLN?=1970`k9l]B_ (č&~.#[dpOzGQܔ$w03IRaj'?`H\lv hU|hh'&DvAx0L+$.yR:3rv+YuEp 9SN^fnaǕ #Fͫ9}0IP7qS֕J@ pE%o^w=|P:E:h/p%7q5b*xBȎxټ|!U8&%,(#Vo3ӹ;k.[M"F4 {cj૞ՁA P'쪿vCKԍSV,'>yi$Y6a585]v(n3=㦕8 n"22v<6qg!‡V^5'_gdg3K 1_)\M_"?š3,E9 7\"r6NھWR8perU(',UБ~3P5T.kRʛqON#gE= 7  7 ComponentDependenciesp+ :ޮmR޾wG96vƱPp+jk͋L_>hXNΪ+@l ,Pzy7xxr1eG gc~&E%Q9`3v9/YL6)QeY^鳘Ev[5 DnGjQ/BN6w)aЦƷ:+]44{g-*Rb$ֲϸL@G}\*טii2$.n93QЬcj b9{@69L"},bbfG"@+xҝ.DH3*ͨ3-β:b_ Ki? ᭈڻnu?mZ/OD8Eωd̳4S<3U~ ۰گ];gj C9 _!;=,sM4wG!F=+Psc 57S #ɍJ) ʬѾac-Yl^ ͊R*\ݤ{diA&p?ObMĒMZV"zW'蛇>#ѭhlة!-#'631 21Md?=}, 5ND-Xaiu 0[x = h櫞-ocr,;oܴ/8Z5_il{orΗXUiul>=dӧ#*cDy4noߗ+w˞FNDB~]U97٫R1;VcQ5#Hn)k`I3ŵpjlDn.D`1 ]&:0\ aNe)Q #Ԡzyc\ƔMH+@1PV;* JTrq #e;HT~cA;u/Z S:kꍬ*9xSwwc1Y 8ASf,my^Ƽ}+-lVC5>ؔ{kbC1("BˢxSwk_ 9i_*QrXU#8O28cWՕcr'4?ѧlv*/O/<$')9""e_ѕAUBHF- `ll *Si_eL:AOei[_f:?8{O/DQ2G2yAɲ(+&V&sL0% UFC F[)ډ'7zM5ѡ%d 挫g\FfWk0Э4#khDPE{zp !ńH3bBcg`kö sXFϻNOvZB']eNmxouq!R걩DmZ3X\izfq(!OejG":VVi(sBofv$>G -`d&$mB+uC@'_AVE27Ñ?"zX5A6zggڍ ]K/Y@+h)Wjie!*jDBoM9`HI)@ nv߲̇LZ6 a%GtA?ib:_ND9HҞd:f4bh笆șu*6 !oLRGNu_ ]WBumyt. +Vj>|6XZjGP2={5`> J9Z2a5{=!n%s6zB{YEXo\PslPyd%b..nojĂ5$"֮* "m>Sm1ϲE 7DDl{g H/-?5p/~j<ءX#n&m5hYu~\җ &һ`k1ۀ _1?Ơu4 {SnѸВ)6>2HܺyJQr4V&:WF,7MIJfkPi $~FqمWfrx'܁O&jgQ\<'lO=őqǯ54qהLJ_ܥ"