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 KK*t %/ GenClock:threads=2elapsed=3.987cpu=7.488gc=0.096factor=1.887zXZִF! &]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞΖw $iVOkX9xM${;ߣpwuruSb咳>kLKn; n_[_@ݿ'\ln:(gh2Gtqb-\X4UPZ{K5kxNe;'#Mxƅ\:2ց }*c݁-VeCCi`y9Lc] l"?JA2AEcppoX=&Osydk_D˟j:[9Kr~] 7 ?Kgӫ%Sd Ҳ3Pg6M?׍pWNkx3;`4!IKxI訦 ZV&eUuP95 8,T,ߤ0g8H|:M߭n>.2e Dn@˧Qg'rBz?\%0_ȉ{蛩rd7!@ 7V5O' J&gHT=M59V<0F2KER a"gZ#_ l BJﰬϸ e>ièы)Gh0'+dp(j5zكeݰCSgfLV*qGS/ kcPoufǦu {~/BT0Y}_&s@f]7iKM6i}3hr 9h `Kkp:w4YKLh7v/Rq30Ҋ+YT 5Wc?ήMB&7)ۡ B9]d>jh!{ҰL;Q@}e?,mZc)6ha&Zk8CEKT2ni=g ~]~-PPw=LL/vzn+esu$ D*kFْ.,_@93N FjUv#AezZ4ĮnDQ 2#Ō qn$ h#H t7: ƨjAP|bR!1ҷ0 vaO<.Zjso+g8tNUs0  S;