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 3 D< ] ZF-UNITY:threads=2elapsed=15.925cpu=28.432gc=1.096factor=1.797zXZִF! \]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb*x0fb쮘BG҄sLeiFqS=SX]dDz!~bgX-z1{%2"ʋ>0#j)3]I3<,|l~OaS4|)kfQN*u&SuƭM̅]H*XLq/$8ghaj-ŒtZ?gLr;d]k s|v$0.UW{ KJ1&Cd/,RGv>V PyTc"%CT,ܼjJܚw\SA :O/2:fuzVtbJI*[W,Cp=h2<;~.?Y8,BW"WWK1軔r4cRjRXa@D$ (9لK jKqVX$hN&͙;fo~lQ횦0 b%,]AcrC9-MbSgYZ7zXZִF! hV]ŗXiɟ9 i:4'9Zfw4 _.9P55yC }Gy}P'k7 Ư#jf(}QcH[Z%G8yQ{iE|9? 94·RpGBit1ҵSq^H7n%;"Y vf^52nKJW3gHGdSN6Y7Z; q؄2=F/'muR}o jCS(:}rYWhFx(6 SGN#' ݜ酠U,WkyӁ2b*ƍKg^`l5mrR>gG0F G^HΥ@LW"N|SqfԅaXqvu7XCaѦ2͔ܤ]O TgĽ/qE+i:4zH?+}ܩ qd #(,HeEOY#";J71 b:m?됷¼:3r滛B}Wѻmމ7Ե_)X\ؖ;M,~K6 o3zV vmLhg_^{=/hKō>xwtSDyQrvmM$|i)q 3-i3Ji4G*nWO&0y6K@zbRT 27ԁ<툋ѿᜳ4n!m5gq|"4؆h- 4 T䭜RVvˎN/3(Aͷ^_H5.0vӍQeqN>vB20Tr#Ťuqj#ﹳM jΜױgYZ557982b0d06883e5fde081e7b7c96d6abc5e0034b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 2df90704e8c82afb8dcd42a90638700d19612606 8026c4bae0e11221661fb1d9bd507b9edd411edb   ZF-UNITY