SQLite format 3@ . YYQ77Atableisabelle_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, "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 55H7 <4 c% HOL-Quotient_Examples:threads=6elapsed=27.207cpu=44.060gc=2.168factor=1.627zXZִF! []ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvQ:uZSՌ~g}Px?s_a홒 e_޾5C_nV^{RxiQLR,\k”T}n wVjo0S>d1 sta?l52sa^.!5䝧Ϝ.8ܯe*Z$JH{f x+S bx:ngiv܂fmGIRJ;C>Gń\d^mVU\uB#nXعkn?om2(Q0)j_ t 00b&ݡ7w8V x)n|]YsC:՘FiU?Yx:OaH< /XAh+d lPgPG::Kk9 U)]N|6Y@e){ _6Ď8ƞHʢ 脪cUKvR.A]J{g-LfPFREAP\-2`nɫ=#SGc]/v="i;I&,˾A6J!ؒ ߡ.gԱgYZ7zXZִF! ]ŗXi%6"ǎʨI!e V?c4&X V!ג/p8l%)#Z= Z] sɟ+ yTnMϝ qn ڞ@ផ]uo&ҲSXw,.zˡ$ܨ W^} ݼTF.+"Pz}[Qq5T3R0a< Tl6 ]vt2^DJ7s{ `ב6"&q?CƂ ],χI],v ٻѰ3mJAŹy?MTaHf)b @TS"쾣MV*fpp^Hh%#Yj~LV홆=`흛@t1)9hc72tR)gf !KYrhoV@Vwۧ'bra䛊VQq7g"newz`H fm=S,Mn`*o@k5E 9fNĸt*G/iHnRչZ荒jZ.c9r|