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 %1 T ]Abstract-Rewriting:threads=2elapsed=34.025cpu=55.596gc=2.652factor=1.637zXZִF! "O]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,àmQ*(M`!=պ%S-5+_GDT\E F`/o5 H!yMr iM~G z ,d!ׯ$l9/z Y/hM닲x {Ct.$Bxu ,d`qmOchMw@N'=7e1չ(_4+oodԆW*wl0W/+&b) ?Tsꍏy/( 1 Abstract-Rewriting*M\{:x1!fb+†JKD5q"Q%ulAoZ=G@Ȼ xk7gDŽv Ov^$tcVЈJ@l[niXLp۵&]Ѓ#͵{_繿 뼒#1GpT˛M7O%\p0R+/a?@*fӐBH/4Ć=7^zӒxmrrUF- B-mHfg7v_bIι&rW+%@/G#=(>H> %58જKu{&ډd=\GíSkax,_KWT;KK^: %4lcH"IT{i&v8uz VqFf +}_p]Eu<+ϻT=T[R1 tQ.iV#'X,2<? JhB~&yE/H.jgkK01%fn[vjscq̱S>j̛ފ{p*>SzaM)pb"\AqRYW)h<_0X/#?eBG?"Z2Uz\}@`L>Y-7_mм+h5Oy *yif j'2v `==bx*_hz|ħSc5Ƣ!S.yAy'懏,!tāi*$q8a?Hd赣:sYC=qUr -hn&4霨'!ml _6քڗ.0/^~1k| q+\yx_Me[IdvZ|?{$}r+Ma9Ɋ:^ z [=ler,׎~5JW8Sˌyp"ZuAf=Sy1\pi87āΐÍ57365 D;Pɖ2,i;= qcY笠%À:@I2Bt&*y/N-1,΄x'oG!2qD1vkv0f0]_3kρmwP =Q_\ W a?<,p0(:T 2Bgʈۤ8F\fǺ`Ww~6͝"'U"Pf4ܹ@64#?Qr㬟nˣLm:gP ;Kf(Xż3!Uq)[{V=$~l[^D=NR&DGLdަ#2" cѸYP c9U#_Cr18`/^*2LwqYFpF_1|Tv!/[jX'`ⵔzT{qt(B +9Ճ(*XSUdFѓ6_FAiO [W u6R/ ,i'H] Dϝ3Ϡ7=(Pv Jn|Ձv%ɠ4 %4bkەɣe^cH(ӒxK&^v@\@+8;ؒ&k['%Gm/}5,y;Ȭ*Ze[P:!e\TXqFw͗m^Z#LϚGZ&l *hue ҹ*:/ <9a?4e,!^mjs01v%XLv,+ΐ ȣKNIH8? j*np#J5 wTl@CъC˒\KdMQ{p+ su V=Y7w)In 8d 0 76kF"㐻"UZ4p/>Xelu٤p3&-crgpA+w l-(ym(O` C;PƧ1SW%Wh`ӬORr]cy3TEa Hʬ㷊V}/gnqgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 3ecfd896f26c5cca66da9b9843ff54ea3ae5c01f 489cc83115622e6abec1120f6a9cb06376b51e20 4b27138d8d54cbbf4f923a22265f7f3ceeef3354 4d7593beeb8de8161a2b0b3016eb39eef129d064 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7fc44e8db572219c11963b8b8be1ea284795dcfb 81de4762b4e143259c5d9fb6b097811906b676c1 87c940b52909a60807a7fe1fff397bafe6a6ce18 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bbd26ce1c989093f4b03a80d62bc89a55884df52554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8abc0749a4f96de53e4d56260de41318a1871837d0