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 h $t / Menger:threads=2elapsed=9.963cpu=19.448gc=0.576factor=1.957zXZִF! O ]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is9٦D>/}r "Ow>ڜtWn );v\ܖ#C*K8ӻ]?:L6^G>~[ͿIµUhIQ4pz>OGm77jR6|NU:oz$ׁllC4?c{ydZul˹ iK'J_2P ՌS}'ªmHH)9 EtRrw {\֪+x3;ZV}on!8t$˲=qr#ÉI^_"hrmͱ¹i»{6pيP\O8f ucq=-Ks͎:1Fl 8[1R[1SRi2*3v4)u̔^~IaX6ƞ%!8O۞)]BSh;ڡqJ?њ.LQW;hwRի;)K|<a@Un˹&hɼ_n.Q /AͿ9ʯ 3YB~@IYkzfc)ϥt #//竽+-KۣN,xJa2܋a~(E7oCaraUe5( FXmYx4ؙvf2ssX/ 9\RҤ!ߑJb~p]'A&/,KɾSa<ϑUHU05ryxêMmVzs絖ݗ{z {_i%8 (6Lc5Wg4I3~OK Xs_ܙ$;Ad~D j_N$MBS,$vn[GԵ.MF(8 1GjOiMn:,#o؉AHwESx'ið wcl-Ti8# G U[-7k/?<q!)zד`XkKbY J[cd{)@+Mь 5N6G0}6ӕ|jPV_p?~$SpD6uH @<D60*v`J}F" 13ΟʱgYZ7zXZִF! :]ŗXi%rÎ},~ح"{ST/uF9 Pao[TՃt'tnP83K7ON(vYiyrP9"c)QjB#VE?k?xCfEi/!/6y|nW_C3k{HC{֎GȺBZ /e 3qyy oM|p: .m2jY*BdX@%2B A"C™5B|xA4"l~áe}%{-p)=Td[hpqG"PCB_e2/s#Wڰm?+))tMT-a. ~)C Ջ9 : _>VB$AGɚl-v}gl0 .\b녺ՂŤJc/PŕKs"n.:^hj͌%=/q'Ёu*98Q M0Ą<2ǂ1!' E0SgŞCe>^ذL6y4+:LU._ kC6, as&c7yӶHZy! &@fQO߉׮_&k 6[Ev$d%Pxyfz+/mm2[cʖIa*wXE@<lU!RLu4WS P}JnMfo-%1pn.ℐ SeZpq^x'9;7.( m1DaK]> >y Lq  8pVfC FӶrtFZmڲa͝3=lk Y:'y&f@uf gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9dc7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb   Menger