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 HH53 Ld w/ IEEE_Floating_Point:threads=2elapsed=19.252cpu=33.068gc=0.636factor=1.727zXZִF! M]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.79m?gfMVŠ 7$Rzkh;ew9y戬?A JPh|ZP)ϟQx-ӗW޺%,m %zNL^w1J evPoex˽rF!ff { AŠC- \8`WI˧ca˲`=doXV.CWE}uz1Pfit5tHe)Ӕ5sϻڧKtX@a" w\o("Riz+{XwVZ=:ݘTAPݶ>di4vUt tҗ+ X548Cfă{kknW4Ye#Ah|آ;c,Uի3pܐJ`uQ(0 *K:r} )k#W䀂GFˮ:51g^kQt `ORd`_h܉H+7iY/^PNL,\ M#;D:di}պ DlkIS 0ۅ;Mޢ8$z֧d2v*D@7ɀU;\ &R(wY R)"xY 9RKuւ՟36$_qcWvW>G'9s4 ŇjժT(wY\ 0&IУ‰_`5=cV 4DFL&խ;\s^+g!=@*@ypKUˮd~p/ۣ693NKnFgt`JΈ]*GrKZBIJy1-K"}]mijrxNwH@8MQ )5x^3*Y=b=e$bD\ſqs6y.dLTj*Co&2NK.qG2AJJWg)TM&_2D`)L N5[1l~ }%UYz4!-qm(lkxÎDj`Jր9-x[Np QgYZ7zXZִF! bk]ŗXi%s C:}^)hu(P{UzK"-2Βxt1!ow(=^'!Jin%Fu3z&(C$g#eaD<"9U٤sHf O1Zf?eYkNg |=R2h.'{_Ds5j긴+mٲmx/]^xtXm6.v%3o}w͇Htm'54;涪S{MP9M"RF,RFp;#WzSGqfCW %$`]x=y' Wed}#Daȩj6omQ&:3D:^c0ؖ.>ӪΝ#-d^}{ʮ?W*87}hb7;dhdx i.gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b529699711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 3 IEEE_Floating_Point