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 &/  SI SDS_Impossibility:threads=2elapsed=56.141cpu=78.696gc=1.976factor=1.407zXZִF! A?]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,P}ӊ m\C;Lkˑ oYݞjS*  &eiۭF& [gfݬ|֑ЂO N?ӲOyP^s3^\ ,1SdYma/xM|SO5!hӒcȕ)4ZlOY*eQb:Mbe/XV w;HƟ?&oh U;z$ I e@ٕ$(}tCU5 / SDS_Impossibility-`PhwdBmCnQuN2ο66)eZZN /pCfmĨzhrɐc f^JF6A{[#.qidm[ˈytm&PG%B]kj?>]ʺsH8Vzn`!{Vul5Efsa#9сeH$ɀXT]@%i::C\g $Z,r$C)< qq-F PVnhWݾ]9 C@5Sr5,wQyy^TR|Rƿe иoemtL0A>j@"qnM+链&4֌ua"L|X>&B n5;qmJc>>- =D9"Qp7Wӡz]EݷXX0w2Yp.":nP4{S/]_h8vCNpL6U"}s!vg>z1K݋=@W:4@hEcfZ_Jxz[Z=ٸBj2 ;#犉Am$ZHF d"n!*˨ūqBADZU%kCeQsN $R;%kqɓI%<!T}W#DSY1ARSPĿXJarY xPwǩ"6u 3L\NtσO֘9;xΟP%Pj8A|{aBR n,Z<:B bO)ɥ>zܝbSW,:Mwܲ`bgP#ŧh5YkU4!BV9p|;k?|]ފDh-24hRZd[.ۀ9k+9aӺ nc@ (+-ƀ|ziǻ C|jH ~T{P8s\A+BSG1d]I躸rQD!^FZ q̩i'Hh]D;y˕i(ZkUE(>(flŢ:k6FPKpN<38˓&1=w+n+h$4 78 [(NҼ0 Fƿ L#kepD_ozaR׾1< 8)sH3~կ("ѭO'*ß'3.rlA# r3ML{,2eEخ} gu8wtQ ɢ0WuOW"%0/~ kP,TLb>8۫#Amkzfvf(H%<AX:lZpGv_uA ' SaRZBFbm;b3,SjwI&0qQkxEk5EXq6ٻ[C}v$к%A8'<:̀.T99 LXWmPu~0rW. chK U6?fhg5+9.UA\wxR un*/AYV]i.],U*^YvY lFi_ީ7Z4 =}=вq ;&;ݨVfmgqe/gUsA $ ~~GB8 ʩ# ϰAL 5_ory2Aa*/GpcX,[?r$}!FhCqI s^}x-ʐQE'99*vj"eɞ o P5._Ie]4{ıՋ·([5BCko^vJy<<^Ash]Qͨvi `8w"!~ +h-r,dRBExV\~MU7]30ǝUOR8ɡc .d݁|FB>B >7Ԡ+GG`_ VYuoYM_gYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afae4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37 3cfa26011d3ad9007f9cfe141f0dcef0b322e0c0 0adcb64333cc8c36546f3f7a632be5769abf54c7