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 D# t O/ Integration:threads=2elapsed=13.415cpu=26.332gc=1.032factor=1.967zXZִF! N]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k ltgmjkHN =Y@c i*@|(m"Js{9_ $5,`~[Pt@-г&:8e0;:S*_@ϮȳQĈ?r:419'!t??>ob'l/ y0'| |ڍ.Tg&9|d}XsssiHl3K7qy e$,ybx: 6Q(Ѭf6˻h-p £%3NgBq,izO˩ uA~cY/8|[?sAԵ S`|kA8Q鎳[/Aٚi~$6C, e}ZmHM_miUP]?E ,MIJH^[+,Д$=8&IŬzKvUPՙ-Js'5twߒ.v?;lNzq=*%\GwOFrUdv__KċĚMG$>(DŽ `bז^i׾3=\'A+ROj9]mԐz\R,.^}  v}Ά oA4 # IntegrationK_Fo݆JQ~lB;ocZ.V v1# oټ>%k k!Q'9%rS3Þ[;Q^h*H`mJTҖΣKNM,'BhmgfqT$|ֺKlb,fT 藏9P&ia !l̥rH`=G1(զ'bpï;2i: [|:z4\VҒZ#>=VΨoEb}8EgF\[ӈ%StF!r]+O $kZU6W|i.t#%:Lz_,aG63Z~lV&C_=_] X[e|:Qzۅ#l{$ŒY ^逽0p{dō4lZyznzLNb:K DΓW3kʊ$ [,zRrӤ1؀kF9Ne|]\y$L^5`5n?24|)#8إì* f-]g'TseN!n0`bg%c9謫;]EOF:Ca!H\E|JfawP^T6ɑ˘L1'gMN鉭ixމ $_+@#uj8,H̏5adz:܈7Lpr B>' =] RX9Ds΄80KSVGq9Pֺ+a(g?9Qn3"ӏMDڗ임AJm̗}nS>ܒNpB&(~#bY`# ̝ZVFgYZ7zXZִF! K<]ŗXi%B׆L\H`^9qxPϮ Hwa/ĕW<-Փc#·iR)d_*,\Z~[kqlb^9k/=p׏[}F6l-#q1L~Np180={k{I"ګk^CY]EB.Mzp8".1M{Y$ 3@&uR85V;oe=" 'y=vgrLY%'M]*?OY"b%'2"JSQAx#=$*o$k%⶯7R^5R@0իt}Dؖ$M Khx!"0>;N,~o$ѿa96AַJ%bݜ;IJoHfÕhLÙem!