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  # LL s Rewriting_Z:threads=2elapsed=25.471cpu=46.760gc=1.912factor=1.847zXZִF!  ]]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`bo-sf9 Р6`x܊S),VU4rb/下V|X>]eC᳅%lIٞCvb8PH|E]pCܯF* *fAz- ̮fBTg#jqhԶd]B죶-6>i=f Ϊf̥hHR ~n)4NZ@fEG%vHeE藝`Cc'CI;K'XO̠8-q h ndK`ER^ 6s~_^ @#w@D+MH5:す?Z)^9ZnEdtyatԛ_ՍW D( 僯%19h?ͭ_:RĦ׃v -;|iooߝQDbZ9 %O 'jt7lKj zk5.v&SJa/`T =ۀPǓ塅б.;!YdNI| rơq$]Y#=0>UՈHM̯,ك64ے,6a^3r)BSea^r;V;r{d rLz|зElnj /\M̤OqCtJ3Wff.>rdNZ&&7R.#& "j_We2qx>| pѬ[@L ,}:•]@A'S{Myv6MŃ*d#PD<Mh.MMm\ӞBpiA.a>%85Qs!Vw,0C?.㮽 |>AE嚖&L=$ZƓDŽ[i@:偟1Wxlmr ƚ3q٘pN(XW:g]dYiI J{08w_n|1L}V("p+x6.UسTzp8s\)hhD._>)k3\">n1H3w6;Tn9c# R6 deiy2@`>l3ָ> _8Bm4>e;.q́[ Q" 2l)N8[W,0Pa.[NZD{6U#$0bWE ~+ Mrq!>W # Rewriting_ZQ0~!lˡ܎/;i@yf5zalWE'ߒyxJD IL*{ 7jOpmF#sgd6[ziFo{9bN8yz|z@?Y/fd 7[=gՌ"O0)omDq /rO&Cݴ԰?JÚ-]I]TFx!!CFzh2(1MxU^Xsd ULotU ׼}RKGb=6 ɏcΚJRtD m`q[/"٣݋+ ~3%%Wo|IJJ)ڠ?a8m-߼rƌY!.2QkQEk:dz;ć9a;֕b:+8V#ZXy_kJի cQ*B'R ϰuz7&|.[ܦYV([p!gתi>f.`1-E*bH GO4ﺮUŴ$ /Y~PQRmJ`f.f';4^џȾK؂n `eQ] ʼnh:ip diPZ%?x6h߷wB<ݏu,} #*$F(_[+X>YlVԍ% _ij\ */Ht.(ޘJ*RP's N /J=!SҝU vA>dGX&j Wh`;",𦓒BwW`=)O5XOy%&w}Hn65qER$?5t1Q$]~ldCME'w,f=U-Hdc.!d3#otpTUʯrK95܁@|VLb*6!~fI;:Q^=ݛmP?^SWz4 Hۿ/c.C+~(r z%Q@++|o z,b2iVUD<塢$!x{ eg#/"`Zy>^CgYZ7zXZִF! ~]ŗXi%svF5$KgQ[f˖owp6Y0rSGznEcJϾl<^_"d -jr^j-\Oa(\?ʬ[7U6=s`%:J3n $-pA6YVl w;G$N}qq--[_Z^cjlExH*śZWŒzK m.QUF  gɍe@>:): >!;]u b_NP)4 ĺar6Hg2B\C4 `RCs]c +e$AdLPa{80s>> A]vS01a_ZVf-g4Irz}LpG@ xGCPH~ AE3 faY>eԏ?V⾆r*Ua UhTv(3ɕD e拄\sh"ZULz'qJ?1G\nNy}X.rj#zVb)eZM^I%2"[#D:A΄eORpOVFũ4W^n0Fe܆"p@â[i:)fPƒyS|$k8#tڌ 9ؿM99] *de@6VIUGGg /^,8`^C,+i4Wx sgN27cpBx+t<>KlIEv>AwP#vNLF B ~qlHHC\:m,5+'x$ d!9niҩ;uIr fFS)_V:Pִ(g`S 5 \Nљ X:e,Y$cO 5sSc.IH#Ϳ /b9ar/umfӚ%ps3E]L Uj/Sia7ȶ njYfb%2pcISYY.A68A%KpC`uoiV\lh9cM=ehgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 383dee4bb60284cc7229af5017def9c12378879e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 e0176e519be33fa7f7b452fa7709992c0dcaff949711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 94e8765aefca2a00a923d614d1aae3aed0ae42ff