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 B d4 s/]HOL-Word:threads=6elapsed=8.773cpu=38.356gc=1.256factor=4.377zXZִF!   HOL-Word ]ŗXf1-q恈e*['"E 5HDPz' ^7@S_XFm |c9% ܧl`<*V!9;8Gv>S Vvae +z_ьt~s ,0~ԧLÿA2 ?co/F8qɊ%.ϰX %Մ04?SӪKھMUI~[Iʖ6,|KTEH Jra%Y껁vޒi᝵*. w_1LiȬз^)JQkЄCdNz ne]MlgrsSv E͛9ޒ=$@Mh?[{bBUmw#ib e5KoDžJm.٥˧sG/|߶2 5Q"NRs> DN(oBV&S}[Am7n";X'vɜ֜VT 7;rQ^ "t%MR(1Ȭ"Lǂ>#Usv._*iuϩH)ǐ:#U8 AxHv4ϔTyB^8c T~O.o@J YTw8Cl^p/0NOX4pN&&!)_ju]uָoͣXt Rګi}5i7>xي^]_(op FZ8fM_6s|^?];W֧u G@3snOacPoms2ዉ' b\p$[ 3\qJ?P$p-DB7='+{^/2kHcL6etn6@ jL'gd&L^)Gm{aC#YJ{9\#Kհj4BcQBMj 4 E6Z7{Ȼ6~y{q0k (?K.gsGJU:gVn|ŷ{G-_܃ v?f2R_ecK<D.N.}H/'?E)zo apor^WٴV?1l`wX8M,h] [ѵ!ȭ.,fe6h5ZS%9 խH/jKr&9hKkp<8\ctDbܲ`?7} C?j n>AI,fpmU"x["iójN Վ&~*A,hX>O9 1h3C_7軱Fy6Kn5ڔaV!aPE,ٺY6×+ah!;x^S嶸o:$\b\EjvՍ[ ANjse}c!S#'r:-f2IgӯNuDž<3ٙ3(2z0)8͢fƚ22E5Ot.iZR)y=Bke] =94]: 9>$ ~*=kZ8f6?8,"Nc' "ݝS5 \:1a2F\,ԯۧڰYE'TzqkᦕJ7ۢ{rޚEJöuK ݾךyxζ\#RՏ1&唷7u8%A|[yBr9Fކ>pF,lx tJSr.YIC?\Sؐ\CU qs!^XW"=0th,J̘I\d"*/pFM@>~~1)r|4GA,-L%[?"h[Xm=PxY"xc%d-$(/wI'αzI48O!Bη]MpDO6<6U$Xة(W`#D ߃&4?ԯI+-(}9~9ft mhv8=لN#7 %mP-(Y^%l3xUp~'qI- O>U}xkyyUИrvB)]ZK%Urhu"j;_C Yzdf|< !w yڥ&z˔d"S݂ENǾ-Gbb\<^OO,#kC?j`{x]e&1G1 vG"brNs*gl)̄e6η^}݋JC=-?[-YaYI[x43hP>łv\^bI[u`/8o $Brefv׹KS)ՁRctԌ[pw|^W}ewﻝC7B\bks![Y0Frn vBUe[k6{骘 d8!pYr9(pߓ/磥$RA7hp䑸p,~HϬ#.W8W8]Jg_$4O9$B*A ôVQC_ rg3 g gYZ7zXZִF! *w]ŗXi%qCmMݧ!\`|(GN%1_`,y[J̜" ~3`ބS"QIi?+nUZG?AV#(~L?6)Fr=ڹ΃7֩,@^X$ 0/e^.kڈ71]&!,z a?*-7.Ȱ\*"PFz &f>\iLowZ;<)-o`kE}~Bս{nr&1EsǑ"T*^퓗vS۴މ#A @:&kCnʔC5u0A2qjKYz<_"ƽ ԋJ›wP(wx+IZ@j<`pܧJ}~. m j]cXW];K]F8-E[/q0 0\f (Яu#^"GpހͬJȒsiIJD'j\8:,-R? 3ƥm? 2neXn.nC "`tl8]6%.iw Y{ ip]9xZtkgS= <Φb zU lvMB{ \v$JCF2=-ܹG*ZRtυIԧ2DTΗŁǜG0uֽoϓX<@&G3;_ WهmE#7#ks>1\$F8<ݦyd} ,̇ÿ# 5Rct$QKLJ\5t}+~]&#[~.}4B*",/ߟ~/}<Ӻ/$R)>0S*Š&ʏWr8%E')يH+UaQTgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467ed04863bb10b7a9b58d6de6be3ebba7b0109dcd94 2cc0a9e122cb6bd824fa9a5160a29362d929275469c6467d939d550fd843ea6102858b08077a3d61