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 'O4 /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=2.027cpu=3.872gc=0.152factor=1.917zXZִF! EE]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk-eLJ92( '@.+- 66nzqK}x:uʔ7-(%ɏHO $O HOL-Nonstandard_Analysis-Examples [k34 *#b ySl<ЍDZ[V}yrp];C6K۲X1IJs焢!J/<#:/VRXp8hI(EkocCnJ,ipZSN0 ^TxeB/烘f&gYZ7zXZִF! ]ŗXi%UP@OHvǀ7[`OM)w"ԨEFw"1'&,T\7ClAd5UeGJ@~ 5ݎ _ҟhz#qJȩ醘{T9ּE#,e%L/(g!hytQ7|-v| u죃QfL9vՉh[Z/@+*yT-w#-N4 K[iNa$Wb;UE|4m2~?xɧ{q6@qIa?}y:߁ܬu!(O}A{!wxg{Ic0W-Gم'K1ijTD).Sc->WеOs[~,ԒM'Z WF scU}zͦb"N!\D: gYZ15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf73565191493e533435910dabed2385bff382198028d20f 3cccd0f68fabacdae04ee3cacdff69775cc4fcfb e53b3f517ea4cd21a74e6fabf41d60b679d9228c c332aebee45795a7a701ce6eece0c0dac18d7118 9c5ef13306c7b1113812c640c537ae50a151993e