SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 bb- ,,| ] Lambda_Free_RPOs:threads=4elapsed=10.935cpu=41.324gc=1.780factor=3.787zXZִF! ]ŗXf[& n@jИp$Uvi KGt/ ^䔠IVNX]̗x\XBcWc?PMG6HfeDiе $ CvAp@$}'>mKM76>cQdC!TCF[:e'J*iF~H8W/13=P=q xm-0 ?E5!$w/W KbÑ$d[S4juj 7E,AZBs΢̻lww}U葠*FP^gF7>p tcZlyN[O}gEm nSmB;m EN  o>Km5pCB>}BT% <.͕]}يy| FNUIml KgQR3[*zqQc۵7y)o2gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"u4{o 󮳩lddŸ2AEOizJBS'#+-D7HaU.bwt; ߀HT0:tӗrPb 96~ ܀WԤ:qHtS`{eBF Ls\Ji$(`ڂ)5|\ t  0K KR"L&b:kSDi"{,mŝM;66k 6惂n"uȩ^QsHyȽ+Kũ_HZc/9 SƑNdc~Cyq1 gBCsoQNcgiݞ R9Wf~G҂k@;p!mM &@(ܧΠ]+69Ug -2R7&qWJ bGU('F*\MqTog`O0Ԗ]H5|V5`y3/r Qd;dOU4]0L29}6 hQ8 {<\﾿#YTE̓vCO% 9P3$=J$LOƵOã8{9*1,fB# ("H`oGD riԨ%9FȊXԃYFi f|gH3;[c{6+NO38;jWWȩp𢋺gT6ʦⲍfBÅmUa&C{_r`ɢS9Kȝc@*?=RuB_Gkc> Y7JgYZe9cd0c9934807e8cb3af9434727fd19b68f4757c87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 - Lambda_Free_RPOs