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   U%D Sw Fisher_Yates:threads=2elapsed=3.641cpu=7.040gc=0.128factor=1.937zXZִF! ]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD fA?m&YDSS>=GS M>P&*v?y_A*(Ijk>7ntm{VDZSVWtaf`./a2A{)J6xEV\<+$BV2I}6\0 k݂CRsfrr%s gw(hUȈ bg$}|1kThXl:pmШr:NC+Ron37qo7ݒ=.MkGb3:M8fw(*'k5lItgjcJTTiyV{!&΂I|Y|@{w4˔a!'5 y GζaҺ/ jlҪ\+W嫱gYZ7zXZִF! Z]ŗXi%eB % Fisher_Yates|&4Ɲ%Rb `؀m25.-]^*3q}RN*!|ubjȫߣ]d+~lvgD%ea&>습iP.v8YE 6rӿl˱76{`9/rLP፞GuΌl &2Z h5Ϡ'-UC/N>FTA]8㴯]2~.A 'GC;}WǤ]my6N/!+4@ATxC\8*-Bt82k ff)0k`LXZU!+ŚPYJ `Sܡ\3R@,3=,V˪vce`yj