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  `5tT // HOL-Record_Benchmark:threads=6elapsed=102.953cpu=175.336gc=8.768factor=1.707zXZִF! +]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iNx&9[$s6=$:sARjvnշQ;̃yb؇ cѼ={\`lHN)L dֵ8 ]x"#Wڟdb9P,[H]!A_)%p!k%*ڀ FT3dDiQgYZ7zXZִF! Y]ŗXi%ïu1T mX ޭ>$>mHb=F ).]&{ۡpҋg'BrD@DCu-8A-gЖ}Q#skhj{~p]p -J H"nmKWo=>- _sh2<90Obv:d̀""^R =Cx}x>5'Ɣ=3JQr3$vϹM{D6*гVTېN N fOQUNadWZ< y%NabQ"d`g{۱B=XStQ%PRs=3PE0j "lsOjrG䭞 -n@Sģpҙ*16EűF1o&>M~ɮ zw'mؿΫ}aeӖ̘ u\fMg2SDt}Umtu^' Jϴg3r3ӔǙWVm&E$TH޲*h&Ne*9ܷ_;U"P"%hEP xԱGl PLX>ٺ(aW;L}ȍ4lKaF OJZhMjNQ- z[8g>U,{[yM+PN;"^:<(J4!\8"RPm lX /32uJ=Ju'.!SIci T!ae82*&Mfr+NnX|n ߋH춍i>NW,s.uF8xբsOƅo0r*oĸIwt^=BݭwSTɼq3U=m3jv[=d*+&EjmHVw` _$(" DKϻTd/) vT!N\boܴ]R5?AKnIzӉHXReչ A%o$n˘Ixp}j!ٵ1H׹of>6eRXOWö VP+M&#۷?;͓/& 4jۈŻ0T,`ӲߔGmpwIe[pؐuS=#\]^UŊF$w#ydgK< L?&3c13:2+\].N<36bv3:^?W&'fwDL:Q$&;i'!gGAG  >&R9D=g6yTަ El RNT ,^9uI>MTHt6vd{&M@X0};+"%2۳AJH 隰%.&&?̺FNfa=a^*iʌw,'+oi%~-jQyqdXxبՎ+ )Հ:j"G$#JL}0P_gpX^b,#|7Փ@[̯MTEݯY!3t aj]a{@XJϾ-i^znARl"`opǯcjhE3a9Z9ےЕ# 4xWґF5qv4A9kdktŰ ~T`v?ԩ hS8'pH i`b\Ib 0U#; l?Ē8C6P%cco$Q}axvvV2d^--͚ XK-FN}]d{Xz3~ 2%'18Q٩ 4DФ/ td@[VW_ `N3anl΅ZWy{lerDC6)~b&٭67ara 16֖Wl|Pd}b jЅ*uVDkFDΕ1!G#f+\fpZQRzL7ENaM䖪oxRx:ei|ph>T ҇ FL9JF>9$#&A MR7 &@%Y ܗR}/Bi! 7LgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8a56ee4fe6fd72e6d5d73a9cf689ea63e99dd133f b46c7c945570a6e1e52b36230ea76c5031e8a99f