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  / /N3 lT I MonoBoolTranAlgebra:threads=2elapsed=7.828cpu=12.324gc=0.448factor=1.577zXZִF! ]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<.dP.^V0[m+,/UC熼 JK>y%4QGHrۇf.Di2߼O7MMq1B$X90sE/W*~G^2_mq<_(34@oㅄ (yϱgYZ7zXZִF! 1b]ŗXi%6yN ~ %7Rܷdk2=:gAv?r8O0Bt,ƽC;ǺPNQ[NZ3ŎoסcEܐ;)ԋ_o=Li-"7 J4fR9o](Hrۏ 9mp$Z;X fg`2ᴅHԱ-2@}hy$L=VϦImc'P|~#RfPG7y-`}lФZm>"81N˴0iؐ5]c"~(f!\}QK0{~_x. S4qzHtb;f( s!Gs w*֣?\3PoCzz/{vQ /{hI\-欩-[ KԘ#,D=BNd{uނ=:ӶEzV>,CPƼ vcGf^:}+Txʫ9MYǛZTfNHKe&`3v%WZV#IDFס[m}5nTAoSo*Ep _nsp-7ͦ:ic. zNG-_*Hyd;Dr׫aDM5ɚ[MF#Tb{nW8vOk꦳HV@*:impU@:3OϳɢY3)ӳ9TEN+C=ܟ$@-`p 욉XTrU^H7Vm5z"O/b6T6? }3O+8OPgeGS0eIgPVYTy6b8ogYZ11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d bead72b197f271ef4dc15454f4b8e8056c794583 d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d684f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 19002224682d0330513dd552f921e11aadafd0fb 3 MonoBoolTranAlgebra