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 L#  s Rewriting_Z:threads=2elapsed=26.314cpu=49.196gc=2.224factor=1.877zXZִF! z]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`bo-sf9 Р6`x܊S,x/\uT/G/5qlqbό#eA$˚"RfޒkWΣf`0 )-;d-$ 7aXnX}_z'Zόg'Mz4lP¦+[SY^y_{ó[l# ?+s`Bj~El>$5d `نLB y}dsB0c twwmM6C]k*AB'߆+FyY4ac[³u5t7cG^D~yr4肋K)faɭ{F]6Œж?b7?:3M6SO~a'}Dl/Nr W8-v--1BrC0BmJ t R A::4e:c0 P4{ 2QD#.56x?T2b޴:&^ w(+$(?VyIW!z,S\u@dtCjFkgT$MKN@ #2ۺ {loxhO>9$gYZ7zXZִF! QG]ŗXi% * T~L`LOLJ7zw}0UaP'*9d!{>{Ɣ X/lk.xXT-}Yv!`n-rNOfe?LŠW:yb6[gF'T๭z'Sy*ڷ'rElv\eڼsmC@U'R4{1whhZtT J#xIP˃ޢL,7Η311x*0CEJ : : $ī#;qGhA?w.u|J?=^NS}@uY7`Y"L݉WS}(#d7#%$`> oA~y\IkP07Fr,{loC5?RW⇼ujt}[p >c> ꭧGIT}u !z?jges_h7XOl7N$~r%_ g|$;o;Ϝo?+CL7%;\:ٸAѣEhgkij뺺+"!ͶO.LEu#jMx\R7dkiS8Fpa ˩G۶cW&ֿ"li%gV>MLwug]dwq8"}1xyy1tAgxIꭙ/դZ2|_s AEݎ7E2aFBMTu/_ҙHbxy׻fDZ#$#c9.ލ.@Q\ \]R[i9 _ѴHZ7e(9Kud2!N`dRbv`n("  -4Ùpx!(kcrw۾uT>>XL,F~zwps.D1_W0"f|NITs#80pQeEv2nh~ z[ `wC=[n>AC(OCwM>PNu^.RvޥfyNidi$9)zA[#Y L3D.јit̯;r3"3sCHN&`mou.`bpDQ+QŤ(/. vcAB171h2EKUGP%1!Km!NIZG %nIf}F-X }Ao.P$:Atv[GSlS緄 +7,N#pi6WL9r֙t#<,:BEV :R NgtqNsF=Tfq>zcPJ2inV6LZ#,cL g˛x@0΀CӝW>1F &,:Yt>1/?T՜ +`SN24ܓe{R$+;;/E}K^~&zOfɾcGyz7byһ,}B*P^-|z??q19: htc@F҂ogYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff94728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 222689177739fe96aa07477ffeede7ed288df9f5 # Rewriting_Z