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  ? ?>+ S MuchAdoAboutTwo:threads=2elapsed=5.517cpu=9.056gc=0.312factor=1.647zXZִF!  ]ŗXf1-/6vR[k\_[FjhfP,\.Y|W(}4>mM1;_Jڻ>nd#b%e! Ϳ>Ϋd]UЏ>!/ܢAE55$?c 6&)85mhKF@)5jL"l!DZgYZ7zXZִF! %B]ŗXi%6T4^+L&L~D9Adoxqm Bvd)dܭ=O-ܣڣ |D!7HTFzXPS+4&>-|U/vJ8k ވi'Q,_10v !cj96~119QW}#Zvgp*/fdT,rZ[c}}э*mDuz3 ŐGSm+u`,vOFKwvcG]X1i%B ;xj:f 3\m3g #Hk9pSHJR8_0lm 'E r9+aڿ֨d\AޗhϲQ>FhF|uK*ky%{Ѩ^B/A= A]g13Y<ܽWG"KXri8OZ#&5\SoG]4-qkckU7$Ї0H_ _N+MRHC76njA˝In12BA dK1!nVcCKFD92@Kz`'f}pJD?gYZ1e0ef1b731836edc5b77fd5fb97fba22104097e6 2ec70c5a14df2cc510e42fcb79e841ffe231c49b c2b674203e2ed4778417cb7a191e611aa78312c7 f1a010ac1f2aa6be6f085b72d6e9f3ff05884ed9f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 + MuchAdoAboutTwo