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 --P9 dTL ]/ Locally-Nameless-Sigma:threads=2elapsed=41.209cpu=69.056gc=2.840factor=1.687zXZִF! "ki]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,R f[ 䘈ڎ/C`WDaIoLҠTgf>xNTcesClAlT}kem'ږQ ,)AD8qLx1ٽlpȺd/(vqd4!-k/Ծ{L{)rxLG K:.-[2EKᆵKz M"0qUowEEDim9mX@2q?A&/?nP jV ?6,En'peWETh8U!]1dp4$}F &B0۶2kk H.L&,Q#bT( )o*l ȩ>Noڰ:hdF&ե<@בN7uVz)HׁR fRL?E&MoWý 5t:БꬔǪ:. nq $Uߓ"@->%-ho-5>!C,-B` 'Rٳ2eDفjM~sOc-CSd[r-LLoB $ Q>}ZOf B(ySgh }'2-|&B`yT |k|Ӓt{`+xiGD=y*A[m@xLqwPʩƫVnЌ e+lD:V2ԱgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXB8U15E.I'02 ppZsU69_[&ӻaa*폛W vw9G*'iuKGj=Iw3ZKsCo$|R)9=o>cٍRJ -:UxIM' i-ٱgYZ7zXZִF!  ]ŗXi%9(OTl?d'޲Bd4 ߈ҕ#t]ٍ}Fw<`H>e ۼ'IM\[w$"#S>qtFÿ;7*ŞG>gcaΣAJ9)w6 EkJ22geߔrqh؂IT~jRaoLMV^B j@ۂV_hSG$@욮L扵%FO.Ĭ ׸K2u)2d:ulD,3l#a@A՚+^)^k\)YrQE5D|3E40ҙJ>@QCڢS$q'u0_Zr@3S Ld2}n/LjS!!*|̟]a@"9U'+;z8BL{-v5a*c#;3829=G(?Z8=\'D%şY4|E((SR~X8(0`qupMBH $g>m\)E8}z׳v?*Y`ړ{]u.4l^z")K9/+ ƢDi5J*򪬵MrN)=Pohȧ}/"ȿjx9ܱK0,2I4- :-==dꠡV.8$h6eNRϮeH:lb*@!Iziy!r{>BoH5jTW8vmP1 i9Ⳁ!z7ƻح(3r,|IQU:Z7o&'MӢ٬E}\+MÉQ'Ԧf2@|z {OT>^N"R?3Q ˻e ŵP dRrN^Bko68mYB$t{kiRN]2 Dk-WxGD73ˢ;q OW\%mB( R̘mB7ONg!,,4l)CTCv2@ubq^Pa%RbY|A@>rB ^DKupTY[}#w`PFǩ8qQϼ>d2VRp;z~Yq7m HBP21ud%\oUv׼W\`j uӷ""?B}\Il7B3R+YM ƻhh8{`ކ'ث 'F(驖eL  ĵApRˡlɰ2:•Qy*-FtZe f;e.9V!XhՌ} VNA+ZF9W!^В>{ 꺚{YelYO0}v 9Jj Z`㊟bښG4GmN'*ɩ=}\}5aQyIdIvG~KGN6Փj'U.'=*Ɠ{BZ?%qNK)Fx#c@uenP8Ֆj+pjKt3u' /xC>89&8G̰9E?K$*GG69Ulӷ{xb[e'F+M$.r'"@@<8.35EO?=1eiuw6*]f1tb*?2+a!t%i-T~].N1S%hϯAP]]ihC..L$+銎r8â-zn9j@j*B{}׵F c/> B՗rbYEp]M2ʞh X]G^)9Nw.5-+6ZF }~Ng""rN!{5H.0`efHZO@'I`oۭ͟.gYZeb7dae11504e2bfdded51846b8ad900c164017973bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 9 Locally-Nameless-Sigma