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  A A4# L ]% VectorSpace:threads=2elapsed=49.195cpu=85.080gc=4.148factor=1.737zXZִF! N`^]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nÌX#S=z2`m-KH!M7e7%rzi: dgʴxEw*+Uב6Mx-Xk \T0VW=9g@1"`}< 8u2g˺_(PK4&ZJSWv3<5S|c8~r!9ɲ ,謯B *a(,W$"5Js{XZ ''CDAA)D1##^ZCHC[k͂vMƿBV%"A'%DgYTP2:%W9*N&v ( cMNf7=>-~\84j&F+hтuct S[5_};赅 $F=9؃k5mCy?U~H0Crr%!壾E{yR، ﱬTV%=ݖ;^Qcz@x4;@h з!$P^N 1I1<jx@ܮeLz^n7^O,d% Ю]&;U>& st||Jׂjkp{%o9r[𙍲vwnc3%B o)*;:N,"a _8t7^#Ѷ.k90Kѷ.[6 EeY[D]g7tWrJiuגsNh9MYOԺ l8H{ju_S(G߬= +~>L}kīщpj+cJ H\$cUA?f &<kiN5O^}ZjL% ?5Նk C=s̪{\C脊W- gM a*ʴ-O~~хos4Z)CM`mɩ58b4-^c#WJqya_ S6IaQQry#ϞxY$ Y%?]+!5~nrFԴ˥:3zfY0(#R$n7O21n[S)$>7bfs*D'pϊ|)6jzҲثUzҰ(ņi}֢||4N(e5~ u06TY*=7HbJz^8o|KIu8)Cy+X5>Y}w3Ĉ{==hlj.lFX a/-]Q: ,Y!C?y(  +U}1gYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({xS+sl$I 1LΑ\ojZuyYT."DrP|g\u fl,w2w70*15M֓ΰWۖ?|-O${+ZMD2PgYZ7zXZִF! 6 ]ŗXi%93*]!Iav8}6u=ۉ1NS7v۝΁@NRIV'J+c ȏzm|s`Um_TK?~`㚋 RsӔkᅈA*aݽ9 =Κ1Ḣ=iUװ9jz+b V);yJ%=lx'l|>q*^9lqн^"Ʃs^S/+MsXSO6/2o 9rT( +ɏc"mr7{1pp>ڔFNK|cPXC~Jx gRzwB͵g|b z.ͥ;(1_+>C%lȎf)9bk1XUf jtb0ہd& dP= ^<@ΡE2 48jQɍVۮ"?F7z|f$?Fi}%lIEeC I[8[ù.14K׌[E̚8yT^ 㪈吾lW I;Ҭ/VچѼO<:[,Q ,qz |;F=ܙ%j3T_rLjgor^`j:W*A-Aiu殎2>1R_(Z"T"`-A-|> 6"nZC KS\w;~\<6Ak(KQ'Q^.s&v|2PGNFS"YFȃ+SǂUH+e#J'H׊7jqeYVBE~NW?ˎ}~-MH {EI-Fc?lXj@Ŕ"4Eq]Jc?  YnQͮ-UmL=G`b!&C/v Q 3<\'@RK?7t.DGha@O(DlAYrKi5 M0^WϪ+ ]PٿdW;uno+8Bvl9uQq!z {zH.4Ǽi{-Ȱo}mhf?sZApǭ'>rv fHWn ֱNC]XHb4?>G$߀7m% ܹ[؇aw$틥&EgcmVv(<+Gml[mAOТ7egf՞Y[{@pC}^ xuW2 rm5^qk1yCz og|>)NMx(~=L.,k9JvX@c=co#=y/y"&":FbbueRJTOk]poݡS|c#]|p qGXOSNZZYl:Qr{on(T[O-"a%3Y-_~͘\;0ː)7Hf{TmZyy>ۥDzP]JR/qB@-sd>Cӓ4 p> ~x_|1l zː&zʛKLfu~; Jb *Q) @Hdm[Z;bA' S]=-\D,>mOƒ-fA̳?_U߽Mra(&h /i[>45vQk#2SxDv`)M[Q)ALdM2\̜PxڶVBX*Sa`MԢ'L}Q!'}_ԷNJj妿[&W%/oPC$"PL\mhmF"BVJ EƆCՋ*T sIRP;Ve#nDȖ=1|vX:cZ厶~ A\sl"4󯷨}>Koi7[ygYZ7b66b5e63786db7706a945e83a8788c387fd7869a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 fcda9ba59859ac808af89faf9ccf4f1165eb514c 5f80675785684d3d8499b74a4a7ad018c07d497b