SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 C |Dt ] ZF-UNITY:threads=2elapsed=15.604cpu=28.652gc=1.048factor=1.847zXZִF! w]ŗXf1-WHIk 7>Y(3[^w-HMҎ0<UiR}dpIIm` \kt~0W0lg_oV3X|Pm̕AƳT롶Y1{FW156Ʃ%rYe(:@ٙZ|fW+&7)f\fvcsAl-_aW_S|sBRWoM*2[ B,<ꓣ-M ށy9Oo5l#@T[ A%~ĥ&7GTmz<`W(kQ{7=pFڛMy+g|> ȓ '?B2܅+7x9vq(SUwtx bnwRnX {=}~lȅ 1K9rp0"l}4rsL3;\hZNAw8Ј9fFڥcT"ђأ,]lP;ZCRlAdV_zJ~yirSǜW Qpx_x{ ! ]gYZ7zXZִF! h[]ŗXiɟ9 i:4'9Zfw4 _.9oF;"ճ1_Ǭ<>8\kPJ"Kit?&.yݣD)cJ&y7%yuA""m5anu\,h#q)ggW_>yaLҪà3J,f֢8*Q鏘 w[]=5GnHfcFݞjퟝŇVHV_]ơ(Y!LRzwT&.񧗽ᇣۻu$AX?zd.vrMa1IaH'ȿO aکʷWZt x%gYZ7zXZִF! KB]ŗXi%;a V/FA+k&}Xc8dme3Ε#rp$!\XpOD.$%z,]6nWraTJONB;\1&6Ss? 7QO Y >85pfxrKZG},IsӞz}xf3"\b)#5&`8c{Y-Ru,b$]]ҲOD٤xk2t^0>ӕ3ְAQ TPA= }(l|8n]@:a'ۥаrztq'$0&NV0xBuYڂf9X,f?s=~  Qk61`RfV} mF(w,R#4b@7KE=z &S< R}xfN7=鰑A*Mi#Luu[ ZflϜ!))Y[9yp?.tceLḬtέ\CSm~؍R6c*T*Q#YEjoe&aDql -i1lSqlkX^Hyw("7RN=E(b*;s$ѪwGimB╘D,_1qȱ O+\i̷ET)FjT1vPzx@Ey| i 5 *_2YRdFWﭾT4>GԚgiA2C M *4 91*D7#g{HH2^qP\%U $RL!O~#ټ51r,k-;˓& !)ɕm :%)&P[BgΣ&ʣ'`TB`Mx'l,}JSWsk[EV8GlH\p/mɎ,[pv|b̀2t`䚝Ox hh1߫q#ofd*QkP ~p^Z6퉡,q6 O˕ݑDaoBcd|~aߓYXkXN(}e3!h HR^5櫑%" ÖhXgYZ50b1294c3fbc7afdee5eecf7d646b2e0799d96db634a34b0a78430c8365c904b4a02a2bae50a7baa 540be2dc8f649a2e1e452760ad238681aef8b1c0 3ed7eaff16ce3126794c50056550ac4185b660b8   ZF-UNITY