SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info +44?S Euler_MacLaurin:threads=2elapsed=29.023cpu=53.876gc=1.552factor=1.867zXZ ִF ! ;] ŗXf1-q恈͐7ӺV4GJ34nwbrv,ɽANk &}iq_O1ÞqA4"h${ `}8qdja!f-o[qJBcd* + Euler_MacLaurin WGu ,*Jipdb^a%$!xG\dIf}}uh튬n^Dsڲ).Zxg>A djMi{z1-eM(nYOc?tzA^p. d tɇʾÉhD`E4cyl'8A@4 i0:wTEkVV2w-UoC"2UoV0>F1$3`亱xKs[p뒢K^.dZJ/Hf6"NJgx'J2\x $tv>/[L5EZ)(gt)ԏd-~"G``&nvKܣ`hɥ.$[K'Dw_A5wQ>FzXl r\P.C1PLCbNѧOP $Bģ'˦ 2l9oDw6A?ȫw,8}CH⾮~YOm?u|HrB@~!T=#gg lT[C/X.2aG_o`cv3SHן y[g;nLޝW pXWrQ4?y!6A Im~a-tqL?ftiaw*?pC`| Isun2v{}z#7#+2[:ԷNuD$.Pg+ @ߐU>v6;=hB3׀w#wBUڥ(hOdlc>ecyT{dctPjƱaË"q: E<;̛O R (r b!h];/ >V2ɋ=>0"0EnPRyb'CĠkjBgtd7{W}KD)