SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  \, ]/ AVL-Trees:threads=2elapsed=17.263cpu=32.200gc=0.724factor=1.877zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z&2&W,&0Z˳tvt3e <K̝-{~|_xW8YC“fO"*42m]2SgR=2:HE =ކTݺLKM7bû=l_+ =±ǣտэNgsf@7<^_`q怀.)WXپR)xQ z֊&Oi&-wm^= vHr%FH (bWţѲNx'gi{F)=\MVQF=*yk>=_#fTOB=HՂ=Znl?e2 &dN4Pedm e`ν~sZ7ϩ:S _|dG#=Ea[*ұc/?G2i2ܳ3p?D8{o%zX/e5@_Y=+ɯ2NCsZYݎ OO 4wD}G# Dq|}Gߜ|>EAa) J3@yc!ɼJʼn*1d 3%^3/0n/T,gմl͞0wKZ8lFNu/L@:o!DzHt 0;,:40DtŦ|E[ r%r;KT7 5_ C FO26T= 帜i\oAx!->Iv8w,"!Tܖ4I/(v:)Bms:څp|a|#l/Cevvn8U)N3ŀ{C,a\>^mwZ^qe ?ۅ x51uμgIޞY 3XizcBU *-ѿ,- F1 Y&Ax6QANW>[*"9w,ɷ:ն8q ({B.E~JMU^PoV#=Hen.Wr%,dy^"( kݫ7+!5tFV*u@7h ! lLDNi&^'#ȡ$5/FXq.kDMj6 *0͓^ a LbkKB ?imI1DZ@,ynD'yw;bQ7̳ޢw ( gYZbaf63e34797b67ea68616c659de3c8a4d282202c00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02   AVL-Trees