SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 RR+3 ,&?@m@kMj:7WƖrb|_4~/a!stG?Ő }t8Tn2M*>bq:pz(Mp5OG@H1 MDpg|Un[cS^M4)X9Ey-%v/TyXCNylzy[ޡdիrQ ^0= вs\i7D@ nМd T53R&8\~ 1 l7hPLI7c}- Lj2]m0:%29aT{{2;t]f46F@xb&vWKMO]DL//P8kyO(Rn<=ὄ *|kÕ.U s]VC亼*ˏ/#I@dMs44LN4\5TAq‡dHDg7\KŖrr6p#Di^}.Xu߬XM<2c$&PE#ZB|isԪ (?t}MN[7^hK926@c]Dk=OY' ½DK!LWƨ2q<')M3178Eu;BNj6îkEU__-YgYZ7zXZִF! ?]ŗXiɟ*Q?rͿY!?ID(@[YJbnlL4裬F>X=Egh+,'u97aB&gYZ7zXZִF! .]ŗXi%ήuS99/Q 78iIz &a'%qnYiO G; e4rJl/Di-mu v]K|WkPc@iA}g hm5E͏FqCJD-rًp'w+g.옿qMv审t. ;٦eQ%DG8T-/~+¶21ɳF+1A˙V z&sz~p?0)MMop#@n_vPG͕TBͺL-!䅷9KKLqwͪ[Lrz2BI JS#prVal %kMNT +-w[P9jMddBvpk˽;H%Ӆ;RiAqQ{2$ΨfQ5 _Ifb Lڡzʡ.=Nuc ip.JǮ?"OG!^~M:8RTX|-8xZV9l0lƄN-GQA@-oUA#IT5Rþ\vM"vd=@_2Gq@Y2Au& "7i"3"`6N2ʛ9HRL%>:4L(\;wAVb0Bh!NwF+SA6-ĀZRK]?T X ΂ԭ~=5}9Ϝsc"xUo<LZ9U`-h]: tM dp Nʩ!#uszV}x*G{xf \1:7p:ogD-=eI1-ns˂^-5\~Ŧ?#6Xn!R dw.;\t;r]_!$j;qeCmn=N'3?5nyzdMMfcۄ^9ҊGK:M&]\K e.Z9|fytX8N &d!o58tLhbZB[j{{Gt.fIمGNZ; j~fddoEZWM^[lEjLߥ!&"l7{.aU!_&eb쀒ʫS7>y (~HMOCs[|H3h7zbNC̋¸B" :{og[!/QX/,>5w U5ٰ .&Q Y$M/BO2-.zu:l$aJYP5+!PL&gYZ2b0edaa5d9abced0ddfdea08fe25bf2ef95fe78e00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 47d5f26d62bb0e2b689d2f2c5dc3f380edb8a6a4611111dcfd671722ca3b6f4fa0a06b56374ec085 3 Applicative_Lifting