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  83 ,T ] Efficient-Mergesort:threads=2elapsed=11.038cpu=16.388gc=0.668factor=1.487zXZִF! 3]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{L#FF#Yl*j>\ Q DNM=xs-6\w",9w l%M/TWCv tnhųϝT=9UqߔB ٖwgRN3LToj3-7y?E=eQkP at[}$'lW[+5 TG-xDgYZ7zXZִF! :l]ŗXi%6AudBr0|sW ̙jt 4ZRwY4#`r4[*TV/z2lYϡ=YX;e⎺u(3t(S4&/8g؎Ci?9M>Y c3:zB706ڮ½&K^ k-~ݘ|G[\bAP[ٷC4OxS y'pܿ mVl%3&uB7z'vxfcӪB7=;e lAg]XS)?FKG3W|lV .WnNxkvy<awbJ QP_Oc4w ͜f#2t|->KIw]Xb2ZLXb^du 1@LJ1yRC_H@HiL2Pav:X,翔,- [;x oG__? wV ү,y'VJ'AR[A{NdUUM6~H 7"Fâo'溹FbOal qŞ*bm. P58.26Y[i,eO&00\Sɍ'Wsʖg(򨟸 Ĉ=kuaLey$uE,Wwg0lr |pSVbL۔oCğO8wWM{L=懒it2Ͽ3XYzb`XR &=8 #d2 -cm_J󖆮y2׮$kdgTtQ̠gYZ3032c2c92ca60824489ee826eaf5750d44229036e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 3 Efficient-Mergesort