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  } }x 4D Y% RSAPSS:threads=2elapsed=23.594cpu=46.124gc=1.308factor=1.957zXZִF! w ]ŗXf1-/6vR[Nk#\S\HId/X#G̑&DEUp>+wDvb yP#U/pUghH?&QE&p1%R<}V~3!^a'grd+ppjoo!x`17#r]Pe&ֳU95g刭0-zqWJލDzvtV^J{wI-<X;&9|+ TK,^*8f%myщA o^63)ZFkb޿"өx]^tZ@#!xj?/=A־3bmqe1jSC+],f-d+6d6=ȝq2Winn+,ǧbpLli&4&' dvwW|pQXBݡeO[}j Nd 3 ewA۸8'zh& E5msI@(L(Ax \.Aeٱn\7Πٜ|kM@4Fo{ 7ᷣp>nAa5xg2,rޟ6CKqΆ!D|@A|Amc殅 iJa?d^KIW̮Ǘ!w؋c>կщ. C Pi-$f y! x;<ˮD' CaZtKS*9'm@wz\3 knwI|{ωG׽-lFAs?z3U?VOoFsHjZ;l&@:\ʻL^~PK(͸BٲO30Dì@8@V[߫\8ª]essm)\uȁ)"ʞL]1 T   RSAPSSpӹ)fCKRXIUWDo_QԱ_Il-!Ut/3&*@t7gl3PR6U[H';<5 *J68ZG N!mA8% qMR!'UK]hoO3À?L"h:a\ۭG6ڠ2NLlX Oz<'XY mX'q20"ɳF 8 T)Dk7UL< g8 /KZv\/]ԧݣ7stJIho5tIϚ\3mdy¸ to0 `/?`Pc$+v\E YD;)k}Ufh! O/4O2,`mĒ?x* ul&ݟfu1 6wj??5f:~uE |O 4لɽ.VNAIr1E.ۥ|LnN㋮AhƋh#wXmӬ+Jib*nkjXvӪAi=>D6lUmVq?cĽo:lJO >~*NPSAW4Q*\aNj& Kɣ(/\q 5hoFI9>,qvm#KKKJa8շcgh@.x8"Dc@ld E@ 43Y\X>١'CEC1ݱtcX ֍Uuj XcY :(XOPLf@kw=4gt/W/b ~6"`gC>ϧ_ ZxDh@uawrl %y 8JGke+C_?VqG|&օW{&6,g6Hw;%A+ǑU.MB`sr= ɹaG]>?DܧY~JUߍ=9jcxk!,GCP >9{!gj3m1oAn.2d^ :`CfyWW\Nqn:Vx:TcჰG?_<8Jjxg;%sGFrZkG1P&s{hG8[ +]i ҵԜ(e )B5Y2.K3ԼoI'z\v-%'~X|EAK".gʟ6;9zFG5iwlDAL]ἕ/f-6s̤͆Lb&׹KȿӢhnWoKu:fmZ>7RBmnoRC?_%wS2W,1{26 &4*q^%dWw`x=9RqR{O}Dea=3ӰYZ j]畘&^H9 4sIOdžV v={\gYZ7zXZִF! w\]ŗXi% Pv3i :Lv{s3YƐ'@"PuYZji`A[=D7# ;ZpX 'v"ӫJ&ω2Bd9NkCL8tcbP ]s!'iod* xŎ 3MS9y(| UPy eSP=.}?uǒFmm; 0T@[c1lyK4}d_Dx3y G8ǵN㚃#q7Z;uS'dx`֥u]TAM7G$! (T},f,S= P_ڪBKX-k&b2[>Ql׸Kk Trݦ>4 }ʃcU].9DT 0#hA&޾!I{cff7mL˄׺RR* w>yF!! sT ӑdKQw zD4&F30bг!fyjSZ"t$9D,Հ?VK{O -2yϦ`cY\BrX~dQ-8meD#[d+E]^#vz,th!v3QC@č|Kج 7/W{z8DM\3Bҹ!ClkHhMy·B+~ͭcq LengM;Sb^Y^a8nnON1:%y@Iuh{obGa-c,h(6$D6k] > 򥚑h`hٍIf#*lr5OB*<d`,RۓԿ(!_dگ6 g@׋c(Iq#]#-[[hפz/E̳S{f nZd&wog-i\cTXoBA hV5-"tURqN.TuG'8 }/Az6Ek0" Us֑yl 4Ch@3j|hWN-R,v-Er:S{ 2Alh =c#‡!9Ja,*[%@IM͎7VzmBe_v-Ylt{f`ܖ݅t0Lק3Ģ3 ]dyh-qJP\`WFG>rh"oByR!̣b IRlL8 -N $lI_#%,]8!YWD }걱U'v,y>h]aaw9e^AV!똋zD~aK _yNqB8T=j91xwRCJy$WI3ƘM,i_gM=X͒ٽ?1NImZ▯1;_*xM`m][H T_ާLQ7[ۄa:YDs.o 2p 0]4q K UʱgYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15ea9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 5dc9c9c9b91b5b8181f840ae75d6b8cb1bf8a447