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 >>33 Ll  Selection_Heap_Sort:threads=2elapsed=10.749cpu=20.580gc=1.020factor=1.917zXZִF! ?]ŗXf1-/6vR[]_ʥ4*M[#S v$˖iA ;(o?awJ -U"x*k :Q],}P:3y`zK( wnRLTHյ:ddx9aV]_:l.Ҵpf!dNQeΞ94lh:ǖ%Wӑ/Cmk'!^e̋dPUy4y7VU10Yu Mi;M /'Ng ¸ɋGaw+jX X 3 Selection_Heap_SortKD9ƛg X\LԳׇ7s@; ] ɺ \(IvWrl^)utd=Eh(sCb^dVF\Ng!Uʹ<-U`]#H?k֠۞"V_A-?j=q9)?oi[0Ȋo8^+Ȯ-LUP;]lr#Z}ill3(B6yˠx@,uτ޹&2"P}u/|/, ?P[wVUҁveHI\tyX)> pn Ӭ%Tg ;1%AW SlS1c:h]vQD<~q%K p-(1xr=~m]n RF-gYZ7zXZִF! =0]ŗXi%o-,#rY!-/"t-1D aӖyU&ͮ`^_5 Zmx<\Dv޽ N~^.pACdJġ+2~ qJIG%/P_jڲ_VH;L$8 ~ !ع2)f,5Ua^l0Qz jVpRÈ/;Lߐa 1sD$2TN\'ufԐ4O{`o'?'b 9Rb(jEIp 8Sv&!0β1fPx W&$