SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 88%# <| ?]Polynomials:threads=2elapsed=41.146cpu=77.408gc=3.932factor=1.887zXZִF! ]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$ # PolynomialsG,y`h" h/nd!G68NEݪe}J17*GmWp;Nmv{i]qMAxjP8+pyBna͍J=US6ψ_uin$4'Tg:h}t=M9opạQG]Dk^[^TV8f<)ћ 1+͏\3|HJ+}w"4{ .INGk6ޅNGeY >4No>ϰm] Myf˂gˏDZ}1 W2Y'tf6km "qœj,m({Nv RU LοGꗲQO`e.@@5)ږU.j#=[p1+#VAÔ[ZOpNS|לlۙu㬞4Ӌ%ACi ׉&\n3xl(OLLOc38 N:7 2~ ?1PKaDn[xĥESѼ;G,~YЈI n9[/﴿dz KGp%P{xT }8$[|.sh7DQN Jp̡E;EP% XFGt8&ƽsGChi:ƓcޟlQMWW97, *]j7G~w(rXx$K_ bI d^p!#&Jl6L> l62soGv;|ᥜXՕyw._´)7nt[V7̾I^L+{\@J\F+y!-]$/ߧ@1ʾgqCrPci?8Y k`1&.\_L8I^r!oA#/h9@C"&,偝Xb4Xר4{: v5,M> v,H3M3JsrGL#1or]"*O|ՇM񰅰ݏEm9ynb"Ќs7ܢ(a7wm'+-i*k/B,4U& 8톱~2M-+LubZ@H<1$;4,][q0l.oI +ÞD;4aB /EVXOyjE((oǓM<pC:7i2X×0EiMՏkEU\.:;G'ʚq]pNvcuTwPlal3[ E云O`CM9#]h% o_,?!OYwb 6j7$ IbHp%RjuhV!]rHfQK:YV! uq6N-*/Tׄ2'&,ßD3cxj_k%O!JnFrd\7A#ģpx@^6fbVDDZ׃)}Mݪe~tDJYg%zg,ٕ3 4!wn$Z߸.›ͯ*q6Rƻٻu͚~KzMG()Z8ֻ߱}1ROdVoAnHd8;\NjZm - 4ҫlȄ=+=d=]=!ot;tcWdGUQsW'g%ޟ1}:S2ItÚ>[T1jfi%{0ӓ1a#~tPݣȊ; M gpxVwv*jGr}D#ٝCx26frvC- N|XS<~ڂuIݨQpR8y͑ {e4":uS<>јD)*L`Y)~* 3V-*dNV+>U ̯zzN7wf\(;5n\D$ y$fom䉱ƃj?“ m6R9jE ĩdgY Z7zXZִF! u]ŗXi%TFqu5퓙媚ϋQ8H&uԌ+%CknE^]i{x sBU ٮ9lq0+<u̥?uL-XBorVr#/~6<8v1c:F*qnNXRwwk?#FX<%Dnc[E`Jbo7_%R&]xh¬E.h~='iv GΕ)ļ_,rA`:5k0D9ڢ2=Qg)oXӅȈ~9 *`6TҸςsn'CuZUDnWzc>/lP΋`wF! q0ă[N>;_n̿&@Q}h.r!!B}R>\a7BH1<v/d+BU3b$h̲;2'#tǰ2Hũ{t ޵ 4$\\"?%r@>֛n& onlPJ7< \)+r?eTQ笞6c]3Z:,4Mm(￶C7TtVRՊ$QXiPpXeϪl̞r=chf.&XZ؞8Qd:]W"!?ʴ-6`lf+6a<@ˍeGfz[NIr{HA&8T6>rE ޭ=<=(?7h\Du |n~)d Deā4D v0B;<*_(9Ily*CVoDze}9Yxfc1[*3Nt"U:esx}]i7 xXyGΑ8AX#3aB$HPչAW.)ܾ@ejJ {U挝\c.=#8aɣ+Sgrt}4wCO _ qn`(Ggdϔ~-Zkb½cg W#7i|1l8ŀw dj .GP! dW5 X_~7~LxZ/dXÖ-EX<\{n6G[T* R*nE8.5%-ݏ553Йqm3";ֿLQnuܯ[E|WO8Iko( bC?]OKr1|X>3tiqW NkǠwX^arx[!"}$峯ؾ&;<&MF8MǼw+.Y.wx3*B@a3AG'Vl|V?^P0`N(=x3(Ctt ;BٷCYBHFФݾoO82O.yd& *n;c NG U[q2tI#9cѪhxcacS^FXzos%X{CT`s]܅UZ,fiљ)(ugYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 98eea06df0ff957ef8b6b7693fd3dc82613324eb ad3e0430353cf9dd719486ae796d190d5e13f04d b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef641609 e09edc046b5028842c84c938396b5758129407b2878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 cae37fff4f9d3f7c7b0af52720d3c2a97957b54621c08c522248b4472a180e33735c442b462accc0