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  4 s/]HOL-Word:threads=6elapsed=8.754cpu=37.604gc=1.212factor=4.307zXZִF! ]ŗXf1-q恈͐7ӺV G-"7-?bt+#6).&qpZ[|iN4f7B=_|q@BDi*ok\{NmRvd]P#H0(멫?;L,4>2R;Ȥ`<.fH@C@ΆVRW~er4)7QO|@y*`nQX@> WCdE'lqӻ̺{? K݈b !%+LަE/4 s%s[# A_;!W/qQݑmCnOeq: J ӳ^8G CLdU"?tC]*$鶈Zd|X{qv7BkVbAvV խָg)hP$ۿiaϸx|d#M -Cwܫg@àD:j +"KeA Oz$"ڿ0ͷsse /A+tvbWKMzä\]>]0<|S EP1m UJ[)e9ג='H ajoCA R5͡RP_8yJ%)ZF%?ZOA,sjSEԷ:Α`h@Mг|eI#eܷJG6wN8[0*kכ)קGG^}] d\%®\~|@ȉ&;VAʧ'׌;qt~KtxG^kx=4"t8o?lu('!TSK847e+A_fIcnЎ}.0&Ji͏md?ȩ$#~ g( ".h o#i4slƗcN DFsR&}K #F&,^W۸>L6H%u)L^/R^OGc. d]$n}rę+<3|PWC P6!.D )c~|C5E$Cf$~%7 60!$3^vxv2933 b2.D9-W7bPY+o-Occq죥?6TɑeekU_igAHgÜp6OӁf wixp"B7xNoT Jfg"(e7$j&yu2YnV.H/ ލcjsP2>e~ |($:>ec𬤦q΄}l튧"0$(f^j@j|K*"K $q 5B8tfIьb :41g!'DH|[ϑ 9jqiVsfvyK@uDjAeF7( ӈs؜1 ӷ舭з*8L=nռtﰏ5浯j/ W $jsq@Z}kk10(zoFiIШxmEr4eJ FDr.**CQRMDPX H5m.Ӻ7gr){P!xOZ Hkk'z7/dѭ 7(='|] ъك@!#'݁~kZ|$&n\6ջR ꇨۜ:b~C͡՜d琓cD߳$!ż;g*kd` 6Ih`x@GĒc˫$𝫏3lBWRWM| g |A*qaum [,WkW+Q&nF3xN-M)ȩG|:$U;E ~D)YcYmJSQs U ͬo خ{:v/m}jPkp G%)*2'=zLYTM/'lkQĊjO%-IOg8$c@T!ռa_`nyw8Z ҐY*P*^Ǘ`&i|R^XńMJ6olO.'70\%l֟2fRnf у{Ua4ޕ^\ᎆp ;4P:swKah$nGV%I1FA Dy%U? ;3԰2<;(:Ґ|;#>~[N><܏HhC c~tݳ+'2 76mR GJ7lK|_tL;:x׷LԾDIWRt0\c¡3գ;eI`MgCRǾCE?LZ]yM=XRX}@]MawsF~e;wc 9TJ@"3V~Y$]$1ZIO2hne_uԔT7%&ƛЕRu zquh TzwshYl(,%kY_]).BG |z[ r&Pӭ""V9_o,bZbAAp3@SxSl7ZH!ξ6QVM)i`&Hɋr=hBǑg!X:^iQ0IMy$lnM1\%@Ҷwf\: urC  C]@lG7Ě&mbr4?!G$}q]*~&ƋFf{졵Bޛ`5!r@o-z Ϫa(w)K؏#:ZQMPdF2gYZ7zXZִF! *q]ŗXi%-0D~)`E!XI:H]P|XbN|K*TM!ck!R4_+H{?W\j0D0E$10 &jx|Si̝}A?u|E5d70aAPTtc[p*^gt|6< j(|PKpb~S[TJRAgi˖ipRoԍ3l?.o\5EMRSds1La̵!7l:>c5caHSx)pm^nh.7D98-'"ffȷ֫Co59Ƃ-L K>p'?9Y$ÊMGٹEPiGb^3d=7|=yğ1jRē>\YQ),ljڞ_7FvlV2 +UoAD:d^-k޸)WSsm`wH AZRarC@~w-c*6  3]HŅ̀Qfr:ZKx> ߱ߐ97KBoLjL0T"ZRt# dLR7w `JHA%D1y~MܥtYLS[!utz+ڙXwMpg~r749}H/)PT$MnB)1DUL 3Xm_`\1p 叇.vDFgՈV&S |kٺ΁@ao|r!f`eO` 2.H2R/mdZ{N1GT*gYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467efd236e8aaa6107e7fbe24dc74056d93851977f4f 47470ffc6db009906b922ac09f945d373860e313462b6fa2b559a8d796147a6e382a1ffce632cb1a