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 22CL w/ HOL-IMPP:threads=2elapsed=4.642cpu=7.764gc=0.192factor=1.677zXZִF! ]ŗXf1-q恈@"aiє4$K4ͫ* eAt 2ogcknr eMdY_Bp{lQYSܾdP-q4|G:CdH)=2#޹j\4cfFz:nxE|;ڮ5XGW2 m iZRԄEd[f(mtj G5}>ț̫ֈ8W=i>-q0SM#'!$\*QwPD*`@5R#1X\1$jw* O%PJqݤyR8V_Kh ߛ;Szr"RSo 1UaJА ؼn#ase>?`;*Na}1/@%\Ya5h<=`xLAPB]r9`n :YY%,,$b5W &~z[R|IAsg{P^N_"N];4/= >{f#@ٱgYZ7zXZִF!   HOL-IMPP ]ŗXi%H=ޞ?$m 4G3M[ Oz|AazZ6#{Bo: ˮXW9wK`bk: TKݴLs>; %?f6hrqO6$ Q/gդ.r:$hQ#^w+GćDU HXQю$Gi}윲#+ 9VC'*Iexg@֤6`_]u> Fr 7~#jrɷRL*57tEFb=Irq|*9Ѝ;%AQb]alQ|&>c1~C7ryjۀBB~QkBJNy?4#ktE=(ތ\%S.Sw15,|.fF6656#OKmF@hM