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 pp  d, ]/ AVL-Trees:threads=2elapsed=18.147cpu=34.584gc=0.828factor=1.917zXZִF! i]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z($uu֢tnKM^i_|~cZc5,>ر)~## y )}C  x4`]=|t*牊ɺlG^#֪<{6&G4+شm\EwE~C|[n㛔@ײY7dRr*i$(h]){ȇP3Ks%̊>+ʟ҂co>Wm+zӻ=AeC#kPcy+bsLk:x/8O!Dgf+$Ӎq\hU0=f2tFfR+BnUۏ±V 3@TJGjUAr[| .A`pX5hg5xt;عU]8x8FtD' 9JH@QGs;y-#)nY{I ig(~ Yz}+ONUIÃZ׽9䳯Q1 gf%+{IbCppJg2w1\(gT0֚Sx)[9lp9wSb#ؗVm=jU,XT=HZnzQl{q7o>0W%7y 97e!Ir/-[-T^&~|WG/Nd#RJJB/CML 6,9O"Hi}xg$nW-BrfGs >Rn-el礩XY=bP~866:sNeg*L )#VoʥOAъrߓB}wPXnr]LISK(nyh'8-UWB%1xHQI{yj߱@'{r]CdV)qINSqPG\+t!$~T3p/1IA7gu"QHucpGsn Qg\1 iNi&@?='WC,N)݊$Zh`K{^#KowsS(yi& F*gne ?>u$7+PC_?q,>Gzַpls=/B\e=5 =o~Na//@Fj 4 T̷+3ƴS5V8+%61G{dzp 0ؿ}c 6~zJLe Mx=<f_ ] =p879d$~kKo tu]m 'uCŎgcՓF9I]H;O8;;ǘzoL^Cn>y(Kk`lbZ[=v"M/ P|& \qgYZcf24fc2a034153c5d00f58a1caa1d9a44c9518e6e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87   AVL-Trees