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 ++RE |$͝˨4"$я3:7#Og#xA]#qp?%w X ֋c5e5= S|W"lvޖ[ =d9Ů&Na]A@;Ҍ+`j[x:E0ui0G" 鮘#hm)$\cٯ;rws88SlI)S N$"<2; B, -A,mӆFGeέÿ/ۅ1毰!@hPAt9sNJh>4YP-M'Nnvu̿ms /LLQ 7kEDq<4 Կa|G vdY*RA0[9zOy x6 +B[g>t*ARNY T!(r&*nAcph}w=Rx'¹8[HEdga#w&U]N'2u}detFpsta0 ^N4rw _]?õE:H򘞩\oʒL-r0uz)!]: .Y[A, \wȥ?; : ERy-wحAPkٟ_nu2Ӈi-Fp̃Svu*߈l~1Wu?J'C < (tYƁrygDENt8Oo쮿kECae w|Ԟ!PyշIo6R)W1b4j/iN qCdZWO=;1t2hdN&EY--;t{H߀Ļ`]%E?w ~}-98TDvſɋ39Yʅf %O ;zԲv·$Y ih:1HIry!ͤ~μY$tnNnm5u:Tm(lI^ڈ)a(=|ԼvWetPxb`P< X9H{~N"'IZ UʱgYZ7b3485aa1fae9e424497ad3954c2c4d7ed84b96a273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 E Name_Carrying_Type_Inference