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 &7 <| ]% HOL-Quotient_Examples:threads=6elapsed=27.002cpu=41.160gc=2.408factor=1.527zXZִF! #]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,Qz͜#Puѱ]\<NW\9| Or lPt-8]!2$Ց8WSwՏU,qxϩ-OIso 4sf"4/MxM0ER@y=_ ÃY ,^ ]壀@ReXyr r.[fFijʏW fG1:$oِm#:zRpJ+/8t .gdIc+G o~tioI℟ep\w`b%F&AcTeÏjh`Dlۛh/ʜ"Hxҕº]ezw$5gYZ7zXZִF! z]ŗXi%;Y:q ԗ@p̊RhQMj-F[!CQ q-@2@3$#ij<4KcV ?B:D~:>!ǡ&E /-!o6a)ĴNԂ: " rkz h><~T$eQ"rz{vm^,2^en (y m/¢Yl> Xz_؊3D-aGGRX!]]+Aa,>̡IX uu"mŒ&3׬џ?Xtи|.@<@lH'2NH1p$0"@9E w.VFw4dn荧SL}A?.S)91!Ǩv+0^ˎZ 4nzk#[n!Z ;*huU!cQ(_*n\y:NH