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  s! \ ]/ Prog_Prove:threads=2elapsed=5.983cpu=11.256gc=0.748factor=1.887zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnW8a:PZ_EEtzՈ c*2vh| 7-fPe5/1 :K{4 <:8^%S2cFY ĕEAxyď.K[6d0_ebA&C7G@ԯ ؅gYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ+aT~a˥44F٢3]9/Ecu, 0E&5*3KH/61,d`].7C7P?/uTLKiWjbDCI|mpq*$;6'Y8էs M9 ?*f#^`gYZ7zXZִF!  ]ŗXi%9(P1ȍy +D+-sqe Y};Gvpej/Bf-q) 7=QSAa.-mI Lj 0g,~p _R$XaS6X y>H BIoMkϑ><= #XR0Bku [: #DYw5[ܤ.@{',mԻȰ]eNєAı8ߍD78oxe¶UDj<N$\HTԡ19=ls{"!uc7O [wQRAP ,iKc g ȡV19w[?%᤬k!Û[rp} Jd{^C:u~ǖ4 ܵFc-{Tzh\"LZ tM@/!Q+=`f t堉٨ʙ)1˧\kl#E)T;>)UH,yRS1 2NY`)6nBRK'5@jf :KIT"<TYC^ *C&m7vt9 DGyR,)BL,7.&e`]̞UdtJ!:8e gYZ6e62cfe195eea3a266da7e7b63f31949f7da5f4d5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2  ! Prog_Prove