SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 m# \T +/]HOL-Nominal:threads=6elapsed=6.438cpu=16.492gc=0.728factor=2.567zXZִF! -z']ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L'V+OrYa4`$A9*#,u#>*km# E-lvYɮX'f2^s"W G f˘{O)KjGF"B#,pд[7 cVߣQTpԼ9`b$*hXEBZSRMY !c48\2PwPd}/rZTgYZ7zXZִF! ]ŗXi%P6f9L.e`53= xHGGJ"ߒPK$dM5Y QW:|pF_j~Se? "{( /|d!&U Yp=k)2z6je/TLtt6ۯ$1$Mܑ,Y fDv]$$[jË3mUSqT5 aؖ\3kSh Vq{E)VW/ ??  KMJօ8}%H>Jݺ&F@j*9%"5T"R/]{6TT< Sw/jlxr(>< gQ2Z\1K[ mxon98 ڮB_mб>[Z]