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 ww) T w% Chord_Segments:threads=2elapsed=7.732cpu=10.056gc=0.224factor=1.307zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH0j2.F< ]W~q U,M5?ȎqCL8HiJݗqڳzf;ܻ~R۔KWM}6!7cAi)֛*&j+@YTSjg)sSŢ,{;uD&}pƖ{:wN8*y~aϟ%+Rઃ!rr+5aS:~o\ewjOrvdY՗ -t ,Xeahygߵ (c/rmREO{95N\DxʸUKX 3wLT)Ӿ}#kG ^R[9̋ ~JGЕ$Gt532x蘧tymG_.hgG;oi~GTO{?{˸#s@ED3t.*|[ua SZhɻ&F!Eexqxas9{71K8^շ%~eå<@+xNkbjr18լ(G ĉ.j"<KEɬ$09u`gYZ7zXZִF! .C]ŗXi% O;85Ou<'C=Bj^#o(Gxq]:`n8 h ttk{TՐۙ7bMJE{d1:V8)jlvϕ$a70<ѥWqH%ME#܄ksԶN&{][nn,$㽇֠dcg%+|k$㸸%yݲ"kʷN48;iG&\ki%r cFKIIF=g, PpNwqEtE TFZ^w?oUQJ7u^'IDT7Dŋ(zP%jwu#,K}>:"E&3E 8y[EL%i3Ë%=t&K!呵)#^:2ŵn !ݴ/rvS,J` xS35tl|??Eᒗ3-M׽خ7tBb+E&1y>FIKvr#2`?*9{j4%Bq}gS{7뺷/ +dO4<T6n![z4dD..r g ^眈/LeTYT@G[B4_>7-H}6:&ݍ3+N1pɵh6;飠lܳ˸}5n|CϿmwD 1kWHw^y~Y@vMv"@KrP!i:^XH;%bbjEw!/i8.OK=>H]sᯱgYZ34c9873997d079517ca2706eaa4aa4b8f33241c9 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 79350daa9ca6a5dc1b4127c0474db63d723d6da0 b4e3d458df9d02cdaf4aff6a03cb15b698e1895a eef6746d770fc46fae6b447c1dfca49114beab209711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 ) Chord_Segments