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+ VLpޠfhlwFu`) [g V˥%0ߧL禪Hx9\$Y0$^Y|:\FN/d藼̏ rRpg3;KO]]!l\+U:7InVy(ؑ6qjS'2n?BҌ.IB.\>Q)@%\U F۪1#aKvȬM[FA/ {!Yb0'#|~!g7 F qH Vi 'וo%7׉2Y}⬃;!!V,pEIo(ݽR7 #9Ik~ņ zjzeg-wJ׊?ŮQ;}HB [QAww8)>KrOu` 2DT-,yԿ#h~cNl"Q-Ct8}G6I5z5/?1HՏq[2DRY]@v+| !ـ4x(}T:X 2*2t98E Zi^!Wz͜)펳vKΗ j^"~4v&a9~&{{Ė%l*#ʢ9*Y[yVjKR<_ŶAL5BQ,p5 315@yd͢>8sg%p. u%d0Oal 3q $)Vvg -i.9kA5`WåU-JR_?:29sq磄v)w_NQAr qsw 4hEJH.W' Ɂ#DB9^F%C~~1ڎgL4P7YLBN⦎A a,٦c?g5yS ?#$! o(@-dbV0w;s;jMb=_eTPdYA JxӃRiu~R߯"dOGu2K0jL-kO>.袊gakLRZEjэc}SU-!@d.mp%1%޼ݢh+^Xbc65A$E@K/"II7Gt qޓԒ+Sy$!I)3R Y(ЊciӍJ4Yi*ԔeHjѫL_T9I!2<䲹VS{߉O~ݜ˭}uVy+V& փ7P.RhԂ>-LY<5pZ]Ri <~21 (]U҄/wԔX $N۪gaod >|'&X d + Quick_Sort_Cost3|B~|R#kɿTcg%oP|BxVЏ9lAJ_fI:úCao7Nh; m*n{Ha rao~T5[lʩJ#nJC+%%ԝq5| F}!R{[x\{Ӟ2 9/ue{@dB Q l#"OɸQ6MCGI/4ecп<b:sWC 0e\s} {^"ӬDJ rDn@]}.x,{~@ޝVFwIe t? }* IE E|1i'P qb2(8p`^u Izd0ūy^Sr ϯt[F &QW0 12BQP: " Frwq0YJe1PY.[mY7 $pIRXς}<"EQ0Ҕ4u+8 eK\- N10zt].g-CRxu MBp^3x`h3Ʋd;^k@ [`M^分k!ꦢĚCf 87^*uzDQ$?TG\zΊ=4 dD/װ*7BlR$r ",yu|# 9NN>1z$HΝx45`^۫Ov 49:P83%`" ;(:ږ^ dgT])A#H^\ʙgc`uך]q1pQ.ż MHYi<(A#*OyAH`?Di<jfO-_fڰK0l3!cxKuk vC)hg6 :Z'*Ę*6yfV[r&䓍 ̊zVgYZ7zXZִF! zE]ŗXi%sR&xY9fd.P,n~qp֏[ӉclJD!ۣe땓f_)/|< lO_OòMXwg^U.F_q;2"hh5W!~c"#cZZ$劂ʍmzN+VDcSrfhAQVAo|{8nD>P< Ⱦ>nVUT`2]!{ir-I]D%`ٛw hJ_CV9RM7Z@w;ͳs=&kڠO:n`.y@ ><,`QKS.:fvz^hx%.det~n7o5b;jFiXɯUrta") L,G}/LWNDd2ıO?+=Khz<^:QlOl")иQNA\D ,4?'8͜@ԃh)4k4!WBEWl"v)HvtͣTI@10?~Vy @|SJx7|8$?1;a>BZqJn'2w/\/)5 C$jO1 ,$^YUN^":YGyP/qh&w}V<ɸ`tY8d"a{NP3P+`>_pOTAIE h,`|n@?J$hV;N |Gs;9hmiX- ׁ-Hd@R`aO-O!QOHc+bX(h^(W nJQVPL?ʵFF!H:Q vʝ MH~醓\ҍ3ያxXAmάr$gڟo-^8E0-~[;@kg//.FcDZl$ /K~Vg ZUu}tA"e5d{?QpZ ۮ_芎?8@`m7.΁=W̛!xL;M;eF̐6kAڻF5,# 4A$ۘY/EC\K%EJd<7+ÒCԿfRgCl_֓YOfK>xO=XUgraHR]#pZԐ*r.nocMٜ~xnD8F V#=q|#{Q[ᴟAݡm٩ǑS;Hd<_DW(3?b2@&Q͎/ovg/j>NS㸛Vչ71w~ !n 0q-wגa4OTema >@-d[yC{Oæx\<U`YęE]^0w8j}<'0?9dr *vRD|H>d=K^bO_#31);g~Hk>#Y8*Y58qp"_L\~+LK9(&sWfmxώbV< j/Om&C·uMXfP-u:Gkt58Y^=\ɅFˑkb*x=l[ !`gYZ001c942e96601ec3cafb3353318b24d63d21ad27 00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 0bf9827594e96695f6d45e74577b7df7e7aaec47 0ce0705a136544b2e0d9a293a9499ea15b138513 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee adb8961e9fa21dbbfe0fd4d3fbcab3c05c1c272b b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b871dde49626766c9209a91b604030473825db1e ca66f202eef5ed070877fd0fdbcbfc4f1c5cd7829711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd 0f920945119846c2bc31e47e56420208d47fb2a6334db9a5a08eef7c92fb49f4331f1dcf2198a054