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 VV'7\ Sw Source_Coding_Theorem:threads=2elapsed=5.433cpu=9.800gc=0.248factor=1.807zXZִF! /C]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDKOJX.>'@|85*cUc@8ʐNy6ؑ &*<苢oT q),iA_0 n>X{PVۧT&.C0uKԐx|[g7-}/H䃃!̅x={Dk7us)XG*jcOc ʊ>G!ˉ%wsn wj-y484:\Bt$å{lxN+Ul3P>m8w##|T~fjʫl/ſhmc,}+\6g]fez֡WӃ7Y,Xkl k=SgnbZuBN3cM00(y gf eK7~띛aH'wizt9&d(0zn!Do`:4!A 2,Ecպ0}FR6ӇYa\F_r ^|l Йv1YfaIle=N_)MXpl nPV +s.|ef 7geag~8;1@u!_fږ#iǜj/It re]+Dbodhy :woruzX#,9J;nbX_7\.z|< y;DZǤH_ȗGgYZ7zXZִF! #%]ŗXi%qjn?hRX?m%-(7ᤰrEdl^Z(f WE] Y)|q{q?bx܂ W}c /rE- ,4Vg\Q|kV LC2W& ?n c4Adh6Ah)u=x2Q0(1`>?",:Ӿ뺪YC6?tcT%J 17v"9 N4 :C2o9¦mp.GWv>) 2_j@S쮌BK 0"p 4bhh6unE$2GʴrYW)Oc>0^07 H֥`n767vcbniǹZq^k I<,Sɍe_"ka h EXG'ci0lr