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 b-d\T ]S HOL-SPARK-Manual:threads=2elapsed=5.435cpu=8.592gc=0.212factor=1.587zXZִF! #k]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)!37b߀!zN%]"a-gA:/YPWz",%=N9ׁhPGiyQd>5z@_pe{ץ=6"H;"fTAt),&̘OLFodgYZ7zXZִF! ."]ŗXi%;@tcFa-DvɑQ8${O>@ eꟂڥ; ~V ڌw<>I_R !&f|Xq #HYGVM~) ,19t{6NZ4Jv?70(aE &MznlM2/L r('Af݇Fv23"G:Г)ՑlU2IsXZF$aʍ1mC @,)Ր,湲#:l0,Va&z 9|^ùsX,l}212dUictP -Ԣ_aI. KuA&m rtimχ݀hPƂPD9?=.'g^-cY 9661Y*umT lr>~_ `v39[eUdoj39,ث|ቆ3BI;۴?ƥ?(&WHZc_ *9j*YMV5.m jI,)A"^GLsKk 2L8smG*N[L/2+ d x_*%8BofJr~\̖vY]pcBvKS܂wS@xVc7Ҁ^jܱe5qlc3jR3!7hOqbbӎhΡlP W,/$]wбgYZ40c4ccf42529018f5cc1e7e1794e00d4cda09e6398dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d bac001b6eee0096f18b9efa5a71069449d55a29b de7e55d0882e3b54de8a00ec92f3de917f72c98e - HOL-SPARK-Manual