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 ܺwE/T 꽻<0?ۧZBb{('=_^LX+=y&!!cRE Y`&RIfN>a࿺EW,{ρ1LIUIqRǤ`J❅7qqo 1{)Սz2wÿ1p*9-պ7ΟD7@a͐.>o7Ô?3B*lD-g]BjX+lvN>P[};|6n@՚^5mX5~sei{wHw=ҧk=xìc=t2cw?תe7Y?FqYv6̲a^_Mt$nPYVSKJy\#wiQ/|+VF4/ݻ5T/#us({tm^l$̧>︸[#Xfゐ>[!\%߀Ю4Î>PVu#ʦۅc>]OX.M㸜\cS }"Yos#bQO*3!ST{Srfncԙ\J(/xق9κ٩|*1&RE]I\,";7}AĿEKAƱ F99faพ_HP=֯Ƌ9RutveG< lK2QY2)i!i59Яj1I1Nfc]®C4#Ch-Kft$*^uqKQ~h?ZIa\E(-i&ñ/6e䮦;\S. Sn 8>!QJz@DL5sO w6,7]4 vBbdBbi -!MYG͇$)܆/"wI~wLL6}QR9>W`C{S"+gJ,^OB|TJL ߖ@H/X!%Siz^%,,S1Si$sɲ0mNj\9 P%ś 4N9_f:!rΕC;g-ͼP"7DwvKt.KYVXIhGvN4#Lk4dieDG!} p5/k gncRZKtA.;BiaPShޚafm-}+D3"WڡZ2y ǣfasuNIm,̓cUGM:BO«9.\ K*֢O[ߞ6ob#~@$O'"VwtJ,>EPdpZT8ok`D5<3U)lw/ďs{q-M7P_NOzԺ΃g8Pqxs%Φ 9q9bC R~#fz{of8=00N7a(QK'))ÛL*T(.9j9lws |k#)_8@4Qq*VgYZ7zXZִF! 3]ŗXi%6&~Ī:yIGPŸ#bO~`1"-rG<Cm>ڢz>XL7%g&1 u3Jw6j|{ho騴Pke^1Q5]Ɠ27j| :כ&|s:@wHv:*{/Վc[oW^NRxN1kg-E7?? \ 2;zXك:įҐnڸbH^KJ7{aW 0ʳ  GcooB+͙6ZݹEL~n)ZM[ <.i녪UCx!K49mtavWt7sy)fPCL - 8p&пp>'f$Ws,s ,"ЍjB%%dUHCQmpa;P#J#pG=tI[XO:q&Y^hSOڄӦx#D`9BTYEwT*P⁒8E[j}P a 2G83{ :y+SbtX{>nL E1V]ƙO uIa9J-DMWk"cSq? /0ש^TzQm7㿎z Cۻ;a?%ZKe3 e|LӉ[$1ȴN;cRtE]tfke4\0D.ut6?sF'z@ }.%.lQ@C qpOz?ur)h~ *էlkz/Ʀaqo߲Rv~p]Qȕd)X{D4HaS,(=Ui;_;kQwtή 8s !n<""y z䷣4hd @ sON,#}߶CFڪm-2D"ڊ~Ŏ "m 8pÊZB[ SDWL9qk?%q )~jy~QLf|JSjR韣6/GԘmܴNe5x󽼝!c1RW >d1q]ɓڜה(,"!Y!uԴ'4yy>痛H6OMuq]ץ*w6gR>ҙޅDsXmꢢT$P<۬m%h"q./seO3>nUWʯhQLJe TznCA?\ӳG+v?)2b3^䟹h+Y̷^HZK>Bۋ>vɐfő"ax!c ͡F`Ba!km   HOL-Bali[.* zxŜ&6PiL67ݡpU9qσUp bќ,ԛX~R&@=D $3&w9Txuv5nu 5rӸpVz.@ `9 w;~ x.hR.4|-$Fs5- .>aQZTVER{o*CNx :96-oJ<]´/s4ChUirWGJuT5c!Rnf4{^:)L"lhCoLOtLȴ$14crcu3F0[;_7#+ O.kxX]mUָ%ëN}b2[#h1k:p*Yeg/riJ Khz]@5`˴ 2rx8VbrzXoO#b!)>$R}ýͺϙDgťQ `c{b!Ս1`9Ѧr}cekUĪJfJ8]쉷Ӳ_0x}rNYJ0 75Q;ޢb@>(a[ ÐAzm`v瞼1UR¦v*D)/#^?pg*AB-2Ġtس6X 5+b0X儴;A*M0 G+j\SL~AWى{u DY*yC\R KxVAKNap-dv]K;@4O&Qm4s?I9 %H=MQx3T-L]wrd/r8l2A<6̷-0Y QlXs PT4z4ڐ?*ty (nZ gYQ5AUJ̝g%i[5 4:`n;K[ $`!]t*r(Vru~'𹾶$$iwgx#|U1=Ξ h"F}_Cl =<+yҫ|r{m L}#Pq) x첊ա(hRVfp4wu90͙'eC@ `Pu=Y/j,bA.!{M+ojS6)$4rẠ! ѧog8({0&2$&TxlLjjLvoLmKING^_*ѽBbWAForI`_ݏN) i - P$`ӟ;#E )k Jfɪ,~Mx'NTfwgu;hGr88:?IM2Nhm7rW؉r`ugAbUYAykE}uG6]ƂTV*%BV`p1Mb;IHvHG!¨dv?mҔ7.`5yS25v" j4v;f* iv_X._(S"z#vdsڵFwz݀wR' Ũ{H?xM?j$c(Y| T1msYȔE~5ULҜ$V;&^wbC%z%ƍˑ&k*,zh"ϽR.gYZ1d61bd41b7c5765c7c22059ec139e91e3a8a273e 20c23879fab5e4214a9207e09f84cd3d6a73ca8c 2ba4578a358ed936409c6899182f2f00b9dae79d 2f3ff0db0ddb37d3baf4bcedc2e9be8a010ecaa3 3299e28da33984c23c8f4e0a4b6e4c8558353d3c 36801034d896b236e7467230dac165ebe7c0b6b6 3fe4540cb7413f9f901e99af65742d8209898d1c 52cf19753f4cc101c53b9754ff163bee7d6d51ea 72cf4d0430de6be55dea6de763c19c94f0bb40cc 7968a5176659b1f867e0923f4ea7bc1137e1ffe7 7ad5c05a09593310abdc9bc7f02482d84576c05e 8579f972454ca757444bccbab6239f4e8af28ca4 907f38f57a24e3620e92135b5c8d8f10c7b4ee53 a17513be351693f499b4d2c77390120fe92cde96 a1d0adce50228f8326f7d2fa6939b26fda4e05a6 a26d656cd49741a44856501a1b7f4bcfef40887c a88ce6213eeb3d2840cbc183a2ab07e64fb1217c b8d4baa4d8f38e6a19185afcc81d737d475d5390 bacb19f11615a1099e691d34daa5ca1f230fc048 d12d3cbb1172f36a0d4aabce6f3d42d9d0b80475 ea3c8c7803625888c491700086ab8c690d645197 f18332bceaefacaad4deda93cfc03e73562bdc17 f216e73e36408ee403b664174917affa2b5d104d f5f9986aaf2dcefc1777478208ee4d0d0dd7a5ea f67fdbab3d4d839e5491743ee963e2cbe0513ab8 fb8dd87665f0aa09f8e43b43caabe77d5987a3fe51f2e4211bc57b80e918789840d02846789d9fb5 8906aeb92f6d23db93a287449c941fe9b2ea6224 8ec059bbc72f1731a04b463167dec54283a464b5