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 F-tT ]S HOL-SPARK-Manual:threads=2elapsed=4.799cpu=8.008gc=0.176factor=1.677zXZִF! t]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)_Ċ)璾3US}=jZߐw?m:nfx L%5OpXunrDE :0;uv׾Hѷj#`U["Jɏfu(:ZwT:>eOÜJ0)GVcNW`+;_'޶=LtͶvʾgsH~S,&7Jف!͹ IaDuu SG$`pVgYZ7zXZִF! ]ŗXiɟ1'HGu C),_Daqp,`20>s]xaC9sEͼC޸\Ea!ke&ڦMMƻ~31avWW+A]bm B@}3OMψDSo~gjgm & "G唱gYZ7zXZִF! ,\]ŗXi%96Bk_'}^΢6 f-kBiſ 2N*|  "X-z4.5v.'@)_g@V$kB:RGWZ}ene)p7xYm4EehmamXJL˚SC-rKP3)zk'2S,R@}10TNF:0&h`=Jh"0_54!Ð.Ci։ۃ*6W\|]T! ,Ul#C(4v-0N ]SLGȊUmr"%dlز*Lsbmkꌂ*su$2Xgoç&4 NfMVE Ə825u8|wcJB;R#KxZGIr)jc|M? ܗ0 0_[pk9bha*ƽfэJTLV7Y-olpR\LWSkInW?$Ġ`<=1:o_'s}B$#=I(BJC"̴AiI`\xGݟyo/