SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k/ |t ]HOLCF-HOL-Library:threads=2elapsed=17.157cpu=33.264gc=1.524factor=1.947zXZִF! 5]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I Pȕqy =:ɕԃMԂIA=7l / HOLCF-HOL-LibraryaRQ cQeƝ>=>ܴ`dGVp3by*\dgEʹ.C\9($W5>4t 6&:p <_An$Z˴;41+]D=K39={Fd7(_`юlغT P.&:\K9Έ43JKLi^7 P6_hIN3)%H29zh twӴ[pQў3%CLDLyJJlm2y5ΗKu{!mbnA? s?"iͪ>aԲ\;aW) %!#Q&+Ӱ(bjxGI;|P(~qY6+FczWqB/G[Xn]UT`-V]D,W G}\=6lki٨"(7>:h"{@:YEet0x03B^9M(Q|;H^LCME{i؉TA8bE#xktV&%TUB>0Y՗Ӈ1NKFT/0@n/s6I*e0wkz0X@1֣!@HMi#L1!otOuѸ߂\Ssϥ6pp`#j`28JAkfܜ+ RxQlb (u >Ydc Ms:jLJD kD6 ϻˮG8B7h`G͞=iJp>5|E7Q,? ~qx:(x9V3V<)j5J W^xkn'casK3\4%֤V7 K/~Tt!PVvSk-(w>*Ѷ;%BƱOHcŌ{ӎHK8I}G1"}DHqU z/`@R(!'ecd>~Bg7 K 0?t8Hm/iT(Fj&л?QLU.@#_ :KE+R~i],+DG3Ljr5?j] Qd&u}y&Joz1,BZ!d'29˘SrgOvBǑD{%^ Bxzzs@~[=L=[F((AUEf& CDf𷴿9{ `6+9p.ɫ&]gOnǼ\MTī(IT@i T𱸞E,ɠMrF}F._ѧ3DalR/sP1 (uQ-"s*L k:LXV&LzǑ|%W HQY&)e]W\N`aE>%* So sϩ2_z97 rQ!pֺӲHZWitT$+XedP.cm&r(g'o/IHjf;X/DCŽH6 iBbV1Ɠ)Uj? u[urٙuUKe b$h\SƊɊI6edik( `{)5dM }JqP؜@sLN K<@`1_}e \iW{o+L8= rEP נm0 w&`Z$)j(go'Ir5zɯOt&\-j.?K!"wtDkF 8v^+(. =ߜoSW\4DIM''BR׫~;|ड़'43KJF{񛯇GapHۄ<ݑїℼJ_ w&hƳ p;jR|q h9#gLRurl~ aNhR##K' \Ke+\Hf}oA/h韊;;UHS昽tY;?syM6rԂR_d+'K6_aM$|YYVP,m43/36=,EHOyfkڔ[p,nX|d.}U66#GޓtЙl.Z'+D D9yV+0qa/l]gpBSl^|E81plwVWN++8975Jp8Уݽ Adt [ؗ2DVm8"Jr%0%Mq]tN&_6ROx3::qDs>O8P) ve*w0ybzo0CIYv/L) r##sRz⧨t/7{'{cθ;=aR-:ג˟ʨ^2/#Rv }0ݐź=әo?~i_7 bh |u&NuOX8O:"oR8/8&87(q(, ham6pP̞;)p&hR3[D\&w=vtwǛYI&j;)ة9w&ФyHrD=&y-X%#Ml2ȃX:30[tЪ*+/N=YZRM-xd6J1E&2oK_lC+ɕ Q6ٝ3Ł>˂M$QAlp܃抦\#W; vw(7fn<3F̚./ %WW-dNꅾAz|J/y8</^PFfmh$A<GFW /)gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2d0c54c119222ff4b9debfcf8cd34d5dfdf7d751 34221437a109a5594ba7786476b5abb5979a2647 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd680f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 004a82cb101bdf5ba9b9d95465003d98afae16907185a464b41755720d315651f8bfdc88e40c56ec