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 5 Tt % Lower_Semicontinuous:threads=2elapsed=7.679cpu=14.064gc=0.356factor=1.837zXZִF! ^a]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&WndOѣ.5Ή7# A[6q)e2l?|' 8?u|HLj"I ;csэfa|ZYO)?ѣ/ *`M./o Anyv l\e(F[߬@yy1x 0/>4OpWXp4b ('zM-(-릞l:.A%iǕՋe<0DzJv_LR$ ѿ7{H5r2mrjCq 9ҰlL\Z6sp$z l48%GJ_A4r3 lO&E氞w}8ьۖ/̭W]KaWb}b-Qbڀl űNjP}T2p}}Z?a!C$72pH ]vBG(XL,;Bqc8Y=Tf8.[#:-PCf>r@و$ }v$Jf sl张հp>y\A׿z]T<\T:"<~i8> rBeeHpArgip0Ҡ)FHΤE})5.,h/iD"﫠Uy dl cئhEA,9ղI Qr Fwf01pv?, <3%#K8c{3ke@,b!m[D*R{`_ m7F E=6#(殸ya}c`M2z4 AlWI;8k%/3ޝYJRu\b':gYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd0169728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 02182b45aadb0d8356d66d9e1f182d1c5471b8af 5 Lower_Semicontinuous