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 {7 T Y/ Abstract-Hoare-Logics:threads=2elapsed=14.478cpu=24.220gc=1.628factor=1.677z 7 Abstract-Hoare-LogicsXZִF! x>]ŗXf1-/6vRZ\vW>_=֭0\{1\63T}R䙳;\ (U0D$K~T)\rNd |+Ny`>s P{œʅE.fsl^D+[(EfmۗV~\6<+&~))oGki~kyȦLNgXYBi511"%XqV{&U5| jK6Ǿ3 zB@ r 3Խ"!B3*ԔBK`q>5 0Kl" ŢaYJ4(Nec[vn-ڪMQF橚Lppc#Vʑy,ӆRYa6z%2-Y#33~W@M `&:$%G,GӎeJδ "s";+q8tjhlb{Gr5Tiih [Opn.QJ ;ժ:gqN5wj_o,Ƹk@$&)jwVEU`›8{67wr摒wB;ISg$$TuUTf]^]v"ڽ .M,-R{47jns%U0|jCnse"m2D<4 އ5.ޣ O T]C)5Beyv3bs/EoUԋg/{?3=$MƊ]O2W!T )9BCa87~"lVٽAva1mU BٝffQZv{ܟfIRY {[)N!4o_Wڲ!OppZ%')fS+TDE-9oهsFP! G阭{8 KjDt*7>MC/wɑ] E\F(ncFY=,ӇIq HNw1`!a{r BOd@NZ]hmx񲔅 yCGll @jW0~z|ϵX&DQv,UǬ鷨{>˩&WsI)㋍'dx v%9>l]TXנ U:geN_Ne,5ՍrA~y1qV:էF\~k]IIRۣ~jq> pڙ I&ϛ"_h>>( %lj#u{0x+GNzp;T/AW *te%2N$<`\bƛ}f_B||@Hi%fY9 .c//UPHrKA⁇< zYj9Pʑ17Uq@R1l ;(PF)?VQ4<# צW Z4 t~&Uo,nOڔf\%I'ow܌4WpMga6cUrbSO\/rΈEޛ|,o얷s‰iU>XZq_zH>u$b&-=##-9޹_"JTIY8mёɚ 66c"Tz\"`~nclgYZ7zXZִF! M]ŗXi%`czl"&f=3 VwD&ʱ8XY N)מ&$TZ^Şꁧ\3UU֍-2 u^p_r 8N䨙ѣ,^cͅh5m}8l*RؙL} Ɉ`a38MKv- nѥBBFL$mG2 37n76 &h7Z]xPvG# s?(e.S2&'vGĺen4~;x1͢=ĔؿHaAܱ& ,Ɣl)%듉~8W_cgt:cpPhZQ9 i6'eXI,=Hy|=Sy' H֊ZVƽ VE+}؅8qg8Qfb9>Q1:* :[/Ҫ*T>fS<8jIhNJf}IU4UDY=Hqt$ob,|/u겓Ég#fuJ>N ,<佉Axo~0LtN"ɵ&qW_s@:ו1&PO+YFpLfސ%k D ɏV7x*P/⿄h͡8oApI,&†pmEZb?δa2+N4 6)gYZ07d9682a4239e8b9d5167ebe37929bb4dd64eb78 1464305b2bbe77c3a708030b70c2c3e94f60166e 14d11054030e7dd6c77971c068b8cee62a6ad942 14e02afcf67bc213b511a3ef5f87ca10d483b100 622cf9cc7bef816ba234cc46d95855482855c01b 6ce64580875aa4f1fc1c7f0c182d161f90bc7085 851703309b264f73d5a783a81b96291a40a53741 a80ae276abb247350d344f25b22caee63cdaf328 ad42629725e1e075c62c4f76a75d8a5409d2f3b0 ae0c236a30ec695c8ce382b403b1f2bcd5501f3d b5a1489774852bacf89b1206d4ede58deb224fae ca0750621dffab5db08c1f4a366269f82ed615c8 cb6884bc854ad8677f2eaa4cc93a36b9102c0ee3 cf8e25df14d0e43b874b54166adc284dc7f337a8 db9df33ac1e6cc1f5dbb7dc31529a868e1b3a91307addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988