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 %%L DT S/ AVL-Trees:threads=2elapsed=19.816cpu=37.744gc=0.800factor=1.907zXZִF! 2[]ŗXf1-/6vRZ\2_:oFEQs Q̧3|Ids*k\~x&9Z:PcJV68:I@!Ol9ubW(8bPE֟P jV ss5. )?BN B\FX +S&oٷᜡP?sj1Nбi*H+2}12{d4BAFXZrfYC 4hDu+gSZu2Oa)2ᄼJz]]^3R3kOCB_~ߍMS`fnm'R U3R)ȪGgmР^ cYl0e^Ic8hB%C;RݰNNBz   AVL-TreesHh6ho&ܤen7gCd;| &4$e_\*`G Nn!cf z m7#[Âu\}Q,h4c"u w]n{t '\vM2|q;4B٬~ƓItTYLkVV#(췫_OѨ6_ɸI-Z˓9Qey@gYZ7zXZִF! e]ŗXi%Vel0;0AgkêDq C.l$Ԏ{g+QDLnMW0]iO$H6hJk58;e!\OFW (QKXrh|rw7sPWm2%uT^9a@Mhkw?y]rǤ<}1NiU[2ƅXLNT ۱B%^w qaP_Ԉ?,N-ms1Gk|WC? [MÊ.Rx8j^*[=lll%CoH'MA)e7.kTt|{;\|rX6>-stI__GB p$ò2[a%/O IQRbtuL%i1A7^伥B\)R)hܺ/M S*;*L<?#COXWY9M޶Ӏ (d;25NV P#u4ObB>J=6=@>#zCU|g7}R_/2Su #5͹<Ol:0 )N.,' }>n!4f5J@o\Q0{Qx%*7 \Ie 0Y N[dVtO=sd{*x ,𥇱gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b