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 \/K/ HOL-Isar_Examples:threads=2elapsed=30.039cpu=53.892gc=2.036factor=1.797zXZ ִF ! 1C] ŗXf1-q恈͐7ӺVd>`;Gؽ8n:)FuKȾ"1-H)TH+}S?T됏RtsyĚUS%"y_?y|y'7U~PPo)b5)-@Vްmzx$fS9qa3,bdA8v%6>,IUr̐?YV@8A̟5Ej9,~?_crsxFRrW"5W Z㈌)j$3 E'# S{ӧ1QDu-5@ydIn 2r浡ɺtK~dRH3W,w
_*hv,ޣ .̣N"/ =]JRH`t㋌L0qΪvwPĦvN / HOL-Isar_Examples {L F-0זGV>CT"@|>=],cq1qIPw#KR 0ĿJ"X*`XT݅ÚG_Dk##DkSrxQFY?#E! Qߒ@$wF#Ame|_#@L/m&VwJ; tHa( #Q] /p52`sr09vuvĽH"ƮG VͿHpk7aFoP 8eY ѵGT8uگ-8h/x2}2-ͪaW{\,1"ٯzlC3@BXH`1r"Jp)/cԗP.2fӐFiME>gN RYh VK,O).w!1륹tVU)bIGi0ivYQm7k.CM+Ÿ=>-^F;Ϧ]rC;-x[ݯ.yFKRXG^vUZI"mD<