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 m m \-t_S Lambda_Free_KBOs:threads=2elapsed=66.660cpu=118.488gc=6.316factor=1.787zXZ ִF ! ] ŗXf1-q恈<-¡$johkX2I):6{Ohq\g:M0B!az\)yd j$m}!!I4liRgScppO0rT+>_*$ުRɄ&2L_◓E$riQcHςL;V@?PYш-猫zЅ1j"XP 1}A8r962MұJjf*>ꥹ|(zޫu0x e/0X2sN_0?` I. WպVBa}%eK_R$9@l}c^%X u"@GQ@hX]i ƜCGQ!gt84p?m7F9XtOa4qZ1M4獍@Zj,B%b76K3^<ŏbh0r - Lambda_Free_KBOs ;=|y)e_L1Dl7$%`ۮör^yE[HRyzТ\aC-5Tȁ2R2P<\r=ez`]9e83ւS"UȣC>Y]gpVVL[[k?Ƴ}>%)eᆳ8CG FX9D%-{O"`߀S#7ÃQřᦣ)P+8Um**;'qN" C.CgZWK3swdekde 5WYjؘ$jh42dk@Qց(G )Ayfim$ڭ4 ZupyRDDōY&X$fakHƱVCE*C t+s;Fϙh$"'4N5ߡ&Y;; -SO@eJس }=77Y#/r\MCEA83l}a1Jq#s))/Ҍ-Df8R 1ksH