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   gt S%]Lehmer:threads=2elapsed=1.654cpu=3.084gc=0.000factor=1.867zXZִF! E]ŗXf1-/6vRZ=\\ ańǜZXC5_T/=6lT 8z۞ߦd( [G*VI[^;PsV?\+5gYZ7zXZִF! Q]ŗXi%6HrêBzNìjt% >Uoi-)dɵ >Hx /ȿ*cW2E|4]̮0QЉ:I2y[ڱo%ʝMz;0q 5(O]]P$O5ț(ʶe) fajє_}2~ZOdҹdz?Bvs D]d 1Te3;>@[ԯ@O&6{so-65#P+AB ["W3$)(7&΃~Vlirw( ۚ~bC$ƭ!vG 9X߭-"ő\#`y*Xg-gmB2#y?Xejnb8 *tyF*&@Yf>Go OP𛗾 ,g&٢$5'gYZ0c2101c1f8585f70f6359528b26b7025b48b8019 49d4116c4e07a3b7da59d0c605a55414d5cef04c 563567eac7aaec9c79a61c0d23bbfbde0325a3b0 7b14a9251316b46b1831484eb5a9447b70502b2e238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 c0c6730a48e98d88b0f8d07816b1c9112b5fd1b58b4bf909baba80c7a9c70f6855dedcd03cda4890   Lehmer