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 ! << % Splay_Tree:threads=2elapsed=22.753cpu=38.164gc=0.644factor=1.687zXZִF! ]ŗXf1-/6vR[]SsףּmH$>O'1N12|xp%Rl n]>qF`=gb>[ ɾZ$I4Uփ(t7Hq>„j2\VRv 1+, EO>HXe+NƊLs;Aߦd\.3'O"q^ƌUh$zUB2:HכAQ >0'u]5)憂 sm,B WAʅ8 =i2  ӝG*롴FbǶTŜxy4?eB >V?$'j!X*l%knsrt7Ԝn%w̄!ޗҌhc؅=2yq*Kj !׷fBP]GUx'dإ/fZeʢIׇSpw/Za^ 9K=~aEl 1B;Lje,`pt㎴uD& PJ3B[4*@PfDz4| &ų˴(Iy{2GKP'ŦZk!ÅYkSnc=@txVϟ`f]tf/HEdc /b3& *#ݐT16ٓ*[2r[9fqZ!@"׀|e(mQ"¯Mkw`_ 1sUrP %_\?C ء -7~(ka:8_/9O"(z#˛v=ٴӊ DOH #t7|Dv2eBUv/@~!;/Nviu+ρFa B@Hu$ReN'R[̳"`x\hH<;_0ۣX6[b[H#accX N9ݥ[̭'=0H+ *El0D+nVlPfKwtC 50ж!__{_+\KK15nͬjB/FwLdŭ4Ymߐi89ȏKp`!^j4 rh?-Չd}'l,T(Aɂ#l+aSG̚Cꌒ=w u1W~%̖B{<ݱhiJUbu^H:#{pВ)m>x&ܔsꁧ@a͘JYF(lbCd&rlL{b4K5xʂsJur<@ywT(G4'vZ.D<gmDg*s6 3˨f8ψW&AlA6CBM=h]oӢҡ7IwX{ ʁ5j3!kNXNj7-O@IhSB7`Ö@2Sv٩j{1u]1OS5K\ʼ3 1+|x.+$ *gYZ2fed56e63e64893cee783edbeb3c8594b2a04eaf 41d32e587e4da97ee0f959ac9fec845bedebdea3 4911514db9319e96806f229551af5299c1698e8c 7661af568cc046b290bf3d73e48e9f58adea5581 80eed581e9827dbf27df0eec911196b92f9e4a079711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567  ! Splay_Tree