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 XX) t w% Chord_Segments:threads=2elapsed=7.738cpu=10.052gc=0.232factor=1.307zXZִF! @]ŗXf1-/6vR[ltb7 ) Chord_Segmentso- 5v B8V}*ڰ k%8mH:QO]e{ 0Ѥ.O0=h $u"@zYj'^c4>A1^W%Q'v"c=x)lvMjLV>i2iPz}J"OIHwd7GH c$J}[/,5 14`Ko7\;53Gb Sn>)hK 8W __lB>4,+g!BQ/J; M6^^OL\BLJ6eTɢ_&9pG`SH-I&py;9ۖM)YR+ȋd@wBr]֨ -,+y%~H; c}#yN[Rb7|׋ثK$-"c=9xhK}fR Ӊ-[j厛Hz[J~ju~:h'9p0-8kJBgYZ7zXZִF! .E]ŗXi%e=9ݝ8*]Q .ldm=st!nrD=ε@Nfqrvo\ضpi )c50gȧ~]_+[R[} ^oF?kv:*TbɘpupN *mSǛC_sY1oI 3bT~4Y6n% K9>Ug{jhth'a ǃ_MIS.h__zE!il'~N.iNVL=\n+~R;jk7;] b@:3/S}濧EZGw k߹1%F‡/o*eS%MJk>w?3)А%\oG+Cv>{L]$qV%O΀=$xn -Ip-X\Z]ʹSm-ֳ3;xXT$n œi'NP:$Z 0#D %׳D5W|tLP_yW.|: !UZ5uINh/s{/Zp '(J Z>3gB-M\$4$P>g WxC fhXD[*}Ίi3{[6܈DVm #pW-QyWWvDcJTΠUN=Qjn6H lG(:hڷbd0Q;&#,ބۧu