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 22;) l %S Dynamic_Tables:threads=2elapsed=9.224cpu=17.508gc=0.380factor=1.907zXZִF! ^W]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8  ) Dynamic_Tables@|R8ikԽ`< AsQP(:-X{sP6QwSd=WLdC^–=nvƦM^&Gq_B.ZPkh>&>͛"kLXMV&¯TZl ש,4[1Xf^, Q2n.t5=^+Dߋl~eT*q]SmҰui/z`PO8Յ`[76 ogSn #yi;) sȆa)Cz&'gz<}PjsLR%Nu`g0x"?nADN&tܻf8UqА6@,r RKN&t0iqz}u?['~ -AޫQWi3&e9wPcϻwx P,(\_ma}́!x؜O:Kq'ĠV)7~l SKyϭ*$BG:ʟy?Pu%k@[Aڟ1(FySw[LS JP/'^ PJp@Nk^X hmpYu'wf'~0dFcKtR$mIrְH=YRx˛ܻ4 \FN(zw |o9Ã*8<Ӆ㉗^4+ZP%6Ƿ9WSi<%tzw @~dW4VM߯\jd8.dyȾt*[kLpNAy+wT xosGt(LLġ /I@9C}XWM?.ѕ([^ZxPu7w SH8#lloP nW݃¥np5~_Hd,oཁ %RT30[/|ű8Ye B|Ұ&lDI<՗.lmZ++q a'HEΗSUri6$B,р> sZ9TaL~˗omO^ 2kMKgypNdE^NpҎHCH8wN>x5 欲ľF-ŨKͥ_R$ tfap\u#Bmϛ H7o\}g\yWLߴ72@a:Gx=[}:Y)Tȋp5U^Ys+yC8FO܋lFHtHǟ)b85r(hR.9/;n i=t]l]d>zM8@{AP=sKss̫3fkU Ɏ |B׼SҠ|!pNnB(=[z(q}9?w{^-䕔 !Ǐ]+ħkeF <&;^Xz2ۖLm@ 0cHZ^sR Ӆ7uov?t!\g׃;AሀG"!a{Qk!KR]S@goI^ܺrL#/j*{rtvSRэb% Le ؼXYUvgYZ7zXZִF! 5]ŗXi%S^1s{&EPuvSC3gR|:qw~ U3%{ݝVA?>#JPovBYGgTHSA-M>E)ݩ441|pܜТC6 5CXzAof҈󟔷[{ =< ۸ h E>+!=_=96OB{\5aQOGi e7#3aDkɞ N3 m!Nsb ! u㍞/ ѫKVV݅U@ vFi-LWl舄noB'*${sN1ϛw^M,8;w-T6fSf϶Իd5G}?>yjLAg77Mu\Y@rli^J0!ASwOݮx:` lJ@G <%ǠCo0?|EcqR *'SdDBFڮ \3R\zu##j?p#+PݜW G=a?ׯ$uTx\1EQ:L^,C|0ʋwTտQfWVZ;ߠ`m=vHb>Mڣ~3/8w4WM$Sٜ[WpToP/P2 IUATod4)@|_V30hNr x5fH^:qEa? =jR焫(-#}$Ht_wUT!?u4h>MIN![m++%LM8TmşR95Y^)? :8q[F6KL!T߳ Q\kgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e5980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 18c35a955a0d5ae23f325100aa73e4fc08a0e0c7