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   ]3 l w/ IEEE_Floating_Point:threads=2elapsed=23.241cpu=34.536gc=0.516factor=1.497zXZִF! S]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7l]yK~\`0]1ϣy|XJ\ jGU/0;n52otd\ UاO|=ebr3Z\ FnV) T(ngYZ7zXZִF! uL]ŗXi%6xmofiQHw1s͝fU)JmnCzdW| W/sbiex5ܿ@hDsQQߐ❗o6Bѝ3 at ge3/Vepi@1z8m*]jv|&H(H|+ ǰ}4cu xymKթ { Gj+]rOJ}3 ,vq%A \}iEGɱw UBU]5H7wWWCF9I?}K d\~GfH!?-FiA2OVL`{\+ fH+8ӋN2Ǯ9Їoʒw䶰GL_ Cp| Dժ)L(=bߪ Cpی\Aܲsʶ-k󳩐cn-7Տ[lC`g&>8w.MܲFiO*j!h(口brϷԿ߼9'ʘ6)F~a 󶰊e@u0"Ipb4yͱ9{xbp=1p䳲{ek&Q5^[E{' ١.Y`+׆6vK'Z9k*MɃO-wyFɗ+ʼnՏ±'!mojBE768xP(oiMǦH}.[^5g-|T0+xiZ O_@Sij ʺbػՄ9(' V1,9i)T{KWQ?>J|mwEǗ"L<4Ɨ7-PVEH&NX ]=rm0}dR4Ou]#iLLcT(\|? +)}|D ](.sO AOH8u4i; `. M*a#Eh \x3?ZF-Qi^ &ˆD|`SV:Υ =VQB.V&_P];I}6P_fSLhf]- >@!Pi6])@ bNǒڐ 3S3v.~9^>v(y)Ozz<@(}:uS~IYjY€L ߯ns'-uZ:f \>nh#י,3B.X|^i%Dz=îI\`?_j73-KR x&DL0DZx/+_l@De8j;'UL֩{؄ϲre+Ej <~lmMe?Q۾M#vZF뾶Z;k} . ӱgYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 3 IEEE_Floating_Point