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   Q) \$ m/ Pop_Refinement:threads=2elapsed=8.797cpu=17.336gc=0.708factor=1.977zXZִF! :]ŗXf1-/6vR[2y6ܫ: AJQtfMuG&[Ws.fQFBMA/+]HTF5U z? a㯻װ2#c'`Kw6XpONhV59o<f**CRrh'V RVGUSӔ &z!k&{'=?YJ H=ZGKm6hZa9Ku Vs-D@&-m𽻐1HB#{SMG:NkgVgk齡RMࢬbyHRpdg}فa<k98UB,UP=ݛ!f.`ĺhXe/P"a;O%2s[)LJkə\EPL*0L9jDIE( ) 7 ~v)vtڗ Ky#җ]~JLNi*Z w#Ё3 b& YTۊ V ]~¦Yg}K;J#(i0 ) Pop_RefinementQ#o @Ѹ(Ƿ'qҥ}) "ݰ9/c]=͛k;#V_,;8XqA+e}wV› K=Jp[_4WGdާcc-fDphOȎR:~mrVMgKBX V'@"yRQ#cHa$1.5|)Ԧ,.p^TC|ewB1MPnURP.t'̍ %iB+9$טa[976׍wq֧N6FHʒygͪǵ'Z&1u1tJ%QqVΒ.P-sk Պ]cw`!ol3F 9$h_2u"wHfdD7~\eWVGp}{sP0 IxNd8TGa62ZًGh[ݮ5nq6GLkN]oڗpϬV[EF~rZ'KT3u$.B%I[.تm(ѝ WJ˱e% T@c6"XI +tX\%)ΩjE6~zEWIrx`z=$\T(a  slprsu(-ۼAqTUY3,!j(mz+H}^>kƿU7ѯ hz5))Tscm㧌hK \4&[YZ|pL]vN8 UN׍ɂGٙ ]u.N ,~3N Tf , ?1P{E8zx _N>ePA\P1c'\S{n\AGVYhth>O H[Śq.IqІ CzYl4E(Kz>B`d7sTIˋip &'#Or{xZ̮Uޮ6$螑 @K6<àcs}N{~?I07@x9$v\Y>C-dA-TD$)=Vc8ជE+r7HK"N .v$1B!--v5+] X9yQb .␸GBO. S-fax&V9-k]sC-բlNrs΀қX29}*̷%4$s6g+G_gYZ01091870288c89b07c9a8196906ab1a28f5ce144 0c80d94fb1c53b8f0c0160954bdfb879eb089e18 2d2a991981462407022e9fa67eaf8a93345ed7b6 4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4 7ce7d0fdf02c8c654052b525989e64c818494305 bc4b5798bdf4ea30813f681d2af50b022d03e347 e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e ed118e9d957411af2976259e5705576653febef2 f396d09fe17cc04998f89362bd7930d76b4f153480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4