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 :5| '% Collections_Examples:threads=2elapsed=98.098cpu=189.956gc=8.024factor=1.947zXZִF! _]ŗXf1-/6vRZyغgЕgQ+m$Q#3?#.5.Rx4 %G5Fi;"fELg}2~lPJ?R>A/q)ƃne b⼳^L[%|Ȭzɻ1}r>a Mq)xNdYRU#Щ)/<\4RFd<ۭRE7yQajPr^k!~'vz4Jİ=8ZuJ?C#I > C.->ThJDэv" +j"Թ{QN[^&]]6 5 Collections_Examples [<rWK٠FHi7h3ѳg%d` C̿E#x*o10"I+=|c: u$=W}z=;<7ۥoO 2"X`ƂQ"Ƥ񏋭9\ ZPr/'NJ?es;t~N$]Xvܪ*]U S2 a6ju>-Nk.{XU 49Kx `*Fɒ Xj4iFfH8 f@KJk_Kh>YJ1*DZ/0y>~F7['D(c>L}Z>}Yo'cJ[0eǢ^f}zGqRq4Qѽa0>_aD³^aqm@LU3QvO De(|4̱t3vysh4AtZa%W2$WK~5{^Cane2UQFNE91X7$Vj_\g܂NW=+VW,+sXgosjj]֨lG,'mY{@UiHUϘ ,ScJtf)gsv,\wd6|H0+8t95OZ7HZ9_R(JV!mhgU?hﱓa^T9l+Vl]f(fHNJ:*I[Ģ.WI+M|Qϫ͕XeH CrvN>vO8BAD~,΅HoKV>D}}E/ڮ' X^̗o]$۠ޓ?IdH9/phK9gLSx>1[3iN}?Dؓ7 OY5bpP 40v&BY~B8S5yVsLn0,8ZCɵaJgAbT2 Q`OebyYMv$ 7(^F.Ed`0Qz喧t_fҺ+4m'uյ[mBkW[=H ex$L9JPQ̟H+Q_/p^o!"G do߿^mFgYZ7zXZִF! 8]ŗXi%`ۺ֐* }RP<AyeqI8KD#2hfIjhcXcRvg? ;fTb}S@g2nCqs jue/!kņ"d˽E:d~٘fUyP?{ǖN\24fNXł 4w0`J`L t0.eF {}*u))-M vӦ B:~(Ox\ip.%_\sȎ'Uˈ=)dMi\po|㆞w|&̶޴2Yb9/n(oa&'ˋAoL݂Sam \?J1T4fgc0<.2Hszsc9Og2D*;ϸbu+fJKY-ћ!/rLR/yCFC JƽPY-r!T'rLu8VO'`WiO]]D˺K%\Uع%_NJRKk,$~(@7||>(:jcunW\Qr4M\uZ t-/5?Rqsh0>ެͣ$tdU0M'-R20 &5?@~,sO 1V8:R!oz_u+Γz@A?@ipkD{W[k̫6>8*wQ[}ZI-];ŵPү5%wA> YovAq-O:_x9<\*8&# &a| B7{3vpLjKq>( vHC >iPIO1n{>q:}~ DH*DT^EdfBڎ#XuX&)Kw77-&:Ah8&U-=C0֡;7Qk&8甩կϯ-"8ְ:⧿5J8:.HaFsZ`kֳYG';ַg"<-J`9w3N߯HQ_ꘆKVxFvŠ<]ʛ56+M X!z+>-P8ڸ--dA=YMf!qgCZd .b,L0e\̑E;c'F@YU-$5v21s5RZs)yεH)W8v7H'y(/rsFr4jSZ$:~>|ݜ^w4u^zٍ W]^sFX S$';S-ieyQ"w&E\Y#0YlP< lЗ5=2M.{%% }W`҆WmAOuN0[æ5Ol>'l^j."l;+o7ghD QʹC.K=Ln̫-.&ME~!h#˘Qس;<^IrB|yD\ $#=L/>)B683>^{Ne%MUi4D p|_%c*9X#7')E|J%a% ^ $sv7EOex2'c%Ԏg3GYB |8 bܻ3r>;\mnJ~NJDz찵@|3kPxfV˩ėH@;8Pfwߎyx+rGrUБӂ8b%Q y(s62D,aM{uOҲ޴i&LOJ~IHY$ h8qHA|QC|faU؆Uښ ]^Ȳ<_\/wt~Ӭ$PG>IS*Œýɰw1 T{Dƒ@ k2# >,A*'LP)R[,7z 6|Dp ұRAuڑW]O; drX`RQw?dʔ{G)UFľInIIδؐ@G1Mۜ7C .x|i$|8 ' /7T7˷*˲/qtiRfMvcz+-Q,!tnBqB' Ѕ) $nYٓ`vE C'^_Z_75Gd ]R3a E.g&4@>4`8C7 ~@`P8dh5F>7#ν IYnwms9 oF1%jKDvc6S`Y;^)I1}ӌudIo4-#ޏEsj޾6SVyLVe(U3 Aڧ %h K%00T% =&wQ!ӗLbݓ#Oq|is [&C}\YBCW>48&dLώgYZ006439cf1ee7727dd0cc8b37aebd9df24c4a2e55 17d6ce7fff517e9d059f9eccd6867cbd4eabc228 2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4 3073f5672cf56b7971f9e4fefc4dd3fe94860b50 31ad0307345b52f77bd43046bdc9bc66c32796e7 3c7b0e23c47e07bf29efcf88eb6805050f6e145e 3cd568b407435e66b10daadac60f4bedcdd7a740 4ba0cf25a00ae7c7178c57d51513bc02f0516bef 4bdd953e23b1b8b9181de72c649743f21b009c11 56b474ca18fd648c12397c61c70868de58f1bab9 6651e919038e8fe613ca3f78fe811b119d567117 6a93ca85a902c26b6585a17d7cc327646e0eb1e8 6d84907d1c5936da369dd6c77039a45723443956 6f4afed122ac54db282dcecd53dd2f48a7d09d1a 761367206ebb93626297ad4b13e6e689c2d2e4ae 874fc7174184d3df07542ec61847ecbfcf7366eb 8bdac03177b895ab87ecdf136cb79675bd84d568 983c0107d91ae29ea08dcd6be73913fb4a0f61b2 99ce18f2c98672d404970306b322d4a7c89d2149 9de3cac554e48b28c0fc98d0c793a9ba92647d1f ad40df5861c1e58c7b1a069f493f033df034555e cb45aa29aed037350de48fd1f2887efad358c2a4 cfcbeb36e9e4f8f8b9074691439a1f93096cd4e6 d8c19a9d0ef95ca165ab52826b40c7fea2dc7b2a da39a3ee5e6b4b0d3255bfef95601890afd80709 de99f67245cd832093c0b48899a742ad2a82e388 e103ad793ec58ae038c029c13af415df85473212 e484526b6ace92c89f3d604e8cd879085c1d0f0a ef7b9c22d6155bdf374c446bc7117fa56cd310ef fb7e26c989d75e3be9e5b319f48812d0eac5d123735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 0abbe80c121b6ab4d9a0c937818b06bb49262881 d5f503a44f473f9bc3929f49497764f02b2188fd 13672a548c286f04a716bd29e88de5b8c4d44ed5