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 **G% , S Latin_Square:threads=2elapsed=6.779cpu=13.268gc=0.216factor=1.967zXZִF! /]ŗXf1-/6vRZ(/OKYÜvnNU2sgX76h:8KPqJ쁧3M 0 %O?;zq1SPMpmk\J~AsMh9L$h420GcV#].r#n ;hKrT]h|6XB^zfsDz3sag[r'i~2\p ͑Z-),e9ݖ0+E< rB+&=Q);޿۔A"M4!*p_*_kzi}#%ԧ얧c[,ܣ[s$BQHqՈ&Ifk;nkujF;_& h^|̱gYZ7zXZִF! *>]ŗXi%b:WjR.+dt||Y9մ)j>;9zep޶S;AJΒBpω`nYŖU(&l)_WtH!ڶ5N͗Ϝ@y3(u!1FY7|L)_x[C¤$mӖkEp.RM,}2 i]6gPMR_nG=u%Z Ǟ&+gA!\b̀Jb<=G` #3mI~^tZwR[G҉^IސYi 7_2hn1 _ձf9p9&;k^AFT凡$WRգB](4ڊ! ƲnSO{&@f)s|#Jir+,nbw)qŪ m0Ye_iW1*[)| Phȋ {)8[@b76Ti&qgYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 9ff9d200d3a2d5c490c9cf18aa306aa554fd8405