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 ee1 , / Recursion-Theory-I:threads=2elapsed=15.816cpu=29.716gc=1.228factor=1.887zXZִF! dsD]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCϯ$| XF.r2;QK|+|[t98iϦ{íd|POdC~&ő=Ag1o_~A(0K\H=o_D>&&S=bC@Vt$W6Hjgr(Q/We7q-{ +[%)wcu2@Ji*8/O(:=H3!qeX<: }_n(Y'^baI+ʫ#TUs!F=+q0'WPwjdӼQ!tb7`ooJQ۶ݥ+W}zKpAV42p/e"np}YW T 6QEn|܄IAnvrZƈtv|?j{?1֠F*ߺ;i\ގ#J CW5Kp*ʗyXIT[v@F,A6P{ l@fZy@3-n,cտ'i,tmpJƀu"9dq].;~`3>HJK|x(^wgYZ7zXZִF! ^O]ŗXi%B׆@Ϫ{PH(lPlacfᨫ!3YXhp h ڊXFAm+z܄H9z1Ea@rlQ]ʞo1^8]@M@ s0`KGwoHqLܴweل>^FG 30<8q͋բ|c"rp N FuFdRI(ɢ9鱋L&ڗ:R\'-&c?s,W*Hzޅ 37BθEJzkH{ydw&4JםDe()75vt?m1]'Hܨ090mo4 GVqEyl=:hV.%⢦uDD{I7p#"14H5z2=Y 70< ܄Xt *Շ`K ѽ% `!o=%ԲWȢ@ M{q//8d7l a3jXyNH,0XDTj# 00w?,xHqF))2`Y]Y2;N&l M[KcCyN#XQ\vb xB/``)m]ςEJ\m= Xgk;SK(w\Ջ22eԛ#*bҰJ"=#7"a>%\K@y+_ϭ~I KyJ:"t]/+ B_̏gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 ab8f008c9e9efe3398edc4bf927701a2f02d911e bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 f6907765bd86ef922b2b6fb287ff969df46fb1b8d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295