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 QQ$)T %/ DPT-SAT-Solver:threads=2elapsed=2.954cpu=5.392gc=0.048factor=1.837zXZִF! Td]ŗXf1-/6vRZͬl #,Luywn[>ς[=pȔ=UX(Nqj-## 0Q,Ҹ#}Ov(Р|kf)rf:,~B L0[I{c1;Y;p5M$UhS x낯'UX8?hJ-[D!c8<1jjf ߿sS(&( "WGsu)*꘤u1z#_ÕP?\1Bxlq ) DPT-SAT-SolverxCl6Gc.j4EG0᱊T%],'5E;#L]ՏQ0$BgYZ7zXZִF! GH]ŗXi% E:".>d/,cu*R- B( Y =-K0To=*#D]I"i[üF6d?,A%YԹYЀ4gx}.7D`Bpc۔ahڧȓ=D;d?C.È6:xAAgDn}D]b>fQ)|&㠯mκ_47ERunԍ/ H1:Yptp& > iMTK?QPØ!#¿֏KHI[}#ʝYf`n]jux  YLdYY9/JIAGokD𥉉 ~{!Fp_@XT['"ݒ4lO(*x$dօ