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  # #Z' |lD ]/ HotelKeyCards:threads=2elapsed=6.154cpu=11.768gc=0.280factor=1.917zXZִF! ,w]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kɖbQm b/qng+Ͱ6F Jk'["KВ(ޓWe˒+V%""E|3r* R!^ ^.A'.e֥~!}m_5*bţ9f|Wh@ g*?)s9RQyɠzнnnc3 43W^s.f<"5;yxS soJ!i:Q1 =H旚 Std۲n.݌@Ĉ/E|SX4v&|gYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ C1=o,c3C"L Uty2" n%aIzЄFTbǿv:E~WEࣹ&Ƞ@[a~aW=&m-14H{5EQ͏k ;=ӛކ c1%L޶&EG _6Oc샱eS;>mW+3aR(0D?&'v &^&ZZDΙc{V` sOkĘ؋Hď*mץYd|_۔6RjؑjX SeZjGvبqasC6ѿnttߴfal4nCϺ%G?})Z Vd/Gq gĻqs9 $ZVڏNR&Fa>Pft3'ela ~3js-"Z 6hsiH;mҶzbdxb2!»9$(H+3:r5'I]Ƕ7[qC.)e@0{)V q֠temu-W7BHsG[Y ]<Ɓw) OlvX-Aq=m;.9 n k"|Á N3:75 bcf2hS C-H-SiNN "L/ʔ` U>;w85L' dȑ3?Ԧ`OH_{3 m\XN'ѱgYZ9fbf2eafab6ed3dfec41623e6866a2d2eafb2b89ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 ' HotelKeyCards