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 l1 T$ ]w HOL-Probability-ex:threads=6elapsed=27.613cpu=48.236gc=1.144factor=1.757zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1D*o;)*65ƶUq#kPUζ(Ch@Up\3aCQ͂gA"Eї4QOZޮIQ`)pI АfM̌,xG4[1~zҩ+\[X 5^R~OvTc* VJ?<7ԞH6\lu_P2e B8wQ-0\6ζ M~.TǟFJ+v/ Xt6?Eq|(ws"f6/^p/ũc[_\KDH!B4-įOe32&J헥9'.E%K֦pFg/mjY8Y Lϗɪ 3z3gYZ7zXZִF! ]ŗXiɟ11?E'TSݚ_!}M >s^0?nnMV.AC79 Mjr$OHz`tk*}[csMz))-iՊ;ϥ+-@w?OLZgYZ7zXZִF! = ]ŗXi%6Ƨƛy75C;^!2L,`m$ȣ˭6AtvC3ZiobIbT< S};mw܌՜&0 'ڰ{{oޏMǚG& czKgkōkOY8i> IzA.MʫWEˌ\GH-FUe1o'pzd=4xZ/֛'? Xj8: U q CVڒ 5{85?"YMoTA|ol5m1Ѭ^MN5)sep~ m#7XNח-F'z?{fgFkm>> 斶6TfrʚQ#(!= %<"i\ȯɯE<1D@a<eR}L/MlZpS<[7M9j-W)0vQڡc{^,2m}cBzO 3/˲-}G!u30U>^'?tͨy3_DeM[v?Puf&ri4㚞b7V͊d\7@V}%8KMJSji,-R1FS..ѻ k78Q4QAȩ1sSL 5jqA"aD?W]~"> +c3RZ@m'1|{)`` Q7E$,Վti 087*e