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 V D| s/]HOL-Word:threads=6elapsed=8.810cpu=37.780gc=1.220factor=4.297zXZִF!    HOL-Word)]ŗXf1-q恈eO/O4Eh~$&} _rueZlz_P,7]GzR*N[R3v7S8KcW]#Rxc^e_:NX^sz9܇3T-:prv5Kܱ` L*)%Qn`LR6!AKo!7\W0`p:pzM6M c.^ &p) ٱ[D1?oF5Z3OV-rk{F SY';N^myaL \nvZo F%l2c\ ]^x:"Dz Yo׃AG[g(L xO |Q-T(} 6Ƭ0#9{Z~MD6fHtN8Iaͭ%ZVk‚PQZݫ=.NVTvgPme'aȴowS19LQB֥~Z.v'dhCtpN݂z̿`>]Ɂ:]RFb{+aQ(0s]w 'MNѺtL{~)qazjn',*YPu,?Munqf𵂀9+K[-!/Ѣ_D?2RZC(īJ+pw]0#E^6i)*T\Mb p%n"Ii~f1&ճX[NBnHˬjL!ca˝Zp T#sMR <;W^ 9toȚpwpcU*0A[#$u,IIkAJ,O  &T `zTqe Fuldy3Xw򺇨AtlD!B=3ɟXx(o6! -GpJ*2#qEVFF+;UÜ՘Eŧ.{ǼQ4*.v{4#%VeLKjҍ&Q2k\*6\A۳潮߇q5Ctԫ%^Ԏz(IVNsFx6u8LxN6oCG$F{ Qh6/xH%UKQc-vrx`Ot&I WS&q$NEn 9vuу)E¯ʄ5 Վ~Q:Q%Q8Wvt5aHrRg[ foZ$S~v棾⪑nEؘMH: Boa`hr~AZE3%n08WzXAC˼iSx~,cskE}A;̤m&H~|  1íN J~?5oˆ+S<{;`4[{˕ r]w#LSeyȱl_7E'*r;?E%_^5P!~ ,m?;Z&ZT0zY(vlCć6׈NuuKՌi!f%@ R[rn%x[Si /J by?qر7cҏW95-ɞ\g?Zy'Rv #cSC`,.&ÖvjlUica&,t3HtQ +y`1z.^ó/7Ӊo:8^?O;B%B]$4řTQʵӍaA DZϩokJ:0wg}XNhT֝S6O0a}τ@]]\Au3ȷh#(=˝<_=Jݥqek)n?TK%+k|# D }ƹى P_5SvVb<\3|Љhν=-oGD-&=/&i wrE$6]_Xw+sDAf^!j+eR9BYa H}|G8>nMpAGb<͐vr)d@!V'R+c{f?v (K?\ѻDpXɍ`:/f0#($x X&8|G1:(:=L0Өr&<L1~dJg$c!%أCڻRY׳Nqo Ϫ^`[uY>r;!=pMn42k;b_ڦLJ`:p|ي&F,G0|ӉBiv8Q:.A xK>ŐtHQ_{-]s(`d3+U@Iϙ@Rț"g.DRF\0.[*ai-@G  ё5H)]G kARπ.<"ȸ.;r䯐5X 'E~!L 9;VL\Qd c5V Pұa-$P}LEk܏6!`]A҄tN֎yXRiWZwW:=O''y 9A'VO!dVfEٔjBX_JEs@妤U=ܝsc1DQdDٱRiQ؄Or8CFYֆ"Ë}̭zSkbAVuQ7y"qfdOx6Qr0"gR>roz>N-(oݗ F~?5auI!a ~ߍPWayxh6,c|?jC0yak:;/]CfBe QOuYݽ >:&EcRzf/qsGТ¥vg;#ZD,,ÖW\.'t t׊Y;;$dD3>.q5{*K%'GgLwF4& %Ф}u % v B@1`y$ 2hbZj @ˍlM-d -JfSj2o:HpD̔VmPD)^A,#/\&GJ۠z߄dGnAnPרD/$^ 9WqB$q[^܀08Ѵ#i?e]]gDauըl˴rsA 7'?Czbfؕ}Ľ( fqlRlJpQP FZ%('bd Dzph׍ha$XY@4FQ09"}?i S^ @ȕ{ʦ.v9^g`ιwRy( {G:k:(!HdL-u(wo^ᖞaR-a`>pUB0bIMT`l{ӏz?cnP@4=0Aؾ/2v 8F\,@ iG̢@\vךU|U'A9zٞN"1j]G)Q ;ڒ&ړ8'\GfIst[bpVgUx&gYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467e526db8784354c53ce82452dd7e5d330d80528fa0 1970713ead8e1bd96e68d55b21b82adcbf1a054c5e34bda6927ef9661a9b92a5dba877cb9b129725