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 ll tT ] HyperCTL:threads=2elapsed=16.617cpu=28.880gc=1.320factor=1.747zXZִF! m]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wѰy$S( js^b;hqqX!m.v;!1U,}w֮mEO 53, l̺"ꛑz11ZA`ci $*EަF'2z W]iϽ4&M:4+A ?J7+jy`MW&zI5BwP#ۙ,C"юV%Q'1~0|´@s?N:N#'<ם??>鼛UouvqfQr-9ç{yty&5ԑ`Ӯ|''"vz9Ayx#f:/BspѼLZ:IUi uloBYrnDXř|[{Dܪ`1愾C D,@C z])4fP,A/gYZ7zXZִF! W$]ŗXi%60n %|0DlRi=0łzaН<4\xvR}]ECddo]Z cUKKӎG[j{Gr C%^u5%p<,{L Uߊ"4R5ڝLv~8O=@hc؋A='Y_'\t)*u%ۯZ#?{ڡ$.H溤JBN-+BAq @X [*m}m؍{￶'##aۡg2,Lɢ. !QQ ʤѿBO!PFf@"`BFAOX]-)}os :pe9[W ĀٜqorQU9IYa^l=d7r *sgA,^4.Eۤdat> pL{m*Tʹ|$'@>eԿFdvU1x@'\P҈eΣi+AJA3-}"qt*#RѪnwDu5Ѩט~it" 84>9LNͺ]6XXR`*\1kY78LU 6ɲ |ۆJO"2s'cl&]zL/5 q/<7xQMl)(*,s$ l{! YX ;s4Gc>HBD7N,vbaZ}Y?.&iQ _nj;绿GKPrHzZLAčʓŦ=Uy֘w}TcWVW0g$MpU+@D)<F'ZK eP0}#&ԑ\t:-$ s>rLM݅n#;mWaõR@;6+\y నB9K४FѢa3 hB]RT!:wpJK>;hni@c-0Wa !>i)ۖ+~& eydž3g~n3+2$?\/ dLm%{ [Nb"ݲkƬ-2s3}ڜC|~frに|?OMJL۩,^f6 dETe>#ɭP< 0DOm}Ԝ\ CjQu[(Nڃ_Zgs'H%>B%F? `Xŝ\qS 7 zgYZad995076c22d5fb3dc04bf337fdd2fac8828619de3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d   HyperCTL