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  [+ d< ]/ Decl_Sem_Fun_PL:threads=2elapsed=50.099cpu=83.372gc=4.388factor=1.667zXZִF! -+]ŗXf1-q恈͐7ӺV ༂Mb0v9?cG&pkj}P#&g 4Mc15? sKhGEַrgdfq8DSd!sP_- r]Vn89(F;Qζ[!Qkl"̝-h&x%L\k;U&W;3=a:"ԅ m'jfԛ;Ay0Z}zGChv4;MA }{&^%X8$tok -r_1Vm,>C)s6 ; (pÂPL|xjn`mY+VNwؗޏm1WUC.V5bo )[ w[usSz]e)|aLa.Z2 MSLg/a<9{Q&tkr c Ow7K + Decl_Sem_Fun_PL6\;Y3,>1 Rt4Di(GVjIAQA`3rL dAj bwY'9v0Y(MnGv#,D%l1p[a_y(:6wRaāӡxb&DaXZ01V^܇[Rapŕ+ɉBQ-PTQDYKvB3VύU)g6W"/N@?o31h`P@1-49]"r"g8V~ 9 w1clΩ7Vج8IIX@wS$xpC?U%8t4Yt^Hn_wiW{f1O7"v,ޙ(`5爄 {`Ceƻk#Wp-y47 y) *C~1VÉqKDA0y)oz#I?oE![-`V'62x@$~v,򇟞&[nVm7}[@tq"{2) {EHlL 8>E;&N)ﮐQ]m י@;  i5ijuײ8kh~]MZ"|(8L CˬpJ.@舣E%6;2(9)KOka.(4JbVgh^X[7`u8<ÒJ}hW:FhsY&}/˴Q9( #/ ̮A{ [>mgYZ7zXZִF! * ]ŗXi%60nͨ_V v,]uM4)ςW-3| eK;,x ddf:L1J!ƯNsim\F)4 `,z-i-T"L+l*Mك:ȣɥO| SEa_O>!q(RUD̒ywp֐g7AqZc-E 4Gė14ON}ӓW L'u umBIk{gUq`:]-Vp&,3Qmf%)#DGsGS-+N,m:140AI"VlfQOk#]b[ADP .Ƃ?8yY43aU78?lgpk׀qOJN/,;i2fDvq~w\MNd!DwOwWe7eʭƦt'|&VV5)qAMBHl<Rqp;|2:s@!$~zWSy,/QQv$cʢ޸*=S)rE:]̞ L{.2GERH ^>}_|-㶥q _F8i x@uK,}WIUk\p9rdyBC6gDcn8"*|E 2:=)'nνdҐzD8jl̻X4~6J#iuLw@/kD9@WN_]ڀI<"N&O+gA-^3Ȝεx8KBfZ!~vR` ^tE!+6Y9N ?O~yKjzC҇ Kì$l !WێXg+bT@vUOŗDl+=mylDS^G(a4)-e Kyr[u~nLɉ0!֬*ƟZyu:ȗ&#XֳZn`5hN`tG :bf!.mzPoZ}t+8( s/ʑ1E!)sFk(31<*f/:Ec1/O#Yr-! k@D:<f7T`8y`3He[)_;O,\xGT FCUnYMjr,L4yzBNÛq3t &-_݌F[[i9LAZH@}skۄb8tpMgHgtNWFt rRl fuDy$qҿ$Iȷw `:NE[\j4^C+ߍh`PX2g7_v['Xdz,7"bXBZ-*22Ztg'5 Xb^eF佞)oqt FQ !;QK: kSլS,u2’pqDa{T{fMSۖ3d>dҔ"{ϣSoRUB3SwClĸ|AR)DHК;<.x_G|xcgBLE8&ݏ;B;$iq_KUݽ ǀaI]9vI$J_GnκD,Ƞ/'Cp;g| /ok_ 2(p=ZuQ8*NfBlD}"wڂXa*ymܙy. m3ylre{7Ȍ3|\uȹm/٥~fpDv e`p?r.g?(Ɵ;b|Ԛ2@?jUA B\,iG_@ٺڵ@6 CP.0`s=mrEcA 9n`}6㆒FֈrcuhB{ ]:;?j\پa ;AbPDJa2{z;E/kBNSjS2w&6?Tg z0A|m2^T3G VBB3N|j\uo8 g_݌3Ŏ[ߙDӂE46o;V 1xZHa­I5 {}R;WEi?,Su;KLeIؽp}IVKo!6'Ұ/ {ոtr2;YRl0F~DzϗΦV5t @QLMwT^ψǬXSG\#-^gU-p#xOwHY! nG|2V2^Av;|kڬdǢu%rs4iNS+( pm&mbg,":F?)'v{F7Q,P#{f N.ȥA/{SQ5Ts{3X]׊'ԭM=9B }6]Tu_ ׶GQ9;$̗~Λ #ՍK"Hɟ\BgCa mъf`7|#HY&Mj4n=zXoҎ,|5;2wPȊgYZac8356ab2ab7a4540727614c07177c542b783dd9e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87