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   p =s(qKgslYN*25ѫO ! }}~mWT' $$+a}Q2z%BxFER=ЌqfmC"@iOP>7zx hit !zu t2ȥ[U`pҋEdž)(@0|iJ,?3-Xa 쓈# u{Ρ~@1\)p֜03|X~q)m1u947C(7]!m5[^]TH60_S(@+g=?qAڻl{.5}0nA J;^ Ҧ8s~QSbw)qJ&8N y& DI_|2 QPᘘ`tK﹚wiA.lӓ,>$0Yk9eeF|EEߐebWFm&B8ܞo]BE 陌cfy++s %.N3ǯ(m}&j@ѱ۬u[thBlwcTS:DЬ#qIJu]I6V YaW @rL2IcIъkbLSAU0? nLOG~z\>@1) &ݴVρf'dYdR v}`1qcSx𑣐MC_=5|\4/2V3*Uu~9|4nE>Y{倀SAN|gïU%:㌀I lz(ӌ վQwLp;+OWM¾ڻ4  PCF8m|*ۀcNH]zc7 WK0<6mGh1-{4F SAcAGjgYZ7zXZִF! "U ]ŗXi%6uT}8),IhI,nfR IXX6}5;6+YpJs7൜VXj83%3(%y2ze wzq^V֜kcE)3aJm=CąiSRIJOcBtaˋi=c60͵Y/#K4[ F(QcΔ! .!S;Icn >*T%TUܥMۜs9|@Y~jCpRa˷mf,aV;qTy֎ͩ\l,~u|dia/wWL6uŌ$C5 20uEA@kp"%μI;4r)>ܓ f@O8]8p~#{T ?o $t}o|4t#h?zZZ@j^fbu=L˙4@2Qs^&;_MjٱT+)|<=|>&,Ym`ZJAz8h3%IiTg(wJ2i0FUr8;*uD^~F[j&n֗3`U~XRO?&|?{ewi|qpORYČ+i>r U"[hht3j~&FfJ?Pfa4TWF*v(t3[s:802Tk7hR#X{bMa$PXၟd+y~?TfߖU0;G,BЁT<'/˜sA䙫2R#鬉i9hCBS繠hn~Dž-XDRŶc#u~<iI$ wid9T7|sW.sӏ*8T[xXL d&%i}:SS9`I7˫W7)e7FOօFbЃۘ qTF Ȃ8:u:ΎT&x k DNQioѬN-jC^|[q:X (٣{xp jG)}6PߗuOhͳ4ۂnmks!!n=?nau~wgaX;`\I),-3&1g7?W}E;`?oikE@ęIv,Xrœޑ̫-hRXc{\~0 XSF U J\qXZ6&tz[R|HG4bP~ gw_D{~WT%ϙ iooepjQ2 !2B7jj\6>y39,<{ O$+DBD`Y}TAJy K/¹1qAWb["ij¸W|!Jv[X!/;o1ʡr" ) &o%%"X{qyНT']sڌ{i~M~&m&o 9t>KU3ǭhk*ąMĸ(aia 0aF!b x]¯/}DRI-اsa@9k ;`gt8tPJs"R 6+rt!frŝ'ErN<ׇM1ό_BUm, q6m㸾CK 透.~0;4 DDT_vL