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  ^# || % VectorSpace:threads=2elapsed=59.508cpu=97.020gc=4.404factor=1.637zXZִF! Ov]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##Tc{Kh+N #jP0i?Љ1] IƟElj7?C7ZGt R^$||iET]x<炞-!׊,~.F f5Xjn?EOGۅH-K`TKnm.ДS~ j(J=NFIl)L4uh$(y6@|+p|yr\yS8ԏ8Enoa@.LVQGQPI#e_W!7Nf]#YsbS3bjO;9Cu5 ,I20Rm^b%<;@c2%[`P~|'G_Pb 7B96߽2Jf^,@b" ^zm4w\,H=b3~Qe~ '}t._ݰloQˢq&C?i7 tَܥUpvY8 i4ԝNfz~?غn]9@1lݕ/[a|Zo]Zg{3Q Gv GP ydHnKgw؀],9u@4|mF)yNG.C%Tjr%zx  (X2N옆n@1S_ R%-w'3xhȒO( # VectorSpaceO+_!yw5-U̗.k I%.d22]^ t]N 0@n&[%{ḿ@+;}B:XiN-R 6S_#p.V]VMHO9Ŝ*  2'MgYZ7zXZִF!  ]ŗXi%A"zXZ@D%Z"T^ 52y$D4lQ2Sbr[5ڲDi:Pь<\~ⴢ#'O&s-@ogp5S=6_nM2:vpS0l gs֠H/wF%Ӵ!fa QCt&dr6B?*ҙf$O9hZL/YJWz/ϐfe1'laKXB%|Yy (BS8 ܑe+ͭvgɧR~X:.% \ ];o w!I3 m)L”ȥ3DOλz4r Stw(}9, b^>)8WGT:}|e3_[0o%^h^b `R$x8GD(%4LuU/v]wkzy+G'e]&C:^X}ʒ0J%.5zv&l$u( n [o8Id k ^eDKG F*9u"5O!~3G}-& ȗ#C }r'ٮ1hxLu_9tIŚњCERɲ*KMlv볯~|\ĊSÞ\]7=tE]))2?Z'f*6ⴈv"c`:8``Hȇ^gO%$'qp?]?BWL&`$fm{=^E_zN,S9$*~lb}2.PpZ)|f2e*6 ̇Wy{u ˝Zn'.ܱE\Koc^ລLN 2B+OO7a%ϧ<"^x8^əPF$2UBjyϷQ~+[og9r|f{/o0:Jw ҃XFo<]+>Bð~U2\_w7+{ZvMԋ%qEqC)4jtNԃm{fRD/l~o"Y7%ėpl?Q Th|?>#n{'ZYёŞam &h{܆yG2C6w܅PhId4*0Zrzߘ6sHuDcgJe: E@Z!SbUTI>YKJ̽hRC+{*;9F5pFdc|EonMB{B@(:R%A{Tez-P77Z7≇?o^6%ZBziJWa\$7[YIxJ=m:w |")[$Ê Wߓsg'(+U-woEQK_ gvD "`K@'sFmTxApT7}YX)&K=]$ev |kjqnSr@_׮ o̼\{]xgq 5d=dMa0+Qa9@6q Ƌ&+n.5fR}"[͏͓ƳUaR?%K/}gy t( (nfMF2SLgzސm9T-_DѦ5x}@袢xX o9F kgp!8.{3&-Xd+^4r Oxz<(I2dbűNP|hA˧Ym(|T~_ܟ_s G3>D=.7FWg}n؁hD$),@rn vM6j`KܑT Q<*3{/|.rd7܃F02u 7d Vpm8£0@W6`{RI%$B'[ S503_<̈[ijTӕX@ \9#Qiz'U6|pr9)|砱\pF8L!Am-2|'2(J/("H1繐΂ *-jlp8'Qhi 72lE=>" _-a);a `Πo>Wiy.D_zr#!8š9k| r.A 5+3U5t)pyId .w=q& uʬ&ES'?ϡـ%YQ%XP Y㽭DJքP`JpہR{GƤ8BWYTCcR8lȪ? _ Jװ }K+Ku{Ux8T.j]I7Z\FZ6y elk` KjeݦAC-R˞#ZDzjX]͏[ ;h5D}VFg+Ѳ=o\qL.KZrF&84H,R<&B88}/FgYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d969735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 0051ea09776582b9410b18e4da0feb402522d186