SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 a-| ]S Lambda_Free_KBOs:threads=2elapsed=79.328cpu=129.412gc=5.344factor=1.637zXZִF! @R]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫp 0>!})Cpa `9k(ή%/׽ ~儲 = 1O-5KHMϥF_E:*9Lj5^˰"^fr~R׻bJc|J~}M<_5p IZ/ͥAo5& ֳ;3>eꎋ6̣ڲM9Q[;[jvy;eĜsYg:,dqfl֋2DKC8í z)`4Tޕ XbW4h{ eP5JӞ ųZfhl'CF q[+]|5٨.<|`X:GA|VՀ ~YXD:'9 WDp 70s0N6j#}ok\paQ- wB|ڙWyuyq42jXE0[g}sڰirǢ ژ8)IGbwC8v9`1~A&1n(C43J;SvRk㸨_)}|LrИZKcJ s02EdE &e Z{>*a%6Tj?e7"K)DÖQ1 7]d_Q` ce+6Yd׈%HKiǻ*\aB ܛ"!W,yؠN F3[f큸K{`Qϱ%|&n\T5g _oi% 3 鋁XJc0%wq< |]".R8vSjѽ3d횓͞|jY]1hl8]B^%LDf^)B_'ֿ uvt9#/:EhF則#= 綉`i|?hA BCv4#R5{!  ͗"@{bB#l{q@` iROUЁcMM=?=LF hX|so~suf!Ky+ʯ^rgYZ7zXZִF! ၜ]ŗXi%W~Ċ}h‡TUuߠtiE(%GmUuܰܕWb:p$iB3ڳ:rfZ3j|r+ϑh3B*>vU7 "#AÅz Zك:;|Ayz[ISGy퓬o$|*G@  e}g<Z*.dW@0ܠJ0I8N4T_ e3r hfrc [D>"=G = LQ*U߈?#D8ьEzT`O)W ִ-}ԌM:hp ƍ\2pF1Rpu(8;m&]lV.e">w3=#و& 1S9 Ž7ѫ/Gà !b%j^*R/$NP c̬\(ԭjsI z|M*$66`tNIVZM`\y?07K0JY? - Lambda_Free_KBOs9;9t+,3$fu9D,໬*(U8ޏx$gD3zgfmJGldre!?ʋσ&b&VT@C/hv#g9tgW1 7[Xõo?5 &o-U_z3Cvߝ.tPQ>->wgHUJNa.g9+1jl)a0},/8d@M2~ˠ$Q\0g${KO4S&;1@-= lpu찋P I~Yno6G΅5ɓF\nr;Ky{B~#a*F^c2IN|aB9c-5ڋA$pK}4 =MBIjO\Xn%JJ&Z_su7WJ[x~;䐞c* EU;Bz|s4y7G~tt^?/ě _38?m k8o|)]Nx@7$T OGZ# U& U|mn*q0`j #ߗ"VLÈ^m`Q<e $bǴA K ek@2Hqι%L"R;6]>D|f=;9n[Fij'j`Vu,< ͗W.P;6uqeW5)=mQUSREFCUD+Ɂ0נe4)-2 ;쾎u$̜2r%81W%싏Fa,,d # m0PXpqS0+XqA GvQ " YdafeU[ۢZx 3KbzrɈ}-QnLI /LUJEb HoAq ?XZ6D>qbGuVRfP˥BS;4ЙHoaΗJ[E\M{|0a ZBU:/[ ~@djxC*qfl{t7%7~>a¿:w'K&^ޅgXcbVMmt8gNr] }hsjn yPdے=zGfla: b|̥[^@ΘQEmT0":T3GL&}=lF[ 9?8>.s?ҡh&&)𴫟 2roR'^osG)bik]64ɴG&y^b.< xy|5hj~" f$s)q?qjbqGpq_'?$L>qf.]?=!xMeHyUcb19s%0-߬U#@>eslͰX kxi 'q|wbXq)G,گ>Wuz[MDOiw%P'zbL?wV0.a7"G Z&[t<;en[]xM #/+~Rn &HHR/m6>E?Pʆ ;F(tY#\.8>&96:f+ n!OA2u2@#f~&']3끬 eo=OQO*-saU0{]aSfaZ?`J1؊־oY7pEBTZH{HmRi^' ,d8Y}&\- Mab me$hW A\ O[Ȟzw) 5ov_48 _b+FVBN*f8whyCM0i\3{!n^ޚ,`ٯ&#:G2t *]U|~ ppQsH\LEƖI|廻w폹IJKE!+3*@Ua</84 ߜ&P8$86s);Hr_ #2S v/Jm`;ۼH?$[ )n YINr?ӯ.@.Ej沯@'T}''XD:!VyVEL( z?nn,)1~dBX]@{8$l̩}jP 2<FrF 'm[<Tr`%XC'.?S۱nk8T?+JGnο[p>aHYR5K++^ , Yokylפ09MBb4{'A=:ς%4n1d2)RBq:Dԑ3nIvDE΋* =)t}+hsQH~`ܾ$ 0p29VlgwĽzР{k:҇io4NGɱݔBMy` ;YF:6"s{o02-i&<߀ %nLje&%;@l(DXx Ҽ^hkXx"C:ai$ /GRz Rw]O؅#56'r6ど^SUY!xqXUʾbw{gvЉCkŷ0,/`)*$3