SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  Ltl ]/ FFT:threads=2elapsed=1.258cpu=2.332gc=0.000factor=1.857zXZִF! ]]ŗXf1-/6vRZ;qOYxqWgA ym-PSQ2.S&{DLnZMC;B)1Wǎh :ͼݬ$2yv9gYZ7zXZִF! ;7]ŗXiɟ5UjG`mÂԭ_א~.$ Xf WuELHu~S<;}YZ7zXZִF! ]ŗXi%ή++AiѮ 9~}c g?b[, F'Xnb]nHCQ#]yF sagxaxKD]GW(VCW7"bRx?;~^_N uiUZg.YVNV8:ci!fd=!Ywc0g'` nTw*%:~;iXZ 4u N$WZY{el a\T2ɏ {9Ѡ]69ߵ\'/,ihqɺ_pT;-dRH|#B*$o9ϿGG0=LΚ1!NZ1SVm \S 8"Kx5@RsB9vLb9hTZD "U%)#*gYZfb8df94a90212a1fa3a695856de407f1de5d826c00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02  FFT